Trace number 3467691

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
MinisatID 2.4.8-gmpOPT8960372673 323.754 323.815

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb
MD5SUM26a46b78eb7773cf62233afd6be8bb91
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8960372673
Best CPU time to get the best result obtained on this benchmark3.51447
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6956
Total number of constraints29112
Number of constraints which are clauses28832
Number of constraints which are cardinality constraints (but not clauses)280
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3264
Biggest coefficient in the objective function 4362708104
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 2408209534577
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4362708104
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2408209534577
Number of bits of the biggest sum of numbers42
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.01	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
2.29/2.33	o 1653944293784
2.49/2.51	o 1649584255636
2.49/2.56	o 1645221547532
2.59/2.62	o 1640861509384
2.69/2.70	o 1636498801280
2.69/2.75	o 1632136093176
2.79/2.83	o 1627773385072
2.79/2.90	o 1623410676968
2.89/2.95	o 1619047968864
2.89/2.99	o 1614685260760
2.99/3.05	o 1610325222612
3.09/3.14	o 1605962514508
3.09/3.21	o 1601599806404
3.30/3.33	o 1597242438214
3.39/3.44	o 1592879730110
3.49/3.55	o 1584154313902
3.59/3.64	o 1579794275754
3.69/3.73	o 1575434237606
3.79/3.80	o 1571071529502
3.79/3.87	o 1566711491354
3.89/3.94	o 1562348783250
3.99/4.06	o 1557986075146
4.09/4.13	o 1553626036998
4.19/4.20	o 1549263328895
4.19/4.27	o 1544903290747
4.30/4.34	o 1540540582643
4.40/4.45	o 1536180544495
4.49/4.55	o 1531820506347
4.59/4.66	o 1527460468199
4.69/4.74	o 1523097760095
4.79/4.81	o 1518735051991
4.79/4.88	o 1514372343887
4.89/4.95	o 1510009635783
4.99/5.06	o 1505649597635
5.09/5.13	o 1501286889531
5.19/5.20	o 1496924181428
5.29/5.31	o 1492564143280
5.40/5.48	o 1483844066984
5.59/5.60	o 1479481358880
5.59/5.69	o 1475118650776
5.79/5.82	o 1462033196420
5.89/5.97	o 1457670488317
5.99/6.05	o 1453307780213
6.09/6.15	o 1448945072109
6.19/6.24	o 1444582364005
6.29/6.33	o 1440219655901
6.39/6.43	o 1435859617753
6.50/6.55	o 1431496909651
6.60/6.65	o 1427134201547
6.69/6.74	o 1422771493443
6.79/6.84	o 1418411455295
6.89/6.93	o 1414051417147
6.99/7.02	o 1409691378999
7.09/7.18	o 1405328670895
7.19/7.29	o 1392245886495
7.49/7.52	o 1383523140245
7.60/7.71	o 1379163102097
7.79/7.84	o 1374803063949
7.99/8.00	o 1370443025802
8.09/8.11	o 1366082987654
8.39/8.45	o 1361720279550
8.49/8.55	o 1357357571446
8.59/8.66	o 1352997533298
8.70/8.78	o 1348637495150
8.89/8.96	o 1344274787046
9.09/9.10	o 1339914748898
9.19/9.20	o 1335554710750
9.29/9.38	o 1331192002646
9.49/9.50	o 1326831964498
9.59/9.61	o 1322469256394
9.69/9.74	o 1318106548290
9.90/9.94	o 1313746510142
9.99/10.01	o 1309383802038
10.09/10.14	o 1305023763890
10.29/10.32	o 1300663725742
10.49/10.50	o 1296301017638
10.69/10.71	o 1291940979490
10.79/10.86	o 1287580941342
10.90/10.96	o 1283218233239
11.00/11.08	o 1278855525135
11.19/11.22	o 1274492817031
11.29/11.34	o 1270132778883
11.49/11.57	o 1265772740735
11.59/11.68	o 1261410032631
11.69/11.80	o 1257049994483
11.89/11.91	o 1252689956335
12.00/12.01	o 1248329918187
12.10/12.14	o 1243969880039
12.39/12.44	o 1239607171935
12.59/12.64	o 1235244463831
12.79/12.84	o 1230881755729
13.10/13.14	o 1226519047626
13.20/13.27	o 1222159009478
13.39/13.48	o 1217798971330
13.59/13.60	o 1213438933182
13.79/13.82	o 1209076225078
13.89/13.95	o 1204713516974
13.99/14.07	o 1200350808870
14.20/14.21	o 1195990770722
14.30/14.31	o 1191628062618
14.39/14.47	o 1187265354514
14.59/14.66	o 1182902646410
14.79/14.80	o 1178539938306
14.99/15.02	o 1174179900158
15.09/15.15	o 1169817192054
15.30/15.36	o 1165454483950
15.49/15.54	o 1161094445802
15.59/15.67	o 1156734407654
15.89/15.92	o 1152377039469
15.99/16.08	o 1148014331366
16.29/16.33	o 1143654293219
16.40/16.48	o 1139291585115
16.59/16.61	o 1134928877011
16.69/16.75	o 1130568838863
16.89/16.97	o 1126206130759
17.09/17.11	o 1121843422655
17.29/17.31	o 1117483384507
17.39/17.49	o 1108763308212
17.69/17.74	o 1104400600108
17.99/18.02	o 1100037892004
18.19/18.20	o 1095675183900
18.29/18.35	o 1091312475796
18.49/18.59	o 1086952437648
18.70/18.72	o 1082592399500
18.79/18.89	o 1078229691396
19.19/19.27	o 1078227021440
19.29/19.35	o 1073864313336
19.49/19.59	o 1073858973424
19.80/19.85	o 1069496265320
19.89/19.92	o 1065133557216
20.19/20.20	o 1060770849112
20.29/20.33	o 1056408141008
20.59/20.61	o 1052045432904
20.80/20.84	o 1047682724800
21.39/21.40	o 1043320016696
21.39/21.48	o 1038957308592
21.49/21.53	o 1034594600488
21.49/21.59	o 1030231892384
21.59/21.65	o 1025869184280
21.79/21.86	o 1021506476177
22.00/22.09	o 1017143768076
22.69/22.73	o 1012781059973
22.89/22.93	o 1008421021826
22.89/22.98	o 1004058313722
23.10/23.17	o 999695605618
23.29/23.33	o 995332897514
23.49/23.51	o 990970189410
23.69/23.77	o 986610151263
23.99/24.07	o 982247443159
24.10/24.16	o 977884735055
24.39/24.43	o 973522026951
25.49/25.51	o 969159318848
26.98/27.07	o 964796610744
27.18/27.21	o 960433902640
27.28/27.35	o 956071194536
27.88/27.94	o 951708486432
27.98/28.09	o 947345778328
28.18/28.24	o 942983070224
28.49/28.56	o 938620362120
28.88/28.93	o 934257654016
29.18/29.27	o 929894945912
29.38/29.42	o 925532237808
29.48/29.58	o 921169529704
30.08/30.13	o 916806821600
30.18/30.28	o 912444113496
30.58/30.66	o 908081405392
31.08/31.13	o 899361329099
31.28/31.39	o 894998620995
31.98/32.02	o 890635912891
32.08/32.19	o 886273204787
32.38/32.41	o 881910496686
33.58/33.68	o 881902486834
33.99/34.11	o 881899816878
36.08/36.10	o 881897146922
36.19/36.23	o 881894476966
37.78/37.89	o 860091616270
38.18/38.28	o 860091616269
38.49/38.54	o 860088946313
38.78/38.86	o 860086276357
40.18/40.28	o 860083606401
40.38/40.41	o 860080936445
40.48/40.51	o 860078266489
41.18/41.25	o 860075596533
42.28/42.33	o 860072926577
42.38/42.42	o 860070256621
42.48/42.50	o 860067586665
43.18/43.29	o 860064916709
43.58/43.64	o 860064916708
44.48/44.55	o 851347510368
44.68/44.74	o 851347510367
44.88/44.98	o 851344840411
45.28/45.31	o 851342170455
45.78/45.84	o 851339500500
45.88/45.91	o 851339500499
45.98/46.00	o 851336830543
46.19/46.22	o 846979462358
46.38/46.41	o 842616754254
46.58/46.67	o 838254046150
46.68/46.73	o 833891338046
46.78/46.85	o 829528629942
46.88/46.93	o 820803213734
46.98/47.04	o 812080467483
47.08/47.12	o 807717759379
47.19/47.24	o 803355051275
47.29/47.38	o 798995013127
47.48/47.50	o 794632305024
47.48/47.59	o 794632305023
47.58/47.68	o 790269596919
47.68/47.74	o 785906888815
47.78/47.80	o 781544180711
47.78/47.89	o 777181472607
47.98/48.07	o 772818764503
48.18/48.28	o 768456056399
48.48/48.53	o 764093348295
48.58/48.68	o 759730640191
48.68/48.76	o 755367932087
48.88/48.98	o 755365262131
49.18/49.24	o 737911759760
49.28/49.40	o 733549051656
49.39/49.50	o 733546381700
49.78/49.83	o 729183673596
50.18/50.26	o 729181003640
50.28/50.32	o 724818295536
50.49/50.57	o 724818295535
50.68/50.71	o 720455587431
50.78/50.83	o 716092879327
50.98/51.05	o 707367463119
51.69/51.75	o 698644716880
51.78/51.88	o 694282008776
51.98/52.04	o 694282008775
52.18/52.26	o 689919300671
52.48/52.52	o 685556592567
52.69/52.77	o 681193884463
52.88/52.91	o 672471138212
53.08/53.16	o 672468468256
53.28/53.34	o 668105760152
53.68/53.78	o 663743052048
53.98/54.06	o 659380343944
54.08/54.15	o 659377673988
54.18/54.29	o 655014965884
54.99/55.03	o 650652257780
55.08/55.20	o 646289549676
55.99/56.02	o 641926841573
56.18/56.20	o 637564133469
56.38/56.41	o 633201425364
56.68/56.76	o 628841387216
56.78/56.84	o 628841387215
56.88/56.92	o 624478679111
57.58/57.67	o 620115971007
57.68/57.74	o 615755932859
57.78/57.81	o 611395894711
57.88/57.94	o 611393224755
57.98/58.05	o 607030516651
58.08/58.11	o 602667808547
58.38/58.40	o 598307770404
58.48/58.53	o 593945062300
58.58/58.65	o 593942392344
59.78/59.83	o 589582354200
59.98/60.03	o 585219646096
60.49/60.56	o 580856937992
60.78/60.89	o 576494229888
60.98/61.07	o 572134191740
61.18/61.21	o 567771483636
61.38/61.44	o 563408775532
62.28/62.31	o 559048737384
62.98/63.08	o 559046067428
63.08/63.15	o 554686029280
63.18/63.23	o 550325991132
63.28/63.32	o 550323321176
63.28/63.38	o 545960613072
63.48/63.57	o 541597904968
63.69/63.72	o 537235196864
63.69/63.80	o 532872488760
63.88/63.90	o 528509780656
63.98/64.07	o 524147072552
64.18/64.20	o 515421656344
64.38/64.41	o 511058948240
64.48/64.51	o 506696240136
64.58/64.68	o 502333532032
64.68/64.77	o 502330862076
64.79/64.86	o 502330862075
64.89/64.92	o 497968153971
64.98/65.00	o 493605445867
65.08/65.12	o 489242737763
65.08/65.18	o 484880029659
65.38/65.40	o 484877359704
65.78/65.85	o 476151943496
65.89/65.97	o 471791905348
66.08/66.10	o 467429197246
66.08/66.17	o 467429197245
66.18/66.24	o 463066489141
66.28/66.33	o 458703781037
66.48/66.57	o 458701111081
66.68/66.76	o 458701111080
67.18/67.24	o 454338402979
67.28/67.34	o 449975694875
67.48/67.59	o 445612986771
67.98/68.05	o 445610316815
69.08/69.12	o 441247608711
70.48/70.53	o 436884900609
70.58/70.62	o 436884900607
71.28/71.39	o 432564911868
71.98/72.07	o 428202203764
72.68/72.76	o 423839495660
72.88/72.91	o 419479457512
72.98/73.01	o 406396673112
73.08/73.15	o 402039304920
73.28/73.31	o 397679266774
73.38/73.44	o 393316558672
73.48/73.56	o 393313888716
74.08/74.12	o 388953850568
75.79/75.89	o 371535057627
76.48/76.53	o 371532387674
76.89/76.95	o 362806971466
76.99/77.07	o 362804301510
77.58/77.60	o 358441593406
78.58/78.62	o 358438923450
79.28/79.39	o 354084225219
79.38/79.49	o 349724187071
79.48/79.59	o 345364148923
79.58/79.69	o 341004110775
79.78/79.83	o 336644072627
79.88/79.95	o 332281364523
79.98/80.08	o 327921326375
80.08/80.15	o 327918656419
80.88/80.97	o 327915986463
82.39/82.44	o 327915986462
82.49/82.59	o 327915986461
84.28/84.35	o 323553278357
84.38/84.49	o 319198580121
84.48/84.58	o 314838541973
84.78/84.81	o 310478503825
85.28/85.33	o 306121135632
86.28/86.33	o 306121135631
86.48/86.51	o 301758427527
86.48/86.58	o 301758427526
86.68/86.70	o 297395719422
86.79/86.91	o 297395719421
87.48/87.54	o 293033011317
87.89/87.97	o 288672973170
88.08/88.10	o 284331624714
88.68/88.77	o 279971586566
89.09/89.13	o 271251510269
89.28/89.34	o 266894142076
89.38/89.45	o 266891472121
89.58/89.65	o 262528764017
90.19/90.22	o 258168725870
90.38/90.46	o 258166055914
90.98/91.08	o 253806017767
91.38/91.44	o 249448649575
91.48/91.57	o 245091281383
92.78/92.83	o 245088611427
93.39/93.44	o 240725903323
93.49/93.58	o 240723233367
93.88/93.96	o 236357855306
95.28/95.39	o 231997817158
96.38/96.47	o 227637779010
96.58/96.65	o 227635109054
96.98/97.08	o 223277740865
97.28/97.33	o 214563004481
97.38/97.43	o 210210976200
97.48/97.53	o 205850938052
97.58/97.63	o 201490899904
97.68/97.73	o 197130861756
97.89/97.91	o 192776163520
97.98/98.01	o 188416125372
98.08/98.13	o 184056087224
98.18/98.26	o 184056087223
98.28/98.35	o 175333340971
98.38/98.43	o 175330671015
98.48/98.58	o 170970632867
99.08/99.10	o 166610594720
99.08/99.20	o 162250556572
99.48/99.54	o 162247886617
99.58/99.63	o 162247886616
99.78/99.84	o 157885178513
99.99/100.05	o 157882508557
100.18/100.20	o 157879838601
100.28/100.31	o 149154422393
101.09/101.15	o 149149082481
101.58/101.63	o 144786374377
101.78/101.89	o 140423666273
101.98/102.06	o 136063628125
103.78/103.88	o 131706259932
103.88/103.98	o 131706259931
104.18/104.29	o 131706259930
104.58/104.66	o 118626145488
104.88/104.92	o 114263437384
105.08/105.14	o 105543361091
105.18/105.27	o 105543361090
106.18/106.25	o 96823284795
107.38/107.43	o 96820614841
107.48/107.55	o 92457906737
107.58/107.64	o 88095198632
107.79/107.82	o 88095198631
108.18/108.20	o 88092528675
108.68/108.71	o 83735160482
108.79/108.82	o 79375122334
108.89/108.93	o 75015084186
108.98/109.04	o 70655046038
109.18/109.27	o 66297677848
109.48/109.58	o 66297677847
109.68/109.71	o 66297677846
110.38/110.40	o 66295007890
110.48/110.52	o 61940309654
114.68/114.77	o 61940309652
114.78/114.87	o 61940309651
114.98/115.06	o 61937639695
115.08/115.16	o 61934969739
115.39/115.41	o 61932299783
115.49/115.51	o 61929629827
115.58/115.60	o 61929629826
115.58/115.69	o 61929629825
116.28/116.33	o 61926959872
116.88/116.90	o 61924289916
117.18/117.21	o 61921619961
119.18/119.24	o 57561581813
119.28/119.34	o 57561581812
119.38/119.46	o 57558911858
119.48/119.56	o 57556241903
119.68/119.71	o 53196203755
122.28/122.37	o 53190863845
122.48/122.56	o 53190863844
123.78/123.81	o 53188193891
123.88/123.93	o 53188193890
126.39/126.47	o 53177514069
126.58/126.64	o 53174844113
126.98/127.00	o 53172174157
127.18/127.24	o 53172174156
127.38/127.49	o 44460107728
127.59/127.64	o 44454767816
127.78/127.82	o 44452097860
127.88/127.97	o 44452097859
128.08/128.17	o 44449427903
128.77/128.89	o 40086719804
128.87/128.99	o 40084049848
130.47/130.57	o 40081379896
130.88/130.94	o 35718671792
130.97/131.09	o 31361303602
131.37/131.45	o 22649237173
131.57/131.67	o 22646567217
132.57/132.68	o 22646567216
132.77/132.81	o 22646567215
133.27/133.33	o 22646567214
133.37/133.42	o 22643897259
133.77/133.87	o 22641227303
133.97/134.08	o 22633217432
134.57/134.60	o 22630547477
134.77/134.85	o 22625207567
135.07/135.15	o 22622537611
136.67/136.75	o 18270509326
137.17/137.24	o 18267839370
137.67/137.71	o 18265169425
137.87/137.90	o 18265169424
139.97/140.06	o 13913141144
140.07/140.15	o 13913141143
140.17/140.24	o 13913141142
140.27/140.33	o 13913141140
141.27/141.38	o 13913141138
141.37/141.49	o 13913141137
141.57/141.66	o 13913141136
141.67/141.75	o 13913141135
141.78/141.83	o 13913141134
142.88/142.98	o 13913141133
143.07/143.13	o 13913141132
143.27/143.36	o 13910471176
146.97/147.10	o 13873091789
147.28/147.36	o 13870421833
147.87/147.92	o 13870421832
148.17/148.21	o 9513053640
148.57/148.63	o 9513053639
148.57/148.69	o 9513053638
148.67/148.76	o 9510383682
148.77/148.88	o 9510383681
148.87/148.99	o 9507713725
149.27/149.33	o 9505043769
149.48/149.51	o 9505043768
149.58/149.64	o 9505043767
149.67/149.75	o 9505043766
149.77/149.83	o 9502373810
149.87/149.97	o 9499703857
149.97/150.05	o 9499703855
150.07/150.11	o 9499703854
150.07/150.17	o 9499703853
150.17/150.27	o 9497033899
150.27/150.39	o 9494363948
150.58/150.66	o 9494363946
150.87/150.98	o 9491693991
151.47/151.53	o 9489024037
151.57/151.66	o 9489024035
151.67/151.78	o 9486354080
151.78/151.85	o 9486354079
151.86/151.92	o 9486354078
151.86/151.99	o 9483684122
151.96/152.07	o 9481014166
152.06/152.16	o 9478344210
152.16/152.30	o 9475674254
152.66/152.72	o 9473004299
152.77/152.84	o 9473004298
153.56/153.60	o 9470334348
153.56/153.66	o 9470334347
153.66/153.72	o 9470334346
153.87/153.97	o 9467664391
153.97/154.06	o 9464994435
154.16/154.28	o 9464994434
154.36/154.45	o 9462324478
154.46/154.53	o 9459654522
154.56/154.63	o 9456984566
154.86/154.92	o 9454314612
154.86/154.99	o 9454314610
154.97/155.07	o 9454314609
155.07/155.13	o 9454314608
155.16/155.22	o 9451644652
155.26/155.31	o 9451644651
155.36/155.44	o 9451644650
155.46/155.54	o 9448974694
155.56/155.65	o 9448974693
155.66/155.75	o 9446304737
155.76/155.88	o 9443634783
155.86/155.97	o 9443634782
155.96/156.03	o 9443634781
156.07/156.12	o 9443634780
156.17/156.22	o 9440964828
156.26/156.30	o 9440964826
156.26/156.36	o 9440964825
156.36/156.44	o 9440964824
156.46/156.53	o 9438294868
156.56/156.63	o 9435624914
156.56/156.69	o 9435624912
156.66/156.76	o 9435624911
156.76/156.85	o 9432954955
156.86/156.94	o 9430284999
156.96/157.06	o 9427615043
157.06/157.16	o 9424945087
157.17/157.29	o 9422275131
157.27/157.38	o 9422275130
157.36/157.47	o 9419605176
157.46/157.60	o 9419605174
157.66/157.71	o 9419605173
157.76/157.84	o 9416935217
157.86/157.94	o 9416935216
157.95/158.01	o 9411595304
158.26/158.31	o 9411595303
158.37/158.47	o 9408925348
158.45/158.57	o 9408925347
158.55/158.68	o 9406255390
158.75/158.81	o 9403585440
158.75/158.88	o 9403585438
158.86/158.94	o 9403585437
158.96/159.05	o 9400915484
159.06/159.17	o 9400915483
159.16/159.23	o 9400915482
159.16/159.28	o 9400915481
159.26/159.38	o 9398245524
159.37/159.49	o 9398245523
159.47/159.57	o 9398245522
159.56/159.64	o 9398245521
159.66/159.74	o 9395575567
159.76/159.83	o 9395575565
159.76/159.89	o 9395575564
159.86/159.97	o 9395575563
159.96/160.07	o 9392905609
160.06/160.15	o 9392905607
160.15/160.26	o 9390235653
160.25/160.34	o 9390235651
160.35/160.43	o 9387565697
160.46/160.53	o 9384895741
160.57/160.66	o 9384895740
160.65/160.72	o 9384895739
160.75/160.80	o 9382225783
160.95/161.00	o 9382225782
161.05/161.13	o 9382225781
161.15/161.26	o 9379555828
161.25/161.33	o 9379555827
161.25/161.39	o 9379555826
161.35/161.45	o 9379555825
161.45/161.54	o 9376885869
161.56/161.65	o 9374215913
161.67/161.73	o 9371545957
161.75/161.89	o 9368876003
161.85/161.98	o 9368876001
161.95/162.08	o 9366206045
162.05/162.18	o 9363536089
162.15/162.29	o 9363536088
162.25/162.38	o 9360866132
162.35/162.46	o 9358196176
162.45/162.53	o 9358196175
162.55/162.61	o 9358196174
162.66/162.74	o 9355526220
162.66/162.80	o 9355526219
162.95/163.01	o 9355526218
163.55/163.61	o 9352856263
163.65/163.74	o 9352856262
163.76/163.86	o 9352856261
164.25/164.31	o 9350186307
164.35/164.40	o 9350186306
164.35/164.45	o 9350186305
164.45/164.57	o 9347516349
164.65/164.73	o 9344846393
164.86/164.95	o 9342176440
165.05/165.16	o 9339506484
165.15/165.23	o 9339506482
165.25/165.39	o 9336836526
165.35/165.48	o 9336836525
165.55/165.66	o 9336836524
165.65/165.76	o 9334166567
165.75/165.88	o 9331496613
165.85/165.94	o 9331496612
165.85/166.00	o 9331496611
165.96/166.07	o 9328826655
166.06/166.16	o 9328826654
166.15/166.22	o 9328826653
166.25/166.33	o 9326156699
166.25/166.39	o 9326156697
166.45/166.51	o 9323486743
166.45/166.57	o 9323486741
166.55/166.66	o 9320816785
166.65/166.72	o 9320816784
166.65/166.79	o 9318146828
166.75/166.89	o 9315476872
166.95/167.02	o 9315476871
167.06/167.19	o 9315476870
167.35/167.48	o 9315476869
167.45/167.59	o 9315476868
167.75/167.86	o 9312806916
167.85/167.96	o 9312806915
168.05/168.10	o 9310136960
168.26/168.34	o 9310136959
168.45/168.50	o 9310136958
168.65/168.74	o 9310136957
168.75/168.84	o 9307467004
168.85/168.91	o 9307467003
168.85/168.97	o 9307467001
168.95/169.09	o 9307467000
169.05/169.19	o 9307466999
169.15/169.29	o 9304797045
169.26/169.37	o 9304797044
169.36/169.43	o 9304797043
169.45/169.55	o 9304797042
169.65/169.71	o 9302127086
169.75/169.82	o 9299457131
169.85/169.90	o 9299457130
169.95/170.00	o 9299457129
169.95/170.10	o 9296787174
170.05/170.16	o 9296787173
170.15/170.25	o 9296787172
170.25/170.32	o 9294117216
170.36/170.45	o 9288777304
170.46/170.58	o 9286107350
170.55/170.68	o 9286107349
170.65/170.74	o 9286107348
170.75/170.81	o 9286107347
170.75/170.88	o 9283437391
170.85/170.99	o 9283437390
171.15/171.25	o 9280767439
171.25/171.32	o 9280767438
171.25/171.37	o 9280767437
171.35/171.44	o 9280767436
171.46/171.52	o 9280767435
172.15/172.26	o 9280767434
172.25/172.38	o 9280767433
172.45/172.50	o 9280767432
172.56/172.65	o 9278097477
172.66/172.73	o 9278097476
172.75/172.85	o 9275427520
172.95/173.02	o 9272757567
173.05/173.10	o 9272757566
173.15/173.21	o 9272757565
173.15/173.28	o 9272757564
173.35/173.44	o 9270087611
173.45/173.52	o 9270087610
173.45/173.59	o 9270087608
173.66/173.74	o 9267417656
173.76/173.82	o 9267417655
173.76/173.88	o 9267417654
173.95/174.03	o 9267417653
174.05/174.15	o 9267417652
174.15/174.27	o 9267417651
174.25/174.38	o 9264747700
174.35/174.45	o 9264747698
174.45/174.52	o 9264747697
174.45/174.59	o 9264747696
174.65/174.72	o 9262077742
174.65/174.79	o 9262077741
174.76/174.89	o 9262077740
174.86/174.97	o 9259407787
174.95/175.07	o 9259407786
175.05/175.15	o 9259407785
175.15/175.23	o 9256737829
175.25/175.33	o 9256737828
175.25/175.39	o 9254067872
175.45/175.51	o 9254067871
175.45/175.58	o 9254067870
175.55/175.63	o 9254067869
179.05/179.15	o 9254067868
179.16/179.25	o 9254067867
179.26/179.38	o 9251397914
179.45/179.52	o 9251397913
179.55/179.61	o 9251397912
179.65/179.74	o 9251397911
179.85/179.90	o 9248727959
179.95/180.00	o 9248727958
179.95/180.08	o 9248727957
180.05/180.18	o 9248727956
180.15/180.28	o 9248727955
180.36/180.44	o 9248727954
180.55/180.65	o 9246057999
180.65/180.74	o 9246057998
180.75/180.87	o 9246057997
180.85/180.97	o 9246057996
180.95/181.09	o 9246057995
181.15/181.23	o 9243388041
181.25/181.35	o 9243388040
181.36/181.48	o 9243388039
181.46/181.59	o 9243388038
181.65/181.75	o 9240718087
181.75/181.83	o 9240718086
181.85/181.91	o 9240718085
181.85/181.97	o 9240718084
182.05/182.13	o 9238048129
182.15/182.20	o 9238048128
182.35/182.43	o 9235378174
182.46/182.52	o 9235378173
182.56/182.63	o 9235378172
182.65/182.76	o 9232708217
182.75/182.88	o 9232708216
182.95/183.02	o 9230038265
183.05/183.11	o 9230038264
183.05/183.16	o 9230038263
183.15/183.24	o 9230038262
183.25/183.31	o 9230038261
183.25/183.39	o 9230038260
183.45/183.58	o 9227368307
183.56/183.68	o 9227368306
183.66/183.75	o 9227368305
183.75/183.84	o 9227368304
183.85/183.93	o 9224698348
183.95/184.05	o 9224698347
184.05/184.15	o 9222028392
184.15/184.27	o 9222028391
184.25/184.35	o 9219358435
184.45/184.56	o 9219358434
184.55/184.65	o 9216688486
184.66/184.73	o 9216688485
184.66/184.79	o 9216688484
184.76/184.86	o 9216688483
184.85/184.91	o 9216688481
184.85/184.98	o 9216688480
184.95/185.07	o 9216688479
185.25/185.32	o 9214018528
185.35/185.40	o 9214018527
185.35/185.46	o 9214018525
185.45/185.54	o 9214018524
185.65/185.70	o 9214018523
185.95/186.01	o 9211348570
186.05/186.10	o 9211348569
186.05/186.17	o 9211348568
186.25/186.33	o 9208678614
186.35/186.42	o 9208678613
186.45/186.51	o 9208678612
186.55/186.63	o 9206008658
186.65/186.72	o 9206008657
186.75/186.83	o 9206008656
186.86/186.93	o 9206008655
186.96/187.06	o 9203338702
187.05/187.15	o 9203338701
187.15/187.22	o 9203338699
187.35/187.40	o 9200668743
187.45/187.53	o 9197998787
187.55/187.66	o 9195328833
187.65/187.75	o 9195328832
187.75/187.83	o 9195328831
187.85/187.94	o 9192658876
187.96/188.05	o 9192658875
188.06/188.16	o 9189988921
188.15/188.24	o 9189988920
188.25/188.32	o 9189988919
188.35/188.42	o 9187318963
188.45/188.54	o 9184649007
188.55/188.67	o 9181979053
188.65/188.76	o 9181979052
188.75/188.85	o 9181979051
188.85/188.96	o 9181979050
188.95/189.06	o 9181979049
189.06/189.16	o 9181979048
189.16/189.25	o 9181979047
189.25/189.35	o 9181979045
189.45/189.50	o 9179309091
189.45/189.58	o 9179309090
189.55/189.66	o 9179309089
189.65/189.75	o 9179309088
189.74/189.85	o 9176639133
189.84/189.93	o 9176639132
189.94/190.03	o 9173969177
190.04/190.11	o 9173969176
190.15/190.21	o 9173969175
190.26/190.33	o 9171299219
190.34/190.42	o 9168629263
190.44/190.53	o 9165959308
190.54/190.65	o 9163289353
190.64/190.74	o 9163289352
190.74/190.82	o 9163289351
190.74/190.88	o 9163289350
190.84/190.95	o 9160619394
190.94/191.03	o 9160619393
191.04/191.13	o 9160619392
191.14/191.28	o 9160619391
191.25/191.35	o 9160619390
191.25/191.41	o 9160619389
192.64/192.70	o 9157949439
192.64/192.79	o 9157949437
192.74/192.87	o 9157949436
192.84/192.94	o 9157949435
192.94/193.00	o 9157949434
192.94/193.07	o 9157949433
193.14/193.23	o 9155279478
193.24/193.31	o 9155279477
193.34/193.44	o 9152609521
193.45/193.60	o 9149939567
193.64/193.79	o 9149939566
193.84/193.92	o 9149939565
193.94/194.03	o 9149939564
194.04/194.14	o 9149939563
194.14/194.25	o 9149939562
194.34/194.40	o 9149939560
194.44/194.52	o 9147269608
194.55/194.61	o 9147269607
194.55/194.68	o 9147269606
194.66/194.74	o 9147269605
194.74/194.88	o 9147269604
194.94/195.03	o 9144599654
195.04/195.12	o 9144599653
195.14/195.24	o 9144599652
195.24/195.33	o 9144599651
195.34/195.42	o 9144599650
195.34/195.49	o 9144599649
195.44/195.59	o 9144599648
195.54/195.69	o 9144599647
195.65/195.80	o 9144599646
195.84/195.94	o 9141929694
195.94/196.04	o 9141929693
196.04/196.11	o 9141929692
196.14/196.22	o 9141929691
196.24/196.31	o 9141929690
196.34/196.47	o 9141929689
196.44/196.56	o 9141929688
196.64/196.72	o 9141929687
196.75/196.82	o 9141929686
196.85/196.92	o 9141929685
196.85/196.99	o 9141929684
196.94/197.07	o 9141929683
197.04/197.16	o 9141929682
197.14/197.24	o 9141929681
197.34/197.40	o 9139259728
197.34/197.48	o 9139259727
197.44/197.54	o 9139259726
197.54/197.62	o 9139259725
197.64/197.77	o 9139259724
197.85/197.91	o 9136589773
197.85/198.00	o 9136589772
197.95/198.08	o 9136589771
198.04/198.15	o 9136589770
198.14/198.21	o 9136589769
198.14/198.27	o 9136589768
198.24/198.38	o 9136589767
198.44/198.51	o 9136589766
198.54/198.63	o 9133919813
198.64/198.71	o 9133919812
198.64/198.78	o 9133919810
198.84/198.92	o 9133919809
198.95/199.05	o 9133919808
199.64/199.76	o 9112560161
199.84/199.94	o 9112560160
199.94/200.01	o 9112560159
199.94/200.08	o 9112560158
200.05/200.14	o 9109890202
200.15/200.29	o 9109890201
200.24/200.35	o 9107220245
200.34/200.44	o 9104550289
200.74/200.87	o 9104550288
200.94/201.07	o 9104550287
201.33/201.45	o 9104550286
201.83/201.91	o 9104550285
202.13/202.30	o 9104550284
203.84/203.97	o 9104550283
204.83/204.93	o 9104550282
205.03/205.19	o 9104550281
205.23/205.35	o 9104550280
205.33/205.41	o 9104550279
205.43/205.56	o 9101880328
205.54/205.63	o 9101880327
205.54/205.70	o 9101880326
205.65/205.77	o 9101880325
205.73/205.84	o 9101880324
205.83/205.92	o 9101880323
206.03/206.13	o 9099210370
206.13/206.20	o 9099210369
206.13/206.27	o 9099210368
206.23/206.36	o 9099210367
206.33/206.47	o 9099210366
206.83/206.99	o 9099210365
207.03/207.15	o 9099210364
207.23/207.32	o 9099210363
207.33/207.46	o 9099210362
208.34/208.41	o 9093870479
208.34/208.49	o 9093870478
208.44/208.56	o 9093870477
208.54/208.66	o 9093870476
208.64/208.77	o 9093870475
208.74/208.88	o 9093870474
210.34/210.42	o 9093870473
210.63/210.71	o 9091200519
210.83/210.92	o 9091200518
210.93/211.01	o 9091200517
211.15/211.29	o 9091200516
211.93/212.01	o 9091200515
212.14/212.21	o 9091200514
212.25/212.35	o 9091200513
212.33/212.48	o 9091200512
212.43/212.57	o 9091200511
212.53/212.68	o 9091200510
212.63/212.77	o 9091200509
212.73/212.89	o 9091200508
212.93/213.01	o 9091200507
213.03/213.13	o 9091200506
213.13/213.21	o 9091200505
213.24/213.36	o 9091200504
213.44/213.51	o 9091200503
213.54/213.68	o 9091200502
214.53/214.67	o 9091200501
214.73/214.84	o 9091200500
214.93/215.02	o 9091200499
215.03/215.16	o 9091200498
215.63/215.79	o 9091200497
215.83/215.94	o 9091200496
216.73/216.84	o 9088530541
216.93/217.04	o 9088530540
217.13/217.20	o 9088530539
219.94/220.09	o 9085860592
220.23/220.32	o 9085860591
220.43/220.53	o 9085860590
222.15/222.24	o 9080520683
222.33/222.41	o 9080520682
222.33/222.49	o 9080520681
222.53/222.60	o 9080520680
222.63/222.71	o 9080520679
222.73/222.82	o 9080520678
222.83/222.92	o 9080520677
223.03/223.15	o 9080520676
226.23/226.32	o 9077850722
226.23/226.38	o 9077850721
226.44/226.51	o 9077850720
226.55/226.63	o 9077850719
226.74/226.89	o 9075180769
226.84/226.99	o 9075180768
226.94/227.05	o 9075180767
227.04/227.11	o 9075180766
227.04/227.18	o 9075180765
227.14/227.25	o 9075180764
227.34/227.43	o 9075180763
227.44/227.54	o 9075180762
227.44/227.61	o 9075180761
227.65/227.71	o 9075180759
227.74/227.87	o 9075180758
228.14/228.21	o 9075180757
228.84/228.91	o 9069840857
228.84/228.98	o 9069840856
228.94/229.04	o 9069840855
229.04/229.11	o 9069840854
229.04/229.17	o 9069840853
229.34/229.44	o 9069840852
230.95/231.03	o 9069840851
232.44/232.51	o 9067170899
232.44/232.57	o 9064500944
232.54/232.64	o 9064500943
232.64/232.71	o 9064500942
232.64/232.77	o 9064500941
232.74/232.89	o 9064500940
234.74/234.88	o 9064500939
235.44/235.58	o 9064500938
236.35/236.42	o 9064500937
236.74/236.87	o 9064500936
237.14/237.22	o 9064500935
238.34/238.43	o 9061830986
238.34/238.49	o 9059161030
238.44/238.59	o 9059161029
238.55/238.67	o 9059161028
238.65/238.79	o 9059161027
238.84/238.93	o 9059161026
239.04/239.10	o 9059161025
239.34/239.49	o 9059161024
240.14/240.21	o 9059161023
241.04/241.16	o 9059161022
242.95/243.01	o 9059161021
243.14/243.21	o 9059161020
243.44/243.54	o 9056491076
243.54/243.63	o 9056491075
243.54/243.69	o 9056491074
243.64/243.76	o 9056491072
243.74/243.83	o 9056491071
243.74/243.89	o 9056491070
243.84/243.96	o 9056491069
243.94/244.01	o 9056491068
244.05/244.13	o 9053821115
244.15/244.23	o 9053821114
244.24/244.36	o 9053821113
244.34/244.43	o 9053821112
244.74/244.83	o 9053821111
245.74/245.85	o 9053821110
246.04/246.11	o 9053821109
246.35/246.45	o 9048481213
246.54/246.60	o 9048481212
246.74/246.84	o 9048481210
246.84/246.98	o 9048481209
247.14/247.22	o 9048481208
250.94/251.03	o 9048481207
251.04/251.11	o 9048481206
251.04/251.18	o 9048481205
251.24/251.34	o 9048481204
252.04/252.14	o 9048481203
252.14/252.20	o 9048481202
252.34/252.43	o 9045811252
252.44/252.50	o 9045811251
252.54/252.65	o 9045811250
252.64/252.75	o 9045811249
252.74/252.87	o 9045811248
253.14/253.22	o 9045811247
253.64/253.70	o 9045811246
253.74/253.89	o 9043141295
253.95/254.07	o 9043141294
254.05/254.16	o 9043141293
254.14/254.27	o 9043141292
254.24/254.37	o 9043141291
254.34/254.43	o 9043141290
254.44/254.57	o 9043141289
255.05/255.21	o 9043141288
255.54/255.69	o 9037801382
255.64/255.79	o 9037801381
255.74/255.85	o 9037801380
255.84/255.91	o 9037801379
255.94/256.00	o 9037801378
256.04/256.16	o 9037801377
256.74/256.82	o 9037801376
257.44/257.52	o 9037801375
257.44/257.57	o 9037801374
257.64/257.72	o 9037801373
257.74/257.89	o 9035131429
257.84/257.96	o 9035131428
257.94/258.02	o 9035131427
257.94/258.08	o 9035131426
258.04/258.14	o 9035131425
258.14/258.21	o 9035131424
258.14/258.27	o 9035131423
258.24/258.32	o 9035131422
258.24/258.39	o 9035131421
258.35/258.45	o 9035131420
258.45/258.51	o 9035131419
258.45/258.59	o 9035131418
258.64/258.77	o 9032461477
258.74/258.84	o 9032461476
258.84/258.90	o 9032461473
258.84/258.96	o 9032461472
258.94/259.01	o 9032461471
258.94/259.06	o 9032461470
259.04/259.13	o 9032461469
259.04/259.19	o 9032461468
259.14/259.24	o 9032461467
259.24/259.33	o 9032461466
259.34/259.48	o 9032461465
259.94/260.02	o 9032461464
260.55/260.68	o 9029791510
260.65/260.75	o 9029791509
260.84/260.91	o 9029791508
261.34/261.48	o 9029791506
261.54/261.67	o 9029791505
261.65/261.79	o 9029791504
262.44/262.59	o 9024451604
262.54/262.65	o 9024451603
262.64/262.72	o 9024451602
262.64/262.80	o 9024451601
262.75/262.86	o 9024451600
262.85/262.92	o 9024451599
262.85/262.99	o 9024451598
263.04/263.13	o 9024451597
265.64/265.76	o 9024451596
265.94/266.03	o 9024451595
266.24/266.31	o 9024451594
267.34/267.47	o 9021781641
267.44/267.56	o 9021781639
267.54/267.67	o 9021781638
268.14/268.20	o 9021781637
268.25/268.33	o 9021781636
268.44/268.54	o 9019111687
268.54/268.62	o 9019111685
268.54/268.67	o 9019111684
268.64/268.73	o 9019111683
268.64/268.79	o 9019111682
268.94/269.10	o 9019111681
271.44/271.55	o 9016441728
271.65/271.79	o 9016441727
271.84/271.94	o 9016441726
272.34/272.49	o 9016441725
273.34/273.41	o 9013771780
273.34/273.49	o 9013771778
273.44/273.58	o 9013771776
273.54/273.65	o 9013771775
273.75/273.81	o 9013771774
273.94/274.00	o 9013771773
274.04/274.19	o 9013771772
274.34/274.47	o 9013771771
274.64/274.75	o 9013771770
274.85/274.97	o 9013771769
275.04/275.18	o 9013771768
275.84/275.97	o 9013771767
276.64/276.75	o 9003091953
276.84/276.92	o 9003091951
276.84/276.99	o 9003091950
276.94/277.07	o 9003091949
277.05/277.16	o 9003091948
277.15/277.29	o 9003091947
277.34/277.40	o 9003091946
277.54/277.62	o 9003091945
277.74/277.82	o 9003091944
279.14/279.26	o 9000421989
279.35/279.41	o 9000421988
279.44/279.55	o 8997752035
279.54/279.63	o 8997752034
279.74/279.80	o 8997752033
280.04/280.16	o 8997752032
281.45/281.57	o 8992412130
281.55/281.69	o 8992412129
281.64/281.75	o 8992412128
281.74/281.84	o 8992412127
281.74/281.89	o 8992412126
281.84/281.99	o 8992412125
281.94/282.08	o 8992412124
282.14/282.23	o 8992412123
282.34/282.42	o 8992412122
282.44/282.61	o 8992412121
283.14/283.29	o 8992412120
285.34/285.44	o 8992412119
286.44/286.54	o 8992412118
286.64/286.74	o 8992412117
286.84/286.95	o 8992412116
286.95/287.11	o 8992412115
287.24/287.32	o 8992412114
287.34/287.48	o 8992412113
287.54/287.66	o 8992412112
287.74/287.80	o 8992412111
287.94/288.01	o 8989742166
287.94/288.08	o 8989742165
288.05/288.20	o 8987072210
288.24/288.30	o 8987072209
288.34/288.43	o 8987072208
288.44/288.57	o 8987072207
288.64/288.76	o 8987072206
290.44/290.50	o 8987072205
291.14/291.28	o 8981732300
291.24/291.34	o 8981732298
291.35/291.45	o 8981732297
291.45/291.58	o 8981732296
291.54/291.70	o 8981732295
291.74/291.80	o 8981732294
291.84/291.90	o 8981732293
292.84/292.94	o 8981732292
298.24/298.35	o 8979062381
298.34/298.45	o 8979062380
298.54/298.64	o 8979062379
298.74/298.87	o 8976392426
298.84/298.95	o 8976392425
298.94/299.06	o 8976392424
299.05/299.16	o 8976392423
300.94/301.03	o 8976392422
301.14/301.23	o 8976392421
301.35/301.43	o 8973722477
301.44/301.50	o 8973722476
301.44/301.58	o 8973722474
301.54/301.63	o 8973722473
301.54/301.69	o 8973722472
301.74/301.86	o 8973722471
301.94/302.04	o 8973722470
302.14/302.20	o 8973722469
302.24/302.34	o 8973722468
302.45/302.54	o 8973722467
303.45/303.54	o 8973722466
304.24/304.39	o 8971052521
304.44/304.52	o 8971052519
304.44/304.59	o 8968382562
304.55/304.66	o 8968382561
304.65/304.72	o 8968382560
304.74/304.80	o 8968382559
304.74/304.87	o 8965712604
304.84/304.94	o 8965712603
304.94/305.01	o 8965712602
305.04/305.10	o 8965712601
305.04/305.15	o 8965712600
305.14/305.23	o 8965712598
305.23/305.33	o 8965712597
305.33/305.43	o 8963042644
305.33/305.49	o 8963042642
305.43/305.59	o 8960372691
305.53/305.67	o 8960372690
305.64/305.73	o 8960372689
305.74/305.82	o 8960372688
305.83/305.92	o 8960372687
309.93/310.09	o 8960372686
312.43/312.54	o 8960372683
312.53/312.66	o 8960372682
312.73/312.86	o 8960372681
314.23/314.30	o 8960372680
314.63/314.77	o 8960372679
314.83/314.94	o 8960372678
315.03/315.19	o 8960372677
315.33/315.44	o 8960372676
316.13/316.21	o 8960372675
316.93/317.07	o 8960372674
319.03/319.13	o 8960372673
323.73/323.80	s OPTIMUM FOUND
323.73/323.80	v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 x12 -x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 -x29 x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 x270 x271 -x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 -x284 x285 -x286 -x287 x288 x289 -x290 x291 -x292 x293 x294 -x295 -x296 x297 x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 x325 x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 x347 -x348 -x349 x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 x382 x383 x384 x385 x386 x387 -x388 -x389 -x390 -x391 x392 -x393 x394 -x395 -x396 x397 x398 x399 x400 x401 x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 x422 x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 x432 x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 x459 -x460 x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 x522 -x523 x524 -x525 -x526 -x527 -x528 x529 x530 -x531 x532 -x533 -x534 x535 -x536 x537 -x538 -x539 -x540 x541 x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 x573 -x574 -x575 x576 -x577 -x578 -x579 x580 -x581 -x582 x583 x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 x604 -x605 x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 x618 -x619 x620 -x621 -x622 x623 x624 -x625 x626 -x627 x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 x636 x637 x638 -x639 x640 x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 -x652 -x653 x654 -x655 x656 -x657 -x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 x690 -x691 -x692 x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 x718 x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 x728 x729 x730 -x731 x732 x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 x747 -x748 x749 -x750 -x751 -x752 x753 -x754 x755 x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 x765 -x766 x767 x768 -x769 -x770 x771 x772 -x773 -x774 x775 -x776 -x777 x778 -x779 -x780 x781 -x782 x783 x784 -x785 -x786 x787 -x788 x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 x797 -x798 -x799 x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 x810 -x811 -x812 -x813 x814 -x815 x816 x817 x818 x819 x820 -x821 x822 -x823 -x824 x825 -x826 -x827 x828 -x829 -x830 -x831 x832 x833 -x834 x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 x843 x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 x866 -x867 x868 -x869 x870 -x871 -x872 x873 x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 x885 -x886 -x887 x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 x916 x917 -x918 x919 -x920 -x921 -x922 x923 x924 -x925 x926 -x927 -x928 x929 x930 -x931 -x932 -x933 x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 x974 -x975 x976 x977 -x978 -x979 x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 -x1027 x1028 x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 x1058 x1059 -x1060 x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 x1158 x1159 x1160 x1161 -x1162 -x1163 x1164 -x1165 -x1166 x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 x1250 -x1251 -x1252 -x1253 x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 x1262 x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 x1280 -x1281 x1282 -x1283 x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 x1314 -x1315 -x1316 x1317 x1318 -x1319 x1320 -x1321 x1322 -x1323 x1324 -x1325 -x1326 x1327 x1328 -x1329 x1330 -x1331 x1332 -x1333 -x1334 x1335 x1336 x1337 x1338 -x1339 -x1340 x1341 x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 x1351 -x1352 -x1353 -x1354 x1355 x1356 -x1357 x1358 x1359 -x1360 -x1361 x1362 -x1363 -x1364 x1365 -x1366 x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 x1425 -x1426 x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 x1455 x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 x1586 x1587 x1588 -x1589 x1590 x1591 -x1592 x1593 -x1594 x1595 -x1596 x1597 x1598 -x1599 -x1600 x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 x1609 -x1610 -x1611 x1612 -x1613 -x1614 x1615 -x1616 x1617 -x1618 -x1619 x1620 -x1621 -x1622 x1623 x1624 -x1625 x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 x1638 -x1639 x1640 -x1641 x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 x1696 x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 x1797 -x1798 x1799 x1800 -x1801 -x1802 x1803 -x1804 x1805 x1806 x1807 -x1808 x1809 -x1810 x1811 x1812 -x1813 x1814 -x1815 x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 x1830 x1831 x1832 -x1833 x1834 -x1835 x1836 -x1837 -x1838 x1839 x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 x1858 x1859 -x1860 -x1861 -x1862 x1863 x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 x1903 -x1904 x1905 x1906 -x1907 x1908 x1909 -x1910 x1911 -x1912 -x1913 x1914 x1915 -x1916 x1917 -x1918 x1919 -x1920 -x1921 x1922 -x1923 -x1924 x1925 x1926 -x1927 x1928 x1929 x1930 x1931 x1932 -x1933 x1934 -x1935 x1936 -x1937 -x1938 x1939 x1940 -x1941 x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 x1951 x1952 x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 x1960 x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 x1979 x1980 -x1981 x1982 x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 x1990 -x1991 x1992 -x1993 -x1994 x1995 x1996 -x1997 -x1998 x1999 -x2000 -x2001 x2002 -x2003 x2004 x2005 -x2006 -x2007 x2008 x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 -x2025 x2026 -x2027 x2028 x2029 -x2030 -x2031 x2032 -x2033 x2034 -x2035 x2036 -x2037 x2038 -x2039 x2040 -x2041 x2042 -x2043 -x2044 x2045 x2046 -x2047 x2048 -x2049 x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 x2078 x2079 -x2080 x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 x2096 x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 x2104 x2105 -x2106 -x2107 -x2108 x2109 -x2110 x2111 -x2112 x2113 x2114 -x2115 x2116 x2117 x2118 -x2119 -x2120 x2121 -x2122 -x2123 x2124 -x2125 x2126 x2127 -x2128 x2129 -x2130 x2131 x2132 -x2133 x2134 x2135 -x2136 x2137 x2138 -x2139 -x2140 -x2141 x2142 x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 x2155 x2156 -x2157 x2158 x2159 x2160 x2161 x2162 x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 x2179 -x2180 x2181 x2182 x2183 -x2184 -x2185 -x2186 x2187 -x2188 x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 x2212 x2213 -x2214 x2215 x2216 -x2217 -x2218 x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 x2253 -x2254 x2255 -x2256 x2257 -x2258 -x2259 x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 x2281 x2282 x2283 x2284 x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 x2313 -x2314 x2315 -x2316 x2317 -x2318 x2319 -x2320 -x2321 x2322 x2323 -x2324 -x2325 x2326 -x2327 x2328 -x2329 x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 x2340 x2341 x2342 x2343 -x2344 -x2345 -x2346 x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 x2354 x2355 -x2356 -x2357 -x2358 -x2359 x2360 x2361 -x2362 x2363 x2364 x2365 -x2366 -x2367 -x2368 x2369 x2370 -x2371 x2372 -x2373 -x2374 x2375 x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 x2383 x2384 x2385 x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 x2412 x2413 -x2414 x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 x2438 x2439 -x2440 x2441 -x2442 x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 x2454 -x2455 -x2456 x2457 -x2458 x2459 -x2460 x2461 -x2462 x2463 x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 x2477 x2478 x2479 -x2480 -x2481 x2482 -x2483 -x2484 x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 x2506 -x2507 -x2508 -x2509 x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 x2520 -x2521 x2522 -x2523 -x2524 x2525 x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 x2537 -x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 x2560 x2561 x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 x2597 -x2598 x2599 -x2600 x2601 -x2602 x2603 -x2604 x2605 -x2606 x2607 -x2608 x2609 -x2610 -x2611 -x2612 x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 x2623 x2624 x2625 x2626 -x2627 -x2628 -x2629 x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 x2659 -x2660 -x2661 x2662 -x2663 x2664 x2665 -x2666 -x2667 x2668 -x2669 x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 x2683 -x2684 -x2685 x2686 -x2687 x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 x2703 x2704 -x2705 -x2706 x2707 -x2708 -x2709 x2710 -x2711 -x2712 x2713 -x2714 x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 x2738 x2739 -x2740 -x2741 x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 x2779 x2780 -x2781 -x2782 -x2783 -x2784 x2785 x2786 -x2787 -x2788 x2789 x2790 -x2791 x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 x2812 -x2813 -x2814 x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 x2831 x2832 -x2833 -x2834 -x2835 x2836 -x2837 x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 x2846 x2847 -x2848 -x2849 x2850 -x2851 x2852 -x2853 x2854 -x2855 x2856 -x2857 -x2858 -x2859 x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 x2885 x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 x2949 x2950 -x2951 -x2952 x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 x2965 x2966 -x2967 x2968 x2969 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 x2979 x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 x3010 -x3011 x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 x3037 -x3038 x3039 -x3040 x3041 -x3042 x3043 x3044 x3045 x3046 -x3047 -x3048 -x3049 x3050 -x3051 x3052 -x3053 x3054 -x3055 x3056 -x3057 x3058 x3059 -x3060 -x3061 x3062 x3063 -x3064 x3065 -x3066 x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 x3075 x3076 x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 x3084 x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 x3122 -x3123 x3124 -x3125 -x3126 -x3127 x3128 -x3129 x3130 -x3131 x3132 -x3133 x3134 -x3135 -x3136 x3137 -x3138 x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 x4265 x4266 x4267 x4268 x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 x4740 -x4741 -x4742 -x4743 x4744 x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4756 x4757 -x4758 x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 x4794 x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 x5140 x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 x5174 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 x5321 -x5322 x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 x5584 x5585 x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 x5599 x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 x5676 -x5677 -x5678 -x5679 x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 x5688 x5689 -x5690 -x5691 -x5692 x5693 x5694 -x5695 -x5696 x5697 x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 x5739 -x5740 -x5741 -x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 x5808 x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 x5918 x5919 x5920 x5921 x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 x5932 -x5933 -x5934 -x5935 x5936 x5937 x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 x5957 x5958 x5959 x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 x6023 -x6024 x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 x6039 x6040 -x6041 x6042 -x6043 -x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 x6054 x6055 x6056 x6057 -x6058 -x6059 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 x6067 -x6068 -x6069 -x6070 -x6071 -x6072 x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 x6089 x6090 x6091 x6092 x6093 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 x6148 -x6149 x6150 -x6151 -x6152 -x6153 x6154 -x6155 -x6156 -x6157 x6158 x6159 x6160 x6161 x6162 x6163 -x6164 -x6165 -x6166 -x6167 x6168 x6169 x6170 x6171 x6172 -x6173 -x6174 x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 x6182 x6183 x6184 x6185 -x6186 -x6187 -x6188 -x6189 x6190 x6191 x6192 -x6193 x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 x6204 -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 -x6221 -x6222 x6223 x6224 -x6225 -x6226 -x6227 x6228 x6229 -x6230 -x6231 x6232 x6233 -x6234 x6235 x6236 -x6237 x6238 x6239 x6240 -x6241 x6242 -x6243 -x6244 x6245 x6246 x6247 x6248 -x6249 -x6250 -x6251 x6252 -x6253 x6254 x6255 -x6256 -x6257 -x6258 x6259 x6260 x6261 x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 x6269 -x6270 -x6271 -x6272 -x6273 x6274 x6275 -x6276 -x6277 -x6278 -x6279 -x6280 x6281 x6282 x6283 x6284 -x6285 x6286 x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 x6297 -x6298 -x6299 -x6300 x6301 x6302 -x6303 x6304 -x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 x6315 x6316 -x6317 x6318 x6319 x6320 -x6321 -x6322 x6323 x6324 -x6325 -x6326 -x6327 -x6328 -x6329 x6330 x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 x6350 x6351 x6352 x6353 -x6354 -x6355 -x6356 -x6357 x6358 x6359 x6360 x6361 x6362 -x6363 x6364 x6365 -x6366 -x6367 -x6368 x6369 x6370 x6371 x6372 -x6373 -x6374 x6375 x6376 -x6377 -x6378 -x6379 -x6380 x6381 -x6382 x6383 -x6384 -x6385 x6386 x6387 x6388 x6389 -x6390 x6391 -x6392 x6393 -x6394 x6395 -x6396 x6397 x6398 x6399 -x6400 x6401 -x6402 -x6403 -x6404 x6405 x6406 -x6407 -x6408 -x6409 -x6410 x6411 -x6412 x6413 -x6414 x6415 x6416 x6417 -x6418 -x6419 x6420 -x6421 x6422 x6423 -x6424 x6425 x6426 x6427 x6428 x6429 x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 x6437 x6438 -x6439 x6440 -x6441 -x6442 x6443 x6444 -x6445 -x6446 -x6447 x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 x6464 -x6465 -x6466 -x6467 x6468 x6469 x6470 x6471 -x6472 -x6473 -x6474 -x6475 x6476 x6477 x6478 -x6479 x6480 -x6481 -x6482 x6483 -x6484 -x6485 -x6486 x6487 x6488 -x6489 -x6490 x6491 x6492 x6493 -x6494 x6495 -x6496 x6497 -x6498 -x6499 x6500 -x6501 x6502 x6503 x6504 -x6505 x6506 -x6507 -x6508 x6509 -x6510 -x6511 -x6512 x6513 -x6514 x6515 -x6516 x6517 x6518 -x6519 x6520 x6521 x6522 x6523 x6524 -x6525 x6526 -x6527 -x6528 x6529 -x6530 x6531 x6532 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 x6539 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 -x6546 x6547 -x6548 -x6549 x6550 x6551 x6552 -x6553 -x6554 -x6555 x6556 -x6557 -x6558 x6559 x6560 x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 x6579 x6580 -x6581 x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 x6591 -x6592 -x6593 x6594 -x6595 x6596 x6597 x6598 -x6599 -x6600 -x6601 x6602 -x6603 x6604 x6605 x6606 -x6607 -x6608 -x6609 x6610 -x6611 -x6612 x6613 x6614 x6615 x6616 -x6617 -x6618 x6619 -x6620 x6621 -x6622 -x6623 -x6624 x6625 -x6626 -x6627 -x6628 -x6629 x6630 -x6631 x6632 -x6633 x6634 -x6635 -x6636 -x6637 x6638 -x6639 x6640 x6641 -x6642 x6643 x6644 x6645 x6646 x6647 x6648 x6649 x6650 x6651 -x6652 -x6653 -x6654 x6655 x6656 x6657 x6658 x6659 x6660 x6661 x6662 x6663 x6664 x6665 x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 x6675 x6676 x6677 -x6678 x6679 x6680 x6681 -x6682 -x6683 x6684 x6685 x6686 x6687 x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 x6698 x6699 -x6700 -x6701 -x6702 -x6703 x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 x6718 x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 x6727 -x6728 x6729 -x6730 x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 x6797 -x6798 -x6799 -x6800 -x6801 x6802 x6803 x6804 x6805 x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 x6824 -x6825 -x6826 -x6827 x6828 -x6829 -x6830 -x6831 -x6832 x6833 -x6834 -x6835 x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 x6847 x6848 x6849 -x6850 -x6851 x6852 x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 x6865 -x6866 x6867 x6868 x6869 -x6870 -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 x6884 x6885 -x6886 -x6887 -x6888 x6889 -x6890 x6891 x6892 -x6893 -x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 x6913 x6914 x6915 x6916 x6917 x6918 x6919 x6920 x6921 x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 x6939 x6940 x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 x6955 x6956

Verifier Data 

OK	8960372673

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3467691-1307426830/watcher-3467691-1307426830 -o /tmp/evaluation-result-3467691-1307426830/solver-3467691-1307426830 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467691-1307426830.opb --verbosity=0 --format=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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/327 17884
/proc/meminfo: memFree=23989304/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=8840 CPUtime=0 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 790 0 0 0 0 0 0 0 25 0 1 0 932913569 9052160 693 33554432000 4194304 6736272 140736142954096 18446744073709551615 4300656 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 2210 699 242 621 0 1580 0

[startup+0.0342661 s]
/proc/loadavg: 2.00 2.01 2.00 3/327 17884
/proc/meminfo: memFree=23989304/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=10340 CPUtime=0.03 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 1166 0 0 0 3 0 0 0 25 0 1 0 932913569 10588160 1069 33554432000 4194304 6736272 140736142954096 18446744073709551615 4538129 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 2585 1070 248 621 0 1955 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10340

[startup+0.100254 s]
/proc/loadavg: 2.00 2.01 2.00 3/327 17884
/proc/meminfo: memFree=23989304/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=15472 CPUtime=0.09 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 2421 0 0 0 9 0 0 0 25 0 1 0 932913569 15843328 2324 33554432000 4194304 6736272 140736142954096 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 3868 2325 248 621 0 3238 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15472

[startup+0.300218 s]
/proc/loadavg: 2.00 2.01 2.00 3/327 17884
/proc/meminfo: memFree=23989304/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=32420 CPUtime=0.28 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 6990 0 0 0 28 0 0 0 25 0 1 0 932913569 33198080 6579 33554432000 4194304 6736272 140736142954096 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 8105 6580 265 621 0 7475 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32420

[startup+0.701183 s]
/proc/loadavg: 2.00 2.01 2.00 3/327 17884
/proc/meminfo: memFree=23989304/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=72520 CPUtime=0.69 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 17044 0 0 0 67 2 0 0 25 0 1 0 932913569 74260480 16567 33554432000 4194304 6736272 140736142954096 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 18130 16569 266 621 0 17500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72520

[startup+1.50103 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17885
/proc/meminfo: memFree=23905100/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=86536 CPUtime=1.49 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 21661 0 0 0 146 3 0 0 25 0 1 0 932913569 88612864 21179 33554432000 4194304 6736272 140736142954096 18446744073709551615 5803329 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 21634 21179 284 621 0 21004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86536

[startup+3.10073 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17885
/proc/meminfo: memFree=23904356/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=86540 CPUtime=3.09 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 21675 0 0 0 306 3 0 0 25 0 1 0 932913569 88616960 21193 33554432000 4194304 6736272 140736142954096 18446744073709551615 5149241 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 21635 21193 286 621 0 21005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86540

[startup+6.30112 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17885
/proc/meminfo: memFree=23903860/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=86540 CPUtime=6.29 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 21676 0 0 0 626 3 0 0 25 0 1 0 932913569 88616960 21194 33554432000 4194304 6736272 140736142954096 18446744073709551615 5818066 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 21635 21194 286 621 0 21005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86540

[startup+12.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17885
/proc/meminfo: memFree=23903428/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=86932 CPUtime=12.69 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 21690 0 0 0 1266 3 0 0 25 0 1 0 932913569 89018368 21208 33554432000 4194304 6736272 140736142954096 18446744073709551615 4734856 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/17884/statm: 21733 21208 286 621 0 21103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86932

[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17886
/proc/meminfo: memFree=23903420/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=86932 CPUtime=25.49 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 21735 0 0 0 2546 3 0 0 25 0 1 0 932913569 89018368 21252 33554432000 4194304 6736272 140736142954096 18446744073709551615 5806349 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 21733 21252 286 621 0 21103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86932

[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17886
/proc/meminfo: memFree=23903272/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=87948 CPUtime=51.08 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 21797 0 0 0 5105 3 0 0 25 0 1 0 932913569 90058752 21310 33554432000 4194304 6736272 140736142954096 18446744073709551615 5818362 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 21987 21310 286 621 0 21357 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87948

[startup+102.313 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17888
/proc/meminfo: memFree=23898772/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=88972 CPUtime=102.29 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22195 0 0 0 10226 3 0 0 25 0 1 0 932913569 91107328 21707 33554432000 4194304 6736272 140736142954096 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22243 21707 286 621 0 21613 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 88972

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17889
/proc/meminfo: memFree=23897132/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=89608 CPUtime=162.25 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22425 0 0 0 16222 3 0 0 25 0 1 0 932913569 91758592 21934 33554432000 4194304 6736272 140736142954096 18446744073709551615 5803251 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22402 21934 286 621 0 21772 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89608

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17891
/proc/meminfo: memFree=23896600/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=222.23 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 22220 3 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5816861 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 91652

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17893
/proc/meminfo: memFree=23896444/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=282.24 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 28220 4 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 91652

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

[startup+307.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17893
/proc/meminfo: memFree=23896552/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=307.03 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 30698 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5818012 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 307.03
Current children cumulated vsize (KiB) 91652

[startup+313.512 s]
/proc/loadavg: 2.16 2.03 2.01 3/328 17893
/proc/meminfo: memFree=23896424/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=313.44 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 31339 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5803361 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 313.44
Current children cumulated vsize (KiB) 91652

[startup+319.901 s]
/proc/loadavg: 2.14 2.03 2.01 3/328 17894
/proc/meminfo: memFree=23896536/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=319.83 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 31978 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5219536 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 319.83
Current children cumulated vsize (KiB) 91652

[startup+321.5 s]
/proc/loadavg: 2.13 2.03 2.01 3/328 17894
/proc/meminfo: memFree=23896536/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=321.43 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 32138 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 4731318 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 321.43
Current children cumulated vsize (KiB) 91652

[startup+323.101 s]
/proc/loadavg: 2.13 2.03 2.01 3/328 17894
/proc/meminfo: memFree=23896536/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=323.03 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 32298 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 323.03
Current children cumulated vsize (KiB) 91652

[startup+323.501 s]
/proc/loadavg: 2.13 2.03 2.01 3/328 17894
/proc/meminfo: memFree=23896536/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=323.43 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 32338 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5816804 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 323.43
Current children cumulated vsize (KiB) 91652

[startup+323.701 s]
/proc/loadavg: 2.13 2.03 2.01 3/328 17894
/proc/meminfo: memFree=23896536/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=323.63 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 32358 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5806616 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (KiB) 91652

[startup+323.801 s]
/proc/loadavg: 2.13 2.03 2.01 3/328 17894
/proc/meminfo: memFree=23896536/32951124 swapFree=67056304/67111528
[pid=17884] ppid=17882 vsize=91652 CPUtime=323.73 cores=0,2,4,6
/proc/17884/stat : 17884 (minisatid-gmp) R 17882 17884 16908 0 -1 4202496 22594 0 0 0 32368 5 0 0 25 0 1 0 932913569 93851648 22103 33554432000 4194304 6736272 140736142954096 18446744073709551615 5146816 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17884/statm: 22913 22103 286 621 0 22283 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 91652

Child status: 10
Real time (s): 323.815
CPU time (s): 323.754
CPU user time (s): 323.694
CPU system time (s): 0.05999
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 91652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 323.694
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2094

runsolver used 1.09483 second user time and 2.20366 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-07 08:07:10
IDJOB=3467691
IDBENCH=72315
IDSOLVER=1957
FILE ID=node110/3467691-1307426830
RUNJOBID= node110-1307415058-16926
PBS_JOBID= 13514209
Free space on /tmp= 74072 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3467691-1307426830/watcher-3467691-1307426830 -o /tmp/evaluation-result-3467691-1307426830/solver-3467691-1307426830 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467691-1307426830.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= 26a46b78eb7773cf62233afd6be8bb91
RANDOM SEED=1098863671

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23989476 kB
Buffers:        316824 kB
Cached:        4615808 kB
SwapCached:       8652 kB
Active:        4222364 kB
Inactive:      4418612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23989476 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            3920 kB
Writeback:           0 kB
AnonPages:     3705780 kB
Mapped:          28556 kB
Slab:           229524 kB
PageTables:      27576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75712824 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74072 MiB
End job on node110 at 2011-06-07 08:12:34