0.00/0.01	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
3.99/4.00	o 2182205866231
4.19/4.26	o 2175237995231
4.29/4.34	o 2168270124231
4.41/4.45	o 2161302253231
4.49/4.58	o 2154334382231
4.69/4.71	o 2147366511231
4.79/4.82	o 2140398640231
4.89/4.93	o 2133430769231
4.99/5.07	o 2126462898231
5.09/5.15	o 2119495027231
5.19/5.23	o 2112527156231
5.29/5.31	o 2105559285231
5.29/5.39	o 2098591414231
5.69/5.73	o 2091623543231
5.79/5.83	o 2084655672231
5.89/5.98	o 2077687801231
5.99/6.05	o 2070723578331
6.19/6.22	o 2063755707331
6.61/6.63	o 2056787836331
6.89/6.90	o 2049823613431
6.99/7.06	o 2042855742431
7.19/7.20	o 2035887871431
7.19/7.27	o 2028923648531
7.29/7.38	o 2021955777531
7.39/7.47	o 2014987906531
7.49/7.54	o 2008020035531
7.59/7.65	o 2001052164531
7.71/7.79	o 1994084293531
7.79/7.87	o 1987116422531
7.89/7.96	o 1980152199631
8.09/8.11	o 1973184328631
8.09/8.19	o 1966220105731
8.29/8.30	o 1959252234731
8.39/8.42	o 1952284363731
8.39/8.49	o 1945316492731
8.59/8.65	o 1938352269832
8.69/8.74	o 1931388046932
8.81/8.83	o 1924420175932
8.89/8.94	o 1917455953032
9.09/9.10	o 1910488082032
9.19/9.25	o 1903520211032
9.29/9.38	o 1896552340032
9.69/9.77	o 1889584469032
10.09/10.16	o 1882616598032
10.19/10.27	o 1875648727032
10.29/10.35	o 1868680856032
10.39/10.46	o 1861712985032
10.59/10.61	o 1854745114032
10.59/10.69	o 1847777243032
10.79/10.82	o 1840809372032
11.01/11.07	o 1833841501032
11.19/11.20	o 1826873630032
11.29/11.30	o 1819905759032
11.39/11.43	o 1812937888032
11.59/11.60	o 1805970017032
11.79/11.84	o 1799002146032
11.99/12.04	o 1792034275032
12.39/12.42	o 1785066404032
13.09/13.14	o 1778098533032
13.59/13.60	o 1771130662032
13.69/13.73	o 1764162791032
13.89/13.99	o 1757194920032
14.19/14.29	o 1750227049032
14.39/14.49	o 1743259178032
14.89/14.90	o 1736291307032
15.09/15.18	o 1729323436032
15.29/15.38	o 1722355565032
15.41/15.49	o 1715387694032
15.59/15.60	o 1708419823032
15.79/15.83	o 1701451952032
16.09/16.12	o 1694484081032
16.19/16.23	o 1687516210032
16.39/16.43	o 1680548339032
16.59/16.67	o 1673580468032
16.69/16.79	o 1666612597032
16.99/17.00	o 1659644726032
17.09/17.19	o 1652680503132
17.39/17.43	o 1645712632132
17.79/17.87	o 1638748409232
18.09/18.19	o 1631784186332
18.79/18.87	o 1624827259633
19.19/19.20	o 1624823611536
19.39/19.46	o 1624819963436
20.49/20.56	o 1624816315336
20.59/20.66	o 1624812667236
23.79/23.89	o 1617848444341
24.29/24.39	o 1610880573341
24.49/24.55	o 1610876925241
25.79/25.85	o 1603909054241
25.99/26.00	o 1603905406141
26.30/26.37	o 1603905406140
26.59/26.66	o 1596941183240
26.69/26.72	o 1589976960340
26.79/26.81	o 1589973312240
26.89/26.96	o 1583005441241
26.99/27.05	o 1582998145041
27.19/27.23	o 1582990848841
27.39/27.41	o 1582987200742
27.39/27.51	o 1582983552642
27.51/27.60	o 1576015681642
27.69/27.70	o 1576012033542
27.79/27.88	o 1576008385442
27.89/27.99	o 1555104772446
28.19/28.25	o 1534201159446
28.39/28.44	o 1534197511346
28.61/28.62	o 1527229640346
28.69/28.70	o 1527225992246
28.69/28.77	o 1520258121246
28.79/28.84	o 1513290250246
28.89/28.97	o 1506322379247
28.99/29.07	o 1499354508247
29.09/29.18	o 1478450895247
29.29/29.33	o 1478447247147
29.39/29.42	o 1478443599047
29.49/29.53	o 1478439950947
29.59/29.68	o 1478436302848
29.71/29.77	o 1471468431848
29.89/29.91	o 1464500560848
29.89/29.98	o 1457532689848
30.09/30.14	o 1450564818849
30.29/30.33	o 1443596947849
30.49/30.50	o 1436629076849
30.49/30.57	o 1429661205849
30.59/30.67	o 1422693334849
30.69/30.77	o 1415725463849
30.89/30.94	o 1415721815751
30.99/31.05	o 1408753944751
31.09/31.18	o 1408750296651
31.39/31.40	o 1408746648551
31.49/31.54	o 1401778777551
31.69/31.79	o 1387853979852
31.91/31.92	o 1387853979851
32.09/32.17	o 1387853979850
32.49/32.59	o 1339075234760
32.90/32.94	o 1325139492761
33.09/33.13	o 1318171621761
33.29/33.33	o 1311203750761
33.39/33.41	o 1311200102661
33.49/33.53	o 1311200102660
33.59/33.62	o 1304232231660
33.59/33.69	o 1297264360660
33.79/33.80	o 1297260712560
33.89/33.92	o 1297260712559
33.99/34.04	o 1290292841559
34.11/34.15	o 1283324970559
34.19/34.27	o 1276357099559
34.49/34.52	o 1269396524759
34.69/34.79	o 1262428653759
34.79/34.86	o 1255460782759
34.89/34.93	o 1248492911759
35.09/35.12	o 1241525040759
35.21/35.29	o 1234557169759
35.49/35.50	o 1234553521659
35.49/35.59	o 1227585650659
35.69/35.79	o 1220617779659
35.89/35.93	o 1213649908659
35.99/36.09	o 1206682037659
36.19/36.28	o 1206678389563
36.31/36.39	o 1199710518563
36.59/36.61	o 1192742647563
36.59/36.68	o 1185774776563
36.99/37.01	o 1178803257461
37.09/37.18	o 1171835386461
37.41/37.43	o 1164867515462
37.49/37.56	o 1157899644462
37.69/37.75	o 1150935421562
38.09/38.15	o 1143967550562
38.69/38.77	o 1137003327664
38.89/38.94	o 1130035456664
39.09/39.12	o 1123067585664
39.19/39.24	o 1123063937564
39.39/39.41	o 1116099714664
39.49/39.58	o 1116096066564
39.79/39.89	o 1109128195564
40.59/40.68	o 1102160324564
41.09/41.13	o 1095192453565
41.39/41.46	o 1088224582565
41.59/41.63	o 1088220934465
41.99/42.08	o 1081253063465
42.29/42.33	o 1074288840565
42.49/42.57	o 1074285192465
42.69/42.79	o 1067317321465
42.79/42.87	o 1060349450465
42.91/42.95	o 1053381579465
42.99/43.04	o 1053377931365
43.09/43.11	o 1046410060365
43.29/43.35	o 1046406412265
43.89/43.93	o 1039438541265
44.19/44.22	o 1032470670265
44.29/44.39	o 1025502799265
44.79/44.88	o 1018534928265
45.11/45.17	o 1018531280165
45.29/45.33	o 1018527632065
45.69/45.74	o 1011563409165
45.79/45.89	o 1004595538165
45.99/46.04	o 997631315265
46.69/46.74	o 997627667165
46.99/47.02	o 997624019065
47.31/47.36	o 997624019064
47.49/47.50	o 997620370964
47.69/47.77	o 997616722864
47.99/48.02	o 997613074765
48.09/48.19	o 990652499965
48.19/48.27	o 990648851865
48.41/48.48	o 983695573265
48.49/48.56	o 976727702265
48.59/48.65	o 976724054165
48.69/48.74	o 969756183165
48.89/48.91	o 969748886965
48.99/49.01	o 962781015965
49.09/49.16	o 955813144965
49.19/49.26	o 948845273965
49.29/49.37	o 941877402965
49.51/49.57	o 941873754865
49.69/49.71	o 934905883865
49.79/49.87	o 934902235765
49.99/50.02	o 927934364765
50.09/50.15	o 920973789965
50.29/50.35	o 920970141865
50.49/50.56	o 920966493765
50.61/50.63	o 913998622765
50.79/50.88	o 913994974665
50.89/50.96	o 907027103665
50.99/51.09	o 907023455565
51.09/51.16	o 900055584565
51.19/51.24	o 893087713565
51.39/51.43	o 886119842565
51.59/51.64	o 886119842564
51.71/51.74	o 879151971564
51.79/51.83	o 872184100564
51.89/51.92	o 865216229564
51.99/52.03	o 865208933364
52.19/52.22	o 858241062364
52.29/52.36	o 858237414264
52.49/52.59	o 851269543264
52.80/52.82	o 844305320364
52.89/52.99	o 837337449364
53.69/53.72	o 830369578364
53.91/53.97	o 823398059264
54.29/54.32	o 823398059263
54.59/54.68	o 809480557766
54.69/54.78	o 809476909666
54.79/54.86	o 809476909665
55.01/55.02	o 809473261565
55.59/55.61	o 809469613465
55.59/55.68	o 802501742465
55.79/55.89	o 802498094365
56.11/56.16	o 795530223365
56.49/56.57	o 788562352365
56.69/56.73	o 788558704265
56.79/56.89	o 781590833265
57.09/57.12	o 774622962265
57.29/57.30	o 774619314165
57.69/57.71	o 767651443165
57.79/57.80	o 767647795065
57.89/57.95	o 760679924065
58.69/58.73	o 760676275967
59.09/59.18	o 753712053066
60.19/60.23	o 746744182066
60.51/60.53	o 739776311066
60.79/60.84	o 732808440066
60.99/61.05	o 732804791966
62.71/62.74	o 725855161520
62.79/62.86	o 718890938620
62.89/62.98	o 718890938619
62.99/63.08	o 718887290520
63.39/63.40	o 718883642420
63.99/64.01	o 718879994320
64.39/64.40	o 718876346220
64.59/64.68	o 711908475220
64.79/64.82	o 711904827121
64.91/64.93	o 711901179023
65.09/65.14	o 697980029423
65.19/65.27	o 691012158423
65.39/65.46	o 684066176023
65.59/65.67	o 684062527923
65.69/65.77	o 684058879824
65.89/65.96	o 677094656924
66.49/66.51	o 670126785924
66.59/66.62	o 670123137824
66.89/66.96	o 670119489724
67.19/67.25	o 663151618724
67.29/67.37	o 663151618723
68.49/68.50	o 649212228622
69.59/69.61	o 642244357622
70.09/70.12	o 642240709522
70.19/70.24	o 642237061422
70.49/70.51	o 642237061421
70.59/70.68	o 635269190421
70.89/70.92	o 628301319421
70.99/71.06	o 621333448421
71.19/71.22	o 621329800321
71.89/71.92	o 614376521728
71.99/72.00	o 614372873629
72.19/72.29	o 600455372129
72.39/72.41	o 593487501129
72.49/72.51	o 579555407229
72.60/72.62	o 579551759129
72.69/72.75	o 572583888134
72.89/72.94	o 572583888133
72.99/73.05	o 572580240033
73.19/73.25	o 565612369033
73.70/73.77	o 565608720933
74.19/74.23	o 558644498033
74.69/74.72	o 551676627033
74.80/74.82	o 544708756033
75.29/75.34	o 544708756032
75.59/75.61	o 537740885032
75.79/75.90	o 537733588832
75.99/76.01	o 537733588831
76.29/76.32	o 530765717831
77.39/77.49	o 530762069731
78.19/78.23	o 523797846831
79.09/79.14	o 516833623931
79.69/79.71	o 516829975830
80.09/80.15	o 509865752931
80.19/80.28	o 502905178131
80.39/80.40	o 502905178130
80.59/80.69	o 502901530030
80.79/80.80	o 502897881930
81.09/81.15	o 495930010930
82.69/82.74	o 488962139930
82.99/83.06	o 488958491830
83.09/83.18	o 488954843730
83.29/83.30	o 488951195630
83.29/83.39	o 488947547530
83.39/83.48	o 488947547529
83.49/83.58	o 481979676528
83.60/83.69	o 475015453628
83.79/83.83	o 468047582629
83.99/84.03	o 461083359732
84.19/84.26	o 454119136832
84.59/84.61	o 447165858234
84.70/84.73	o 440201635334
84.89/84.90	o 433233764333
84.99/85.05	o 426269541434
85.09/85.15	o 426269541433
85.49/85.55	o 419301670433
85.69/85.71	o 419294374233
85.89/85.91	o 412333799432
85.99/86.05	o 412330151333
86.09/86.16	o 412326503234
86.39/86.41	o 398405353634
86.59/86.61	o 398405353633
86.79/86.81	o 391437482633
87.09/87.15	o 384469611633
87.39/87.49	o 384465963533
87.49/87.59	o 377498092533
87.79/87.85	o 370530221533
88.39/88.45	o 363562350533
88.99/89.10	o 363558702433
89.19/89.20	o 363555054333
89.39/89.43	o 363555054332
89.49/89.51	o 356587183332
89.89/89.96	o 349622960432
91.09/91.10	o 342655089432
91.19/91.29	o 328719347432
91.31/91.39	o 328715699332
92.40/92.43	o 321766068833
93.19/93.29	o 314798197833
93.39/93.41	o 307830326833
93.59/93.65	o 307830326832
93.69/93.76	o 307830326831
94.39/94.44	o 300862455831
94.69/94.75	o 293894584831
94.89/94.91	o 293890936731
95.39/95.41	o 293887288631
96.09/96.20	o 286923065731
96.81/96.86	o 286919417631
96.89/96.98	o 279955194731
97.19/97.23	o 272990971831
97.29/97.34	o 266023100832
98.19/98.25	o 259062526032
98.79/98.81	o 259058877932
98.89/98.93	o 259055229832
99.39/99.45	o 252098303134
99.49/99.58	o 252098303133
100.89/100.90	o 245130432133
100.99/101.00	o 231194690133
101.09/101.15	o 231191042033
101.59/101.65	o 231187393934
101.89/101.98	o 231183745834
102.99/103.00	o 224215874841
103.09/103.18	o 217248003840
104.39/104.43	o 217248003839
104.79/104.85	o 217248003838
106.39/106.41	o 210287429039
107.59/107.66	o 210283780940
108.49/108.50	o 203323206140
108.79/108.87	o 196355335140
109.59/109.60	o 196351687040
110.39/110.45	o 189391112240
112.49/112.58	o 182456074141
112.79/112.84	o 182456074140
113.09/113.16	o 182452426041
113.31/113.37	o 182452426040
113.39/113.46	o 182452426039
113.49/113.59	o 182452426038
114.19/114.24	o 175484555043
114.29/114.40	o 175480906943
118.59/118.66	o 175477258857
120.49/120.53	o 175477258856
120.59/120.68	o 175473610756
120.69/120.78	o 175469962656
121.39/121.41	o 168509387863
121.49/121.51	o 168509387862
121.59/121.61	o 168509387861
121.69/121.78	o 168505739761
125.59/125.64	o 161599886467
125.89/125.99	o 161599886466
126.39/126.44	o 161596238366
127.39/127.45	o 161596238365
127.69/127.71	o 161596238364
127.89/127.90	o 161596238363
128.19/128.22	o 161592590263
128.39/128.41	o 161588942163
128.49/128.52	o 161585294063
128.71/128.74	o 161581645963
129.09/129.12	o 161577997865
134.29/134.30	o 154617423077
134.79/134.82	o 154617423076
135.39/135.44	o 147664144474
135.89/135.96	o 147660496375
136.19/136.29	o 140692625376
136.89/136.96	o 140688977276
136.99/137.07	o 140685329176
137.19/137.27	o 140685329175
137.59/137.62	o 140681681075
140.89/140.99	o 140681681074
141.09/141.12	o 140681681073
141.79/141.87	o 140678032973
145.49/145.55	o 126753235275
145.69/145.71	o 126753235274
146.39/146.44	o 126753235273
146.49/146.55	o 126753235272
146.79/146.88	o 126753235271
147.59/147.65	o 126753235270
149.89/149.98	o 105864214671
150.79/150.82	o 105864214670
150.99/151.02	o 105860566570
151.09/151.11	o 98892695570
151.49/151.57	o 91950361270
151.59/151.66	o 91946713170
151.69/151.79	o 91943065070
151.99/152.01	o 91939416972
152.49/152.59	o 91939416971
152.59/152.69	o 91939416969
152.91/152.96	o 84971545970
153.29/153.31	o 78010971171
153.39/153.47	o 78010971170
153.69/153.75	o 78007323070
154.01/154.04	o 78003674970
154.59/154.68	o 78003674969
155.29/155.38	o 78003674967
156.10/156.15	o 78000026867
156.49/156.52	o 78000026866
156.99/157.01	o 77992730666
159.99/160.05	o 77992730665
160.29/160.35	o 77992730664
160.69/160.77	o 77992730663
160.89/160.90	o 77992730662
161.19/161.29	o 77989082562
161.39/161.45	o 77985434462
161.71/161.76	o 77985434461
161.99/162.05	o 71028507761
162.99/163.08	o 64075229160
167.39/167.40	o 50161375759
167.59/167.67	o 50157727659
167.69/167.80	o 50157727658
170.79/170.86	o 43219041449
173.49/173.50	o 36258466649
173.59/173.69	o 36258466648
173.99/174.10	o 36258466647
174.69/174.74	o 29294243748
174.80/174.84	o 29290595648
175.39/175.48	o 29290595647
175.69/175.71	o 29286947547
176.29/176.30	o 29286947545
176.49/176.51	o 29286947544
177.69/177.73	o 29283299445
178.21/178.26	o 29283299444
180.99/181.05	o 29279651351
181.19/181.22	o 29279651350
182.50/182.54	o 29257762750
183.19/183.21	o 29257762749
184.09/184.13	o 29254114649
184.81/184.88	o 29250466549
185.69/185.70	o 29246818449
189.59/189.64	o 29246818447
189.69/189.79	o 29243170349
189.89/189.91	o 29239522251
189.99/190.05	o 29239522250
191.79/191.89	o 29239522249
192.29/192.33	o 29235874149
192.51/192.53	o 29235874148
192.69/192.78	o 29232226049
193.39/193.47	o 29228577949
193.89/193.95	o 29228577948
193.99/194.05	o 29221281749
194.39/194.44	o 29221281748
194.60/194.63	o 29221281747
199.19/199.24	o 29217633647
199.79/199.87	o 29217633646
202.49/202.54	o 29217633645
202.59/202.65	o 29217633644
207.59/207.68	o 29213985545
212.09/212.14	o 29210337447
215.61/215.68	o 29206689347
216.79/216.81	o 29206689346
221.00/221.05	o 29203041247
224.41/224.46	o 29203041246
229.69/229.70	o 29192096941
230.39/230.49	o 29192096940
230.59/230.68	o 29192096939
231.01/231.07	o 29192096938
231.19/231.23	o 29192096937
231.39/231.43	o 29192096935
231.59/231.62	o 29192096934
231.69/231.74	o 29192096933
231.79/231.87	o 29192096932
231.89/231.98	o 29192096931
232.49/232.50	o 29192096930
233.39/233.41	o 29192096929
233.69/233.71	o 29162912129
233.79/233.84	o 29159264029
233.99/234.06	o 29159264028
234.20/234.30	o 29155615930
234.49/234.52	o 29155615929
234.69/234.77	o 29151967830
235.49/235.58	o 29148319731
235.69/235.72	o 29148319730
235.79/235.89	o 29144671631
235.89/236.00	o 29144671630
236.09/236.16	o 29141023533
236.19/236.26	o 29141023532
236.29/236.35	o 29141023531
236.40/236.43	o 29141023530
236.51/236.52	o 29137375430
236.59/236.68	o 29133727330
236.79/236.81	o 29130079230
236.99/237.03	o 29130079228
237.19/237.21	o 29126431130
237.39/237.43	o 29122783031
237.50/237.55	o 29122783030
237.61/237.66	o 29122783029
237.79/237.82	o 29119134929
237.89/237.91	o 29115486829
237.89/237.99	o 29111838729
237.99/238.08	o 29108190629
238.09/238.19	o 29104542529
238.60/238.68	o 29100894431
238.71/238.80	o 29100894430
238.99/239.04	o 29097246337
239.19/239.22	o 29097246335
239.29/239.33	o 29097246334
239.39/239.47	o 29097246333
239.49/239.57	o 29097246332
239.89/239.90	o 29093598234
239.89/240.00	o 29093598233
240.09/240.19	o 29093598232
240.39/240.43	o 29089950133
240.49/240.54	o 29089950132
240.80/240.83	o 29086302036
240.91/240.92	o 29086302034
240.99/241.01	o 29086302033
241.09/241.11	o 29086302032
241.39/241.45	o 29079005835
241.49/241.54	o 29079005833
241.59/241.67	o 29079005832
241.79/241.89	o 29079005831
242.09/242.17	o 29075357734
242.19/242.27	o 29075357733
242.29/242.37	o 29075357732
242.49/242.59	o 29075357731
242.79/242.83	o 29075357730
243.00/243.10	o 29075357729
243.29/243.33	o 29075357728
243.49/243.59	o 29075357727
243.79/243.89	o 29071709629
243.89/243.99	o 29071709628
243.99/244.08	o 29071709627
244.29/244.39	o 29068061531
244.39/244.48	o 29068061530
244.49/244.57	o 29068061529
244.59/244.66	o 29068061528
244.69/244.78	o 29068061527
245.09/245.11	o 29064413429
245.20/245.21	o 29064413428
245.31/245.33	o 29064413427
245.59/245.66	o 29060765329
245.69/245.76	o 29060765328
245.79/245.85	o 29060765327
246.19/246.20	o 29057117230
246.19/246.29	o 29057117229
246.30/246.38	o 29057117228
246.41/246.49	o 29057117227
246.79/246.80	o 29053469130
246.79/246.90	o 29053469129
246.89/246.98	o 29053469128
247.09/247.10	o 29053469127
247.40/247.42	o 29049821030
247.51/247.52	o 29049821029
247.59/247.61	o 29049821028
247.69/247.72	o 29049821027
247.99/248.04	o 29046172929
248.09/248.14	o 29046172928
248.19/248.23	o 29046172927
248.50/248.54	o 29042524831
248.61/248.64	o 29042524830
248.69/248.73	o 29042524829
248.79/248.83	o 29042524828
248.89/248.92	o 29042524827
249.19/249.22	o 29038876730
249.29/249.32	o 29038876729
249.39/249.41	o 29038876728
249.49/249.51	o 29038876727
249.71/249.75	o 29038876726
249.89/249.98	o 29035228628
249.99/250.08	o 29035228627
250.09/250.17	o 29035228626
250.29/250.39	o 29035228625
250.59/250.67	o 29031580528
250.70/250.76	o 29031580527
250.81/250.86	o 29031580526
250.89/250.99	o 29031580525
251.39/251.41	o 29031580524
251.69/251.74	o 29031580523
251.80/251.86	o 29027932425
251.91/251.99	o 29027932424
252.29/252.34	o 29024284326
252.39/252.44	o 29024284325
252.49/252.53	o 29024284324
252.90/252.92	o 29020636227
253.01/253.02	o 29020636226
253.09/253.13	o 29020636225
253.19/253.26	o 29020636224
253.49/253.53	o 29016988125
253.59/253.63	o 29016988124
253.89/253.96	o 29013340025
254.00/254.08	o 29013340024
254.29/254.31	o 29009691924
254.49/254.56	o 29009691923
254.69/254.70	o 29006043826
254.79/254.82	o 29006043825
254.89/254.96	o 29006043824
255.10/255.16	o 29006043823
255.21/255.29	o 29002395726
255.39/255.43	o 29002395725
255.49/255.57	o 29002395724
255.69/255.79	o 29002395723
255.89/255.93	o 28998747626
255.99/256.05	o 28998747625
256.09/256.15	o 28998747624
256.31/256.39	o 28998747623
256.49/256.53	o 28995099525
256.59/256.66	o 28995099524
256.99/257.07	o 28991451426
257.09/257.18	o 28991451425
257.19/257.28	o 28991451424
257.59/257.60	o 28991451423
257.59/257.69	o 28987803324
257.89/257.92	o 28987803323
258.09/258.14	o 28987803322
258.19/258.28	o 28984155225
258.40/258.45	o 28984155224
258.51/258.57	o 28984155223
258.99/259.06	o 28980507124
259.09/259.16	o 28980507123
259.61/259.65	o 28980507122
259.79/259.81	o 28980507121
259.89/259.93	o 28976859024
259.99/260.05	o 28976859023
260.09/260.15	o 28976859022
260.60/260.61	o 28973210924
260.60/260.71	o 28973210923
260.79/260.84	o 28973210922
260.99/261.01	o 28973210921
261.09/261.11	o 28969562822
261.39/261.43	o 28969562821
261.49/261.53	o 28965914722
261.69/261.72	o 28962266624
261.81/261.83	o 28962266623
261.89/261.94	o 28962266622
262.09/262.20	o 28958618522
262.29/262.38	o 28958618521
262.49/262.51	o 28954970423
262.59/262.65	o 28954970422
262.80/262.83	o 28951322324
262.91/262.93	o 28951322323
262.99/263.08	o 28951322322
263.19/263.28	o 28951322321
263.29/263.38	o 28947674223
263.49/263.51	o 28947674222
263.59/263.69	o 28944026123
263.79/263.80	o 28944026122
263.89/263.94	o 28944026121
264.01/264.08	o 28944026120
264.29/264.32	o 28940378021
264.69/264.72	o 28936729925
264.89/264.94	o 28933081827
264.99/265.06	o 28933081826
265.11/265.18	o 28933081825
265.29/265.38	o 28929433726
265.49/265.53	o 28929433725
265.69/265.75	o 28925785625
266.09/266.16	o 28925785624
266.49/266.51	o 28922137528
266.59/266.63	o 28922137527
266.69/266.73	o 28922137526
266.79/266.88	o 28922137524
267.19/267.21	o 28922137523
267.59/267.64	o 28918489424
267.69/267.74	o 28918489423
268.09/268.16	o 28918489422
268.41/268.45	o 28918489421
268.59/268.66	o 28918489420
270.19/270.29	o 28914841323
270.39/270.40	o 28914841322
270.49/270.51	o 28914841321
270.61/270.67	o 28914841320
271.19/271.20	o 28911193226
271.29/271.30	o 28911193225
271.39/271.44	o 28911193224
271.49/271.55	o 28911193223
271.79/271.84	o 28911193222
272.09/272.10	o 28911193221
272.39/272.50	o 28911193220
272.89/272.97	o 28911193219
273.49/273.57	o 28911193218
274.09/274.13	o 28907545123
274.19/274.24	o 28907545122
274.29/274.34	o 28907545120
274.59/274.61	o 28907545119
274.69/274.77	o 28907545118
275.29/275.36	o 28903897019
275.49/275.53	o 28903897018
275.89/275.93	o 28903897017
276.19/276.28	o 28900248918
276.29/276.39	o 28900248917
276.69/276.73	o 28900248916
277.39/277.47	o 28896600817
277.49/277.56	o 28896600816
277.89/277.99	o 28892952718
277.99/278.09	o 28892952717
278.19/278.21	o 28892952716
278.49/278.55	o 28889304619
278.59/278.65	o 28889304618
278.69/278.76	o 28889304617
278.79/278.88	o 28889304616
279.29/279.32	o 28885656516
279.69/279.73	o 28882008418
279.79/279.89	o 28882008417
279.99/280.03	o 28882008416
280.51/280.58	o 28882008415
281.69/281.76	o 28878360320
281.79/281.86	o 28878360319
281.89/281.97	o 28878360318
281.99/282.07	o 28878360317
282.09/282.16	o 28878360316
282.29/282.30	o 28878360315
282.89/282.94	o 28874712220
282.99/283.03	o 28874712219
283.09/283.15	o 28874712218
283.19/283.25	o 28874712217
283.29/283.37	o 28874712216
283.59/283.60	o 28874712215
283.99/284.01	o 28871064120
284.09/284.10	o 28871064119
284.09/284.19	o 28871064117
284.19/284.29	o 28871064116
284.29/284.39	o 28871064115
284.79/284.87	o 28867416019
284.91/284.97	o 28867416018
284.99/285.07	o 28867416017
285.09/285.16	o 28867416016
285.19/285.27	o 28867416015
285.69/285.73	o 28863767921
285.79/285.82	o 28863767920
285.89/285.91	o 28863767919
285.89/286.00	o 28863767918
286.09/286.10	o 28863767917
286.19/286.21	o 28863767916
286.39/286.46	o 28863767915
286.99/287.01	o 28863767914
286.99/287.10	o 28860119815
289.09/289.11	o 28856471717
289.19/289.31	o 28856471716
289.39/289.49	o 28856471715
290.29/290.38	o 28856471714
290.99/291.08	o 28852823616
291.29/291.33	o 28852823615
291.51/291.59	o 28852823614
291.99/292.06	o 28852823613
292.09/292.20	o 28849175519
292.19/292.29	o 28849175518
292.29/292.38	o 28849175517
292.39/292.47	o 28849175516
292.49/292.58	o 28849175515
292.61/292.68	o 28849175514
294.29/294.31	o 28845527414
294.49/294.55	o 28845527413
294.89/294.99	o 28845527412
295.39/295.45	o 28841879315
295.49/295.58	o 28841879313
295.69/295.70	o 28841879312
296.79/296.82	o 28841879311
297.69/297.71	o 28841879310
297.79/297.83	o 28838231211
298.79/298.81	o 28834583111
299.29/299.33	o 28830935014
299.39/299.43	o 28830935013
299.49/299.52	o 28830935012
299.59/299.65	o 28830935011
300.69/300.71	o 28827286914
300.79/300.80	o 28827286912
300.89/300.94	o 28827286911
301.99/302.01	o 28827286910
302.89/302.94	o 28823638812
303.09/303.11	o 28823638811
303.19/303.28	o 28823638810
303.69/303.73	o 28819990713
303.79/303.84	o 28819990712
303.89/303.94	o 28819990711
303.99/304.09	o 28819990710
304.60/304.68	o 28819990709
306.59/306.66	o 28816342610
306.99/307.04	o 28816342609
307.49/307.55	o 28812694514
307.59/307.66	o 28812694513
307.69/307.78	o 28812694512
307.79/307.89	o 28812694511
307.90/307.99	o 28812694510
308.09/308.11	o 28812694509
308.29/308.37	o 28812694508
308.59/308.69	o 28809046412
308.69/308.79	o 28809046411
308.79/308.89	o 28809046410
309.00/309.01	o 28809046409
309.19/309.22	o 28809046408
309.59/309.64	o 28805398311
309.69/309.73	o 28805398310
309.79/309.83	o 28805398309
309.89/309.94	o 28805398308
310.29/310.32	o 28801750214
310.39/310.41	o 28801750213
310.49/310.51	o 28801750212
310.59/310.60	o 28801750211
310.69/310.70	o 28801750210
310.79/310.82	o 28801750209
310.89/310.94	o 28801750208
311.39/311.43	o 28798102108
311.79/311.82	o 28798102107
312.19/312.20	o 28794454010
312.30/312.31	o 28794454009
312.41/312.44	o 28794454008
312.59/312.62	o 28794454007
312.89/312.94	o 28790805912
312.99/313.05	o 28790805911
313.09/313.15	o 28790805910
313.19/313.28	o 28790805909
313.40/313.41	o 28790805908
313.59/313.61	o 28790805907
313.89/313.94	o 28790805906
313.99/314.05	o 28787157808
314.09/314.15	o 28787157807
314.50/314.54	o 28783509709
314.61/314.63	o 28783509708
314.79/314.82	o 28783509707
315.29/315.32	o 28779861612
315.39/315.42	o 28779861611
315.49/315.52	o 28779861610
315.60/315.62	o 28779861609
315.89/315.90	o 28779861608
316.39/316.43	o 28776213511
316.49/316.53	o 28776213510
316.59/316.63	o 28776213509
316.70/316.75	o 28776213508
317.29/317.30	o 28772565412
317.39/317.40	o 28772565411
317.39/317.49	o 28772565410
317.59/317.62	o 28772565409
317.69/317.75	o 28772565408
318.29/318.30	o 28768917310
318.39/318.41	o 28768917309
318.39/318.50	o 28768917308
319.09/319.17	o 28765269209
319.39/319.45	o 28765269208
319.89/319.93	o 28765269207
320.11/320.15	o 28761621111
320.19/320.28	o 28761621110
320.29/320.39	o 28761621109
320.59/320.61	o 28761621108
321.10/321.12	o 28757973012
321.21/321.22	o 28757973011
321.29/321.32	o 28757973010
321.39/321.43	o 28757973009
321.49/321.56	o 28757973008
322.20/322.25	o 28757973007
323.41/323.43	o 28754324913
323.49/323.53	o 28754324912
323.59/323.64	o 28754324911
323.69/323.76	o 28754324910
323.79/323.89	o 28754324909
323.99/324.07	o 28754324908
324.19/324.20	o 28754324907
324.79/324.84	o 28750676808
324.89/324.95	o 28750676807
325.39/325.47	o 28747028709
325.50/325.57	o 28747028708
325.69/325.72	o 28747028707
326.39/326.48	o 28743380609
326.60/326.65	o 28743380608
327.09/327.19	o 28743380607
327.70/327.78	o 28739732507
330.39/330.40	o 28736084410
330.50/330.54	o 28736084409
331.50/331.52	o 28736084408
332.10/332.16	o 28736084407
333.50/333.52	o 28732436312
333.60/333.64	o 28732436311
333.70/333.73	o 28732436310
333.80/333.82	o 28732436309
334.10/334.11	o 28732436308
334.20/334.31	o 28732436307
334.50/334.56	o 28732436306
334.80/334.82	o 28732436305
335.20/335.29	o 28732436304
335.60/335.65	o 28732436303
336.00/336.05	o 28732436302
336.30/336.37	o 28732436301
336.62/336.69	o 28732436300
336.80/336.88	o 28728788202
336.90/336.99	o 28728788201
337.30/337.35	o 28728788200
337.60/337.65	o 28728788199
337.90/337.91	o 28728788198
338.00/338.08	o 28728788197
338.20/338.26	o 28725140098
338.30/338.37	o 28725140097
338.60/338.63	o 28721491998
338.71/338.80	o 28721491997
338.90/338.97	o 28717843897
340.60/340.64	o 28717843896
342.80/342.85	o 28717843895
343.90/343.99	o 28714195799
344.10/344.12	o 28714195798
344.21/344.28	o 28714195797
344.40/344.41	o 28714195796
344.50/344.54	o 28714195795
344.80/344.87	o 28714195794
345.30/345.33	o 28710547703
345.42/345.43	o 28710547702
345.50/345.52	o 28710547701
345.60/345.62	o 28710547700
345.70/345.73	o 28710547698
345.80/345.87	o 28710547697
346.20/346.20	o 28706899604
346.30/346.30	o 28706899603
346.30/346.40	o 28706899602
346.41/346.50	o 28706899601
346.60/346.60	o 28706899600
346.80/346.83	o 28706899599
346.90/346.98	o 28706899598
347.10/347.11	o 28706899597
347.90/347.94	o 28703251505
348.00/348.05	o 28703251504
348.20/348.27	o 28703251503
348.30/348.39	o 28703251502
348.40/348.49	o 28703251501
348.61/348.62	o 28703251500
348.72/348.76	o 28703251499
348.90/348.96	o 28703251498
349.10/349.12	o 28703251497
349.50/349.51	o 28699603405
349.60/349.63	o 28699603404
349.82/349.83	o 28699603403
350.00/350.01	o 28699603402
350.20/350.22	o 28699603401
350.30/350.38	o 28699603400
350.50/350.54	o 28699603399
350.70/350.73	o 28699603398
350.80/350.88	o 28699603397
351.20/351.26	o 28695955303
351.30/351.36	o 28695955302
351.40/351.45	o 28695955301
351.50/351.56	o 28695955300
351.60/351.66	o 28695955298
351.80/351.80	o 28695955297
352.20/352.23	o 28692307213
352.30/352.35	o 28692307212
352.40/352.45	o 28692307211
352.50/352.55	o 28692307210
352.60/352.65	o 28692307209
353.20/353.27	o 28688659113
353.30/353.37	o 28688659112
353.40/353.48	o 28688659110
353.90/353.91	o 28685011016
354.00/354.02	o 28685011015
354.11/354.14	o 28685011014
354.22/354.28	o 28685011013
354.40/354.42	o 28685011012
354.50/354.56	o 28685011011
354.70/354.75	o 28685011010
355.60/355.67	o 28681362918
355.70/355.78	o 28681362917
355.90/355.92	o 28681362916
356.00/356.03	o 28681362915
356.10/356.18	o 28681362914
356.20/356.30	o 28681362913
356.42/356.43	o 28681362912
356.50/356.58	o 28681362911
356.70/356.76	o 28681362910
357.10/357.10	o 28681362909
357.41/357.44	o 28677714813
357.52/357.55	o 28677714812
357.60/357.64	o 28677714811
357.70/357.74	o 28677714810
357.90/357.92	o 28677714809
358.20/358.29	o 28674066714
358.30/358.39	o 28674066712
358.50/358.52	o 28674066711
358.62/358.62	o 28674066710
358.70/358.79	o 28674066709
359.10/359.19	o 28670418614
359.20/359.29	o 28670418613
359.30/359.40	o 28670418612
359.40/359.49	o 28670418611
359.50/359.59	o 28670418610
359.72/359.71	o 28670418609
360.00/360.09	o 28666770514
360.10/360.19	o 28666770513
360.20/360.29	o 28666770512
360.30/360.39	o 28666770511
360.50/360.52	o 28666770510
360.71/360.73	o 28666770509
361.10/361.11	o 28663122415
361.20/361.21	o 28663122414
361.30/361.31	o 28663122412
361.40/361.44	o 28663122411
361.60/361.60	o 28663122410
361.70/361.72	o 28663122409
362.10/362.10	o 28659474313
362.20/362.20	o 28659474312
362.30/362.30	o 28659474311
362.40/362.42	o 28659474310
362.50/362.55	o 28659474309
363.10/363.13	o 28655826215
363.20/363.26	o 28655826213
363.40/363.47	o 28655826212
363.90/363.91	o 28655826211
365.00/365.00	o 28655826210
365.30/365.37	o 28652178117
365.40/365.48	o 28652178116
365.50/365.57	o 28652178115
365.60/365.68	o 28652178114
365.70/365.79	o 28652178113
365.90/365.93	o 28652178112
366.00/366.09	o 28652178111
366.50/366.53	o 28652178110
366.90/366.98	o 28648530013
367.00/367.08	o 28648530012
367.10/367.20	o 28648530011
367.50/367.55	o 28648530010
367.90/367.96	o 28648530009
368.30/368.40	o 28644881913
368.40/368.50	o 28644881912
368.60/368.60	o 28644881911
368.70/368.70	o 28644881910
368.80/368.82	o 28644881909
369.30/369.37	o 28641233816
369.40/369.49	o 28641233815
369.50/369.59	o 28641233813
369.62/369.69	o 28641233812
369.80/369.82	o 28641233811
369.90/369.93	o 28641233810
370.20/370.23	o 28641233809
370.61/370.69	o 28637585716
370.80/370.80	o 28637585715
370.90/370.93	o 28637585713
371.00/371.09	o 28637585712
371.20/371.21	o 28637585711
371.30/371.39	o 28637585710
371.60/371.60	o 28637585709
372.00/372.02	o 28633937610
372.20/372.29	o 28633937609
372.70/372.79	o 28633937608
374.50/374.56	o 28633937607
375.11/375.12	o 28630289515
375.20/375.24	o 28630289514
375.30/375.35	o 28630289513
375.50/375.52	o 28630289512
375.60/375.69	o 28630289511
375.90/375.93	o 28630289510
376.00/376.10	o 28630289509
376.60/376.65	o 28626641414
376.70/376.75	o 28626641413
376.80/376.85	o 28626641412
376.90/376.95	o 28626641410
377.00/377.08	o 28626641409
378.30/378.34	o 28622993318
378.42/378.45	o 28622993317
378.50/378.56	o 28622993316
378.60/378.66	o 28622993315
378.70/378.77	o 28622993314
378.80/378.88	o 28622993313
379.00/379.00	o 28622993312
379.10/379.12	o 28622993311
379.20/379.23	o 28622993310
379.80/379.86	o 28619345216
379.90/379.97	o 28619345215
380.00/380.07	o 28619345214
380.10/380.17	o 28619345213
380.20/380.27	o 28619345212
380.30/380.39	o 28619345211
380.80/380.84	o 28619345210
381.90/381.97	o 28619345209
383.10/383.19	o 28615697111
383.50/383.54	o 28615697110
383.80/383.86	o 28615697109
385.80/385.81	o 28615697108
386.00/386.02	o 28612049011
386.20/386.26	o 28612049010
386.50/386.53	o 28612049009
388.70/388.75	o 28612049008
390.20/390.23	o 28612049007
391.51/391.54	o 28608400912
391.62/391.69	o 28608400911
391.70/391.79	o 28608400910
392.20/392.21	o 28608400909
392.50/392.53	o 28608400908
393.00/393.08	o 28608400907
395.70/395.79	o 28608400906
397.70/397.73	o 28604752807
397.80/397.83	o 28604752806
403.60/403.69	o 28604752805
406.20/406.24	o 28601104708
407.50/407.50	o 28601104707
409.10/409.17	o 28601104706
410.60/410.67	o 28597456612
410.70/410.78	o 28597456611
410.80/410.88	o 28597456610
411.00/411.00	o 28597456609
411.20/411.24	o 28597456608
411.42/411.46	o 28597456607
411.70/411.75	o 28597456606
412.20/412.25	o 28597456605
412.60/412.63	o 28593808509
412.70/412.79	o 28593808508
413.62/413.66	o 28593808507
415.00/415.07	o 28593808506
415.40/415.48	o 28593808505
416.20/416.27	o 28590160409
416.40/416.42	o 28590160408
416.50/416.55	o 28590160407
417.00/417.05	o 28590160406
417.60/417.67	o 28590160405
417.90/418.00	o 28590160404
423.10/423.13	o 28590160403
423.60/423.65	o 28586512305
425.80/425.89	o 28586512304
427.80/427.87	o 28586512303
431.50/431.52	o 28582864207
431.60/431.63	o 28582864206
431.70/431.74	o 28582864205
431.90/431.95	o 28582864204
433.80/433.87	o 28582864203
435.40/435.51	o 28579216106
435.70/435.73	o 28579216105
436.50/436.59	o 28579216104
438.40/438.43	o 28579216103
440.20/440.23	o 28575568006
440.40/440.47	o 28575568005
441.90/441.96	o 28575568004
443.70/443.79	o 28575568003
446.00/446.00	o 28575568002
449.60/449.68	o 28571919905
449.81/449.90	o 28571919904
450.20/450.27	o 28571919903
452.12/452.16	o 28571919902
452.70/452.75	o 28568271804
453.00/453.10	o 28568271803
453.60/453.63	o 28568271802
455.10/455.13	o 28564623705
455.42/455.44	o 28564623704
455.90/455.95	o 28564623703
456.41/456.43	o 28564623702
457.00/457.00	o 28560975607
457.10/457.11	o 28560975606
457.20/457.23	o 28560975605
457.51/457.59	o 28560975604
459.30/459.38	o 28553679409
459.40/459.48	o 28553679408
459.60/459.60	o 28553679407
459.82/459.87	o 28553679406
460.40/460.41	o 28553679405
460.80/460.83	o 28553679404
464.80/464.87	o 28550031306
464.90/464.97	o 28550031305
465.00/465.08	o 28550031304
466.80/466.87	o 28546383206
467.00/467.07	o 28546383205
469.10/469.12	o 28546383204
469.61/469.62	o 28539087013
469.72/469.72	o 28539087012
469.80/469.85	o 28539087011
469.90/469.95	o 28539087010
470.00/470.08	o 28539087009
470.20/470.21	o 28539087008
470.40/470.42	o 28539087007
470.50/470.59	o 28539087006
470.71/470.77	o 28539087005
470.90/470.95	o 28539087004
472.20/472.29	o 28539087003
473.30/473.34	o 28535438909
473.40/473.48	o 28535438908
473.60/473.68	o 28535438907
474.30/474.34	o 28535438906
474.60/474.69	o 28535438905
475.00/475.03	o 28535438904
475.30/475.37	o 28535438903
479.62/479.64	o 28535438902
481.90/481.91	o 28531790809
482.00/482.04	o 28531790808
482.10/482.14	o 28531790807
482.20/482.25	o 28531790806
482.40/482.40	o 28531790805
482.60/482.60	o 28531790804
482.70/482.77	o 28531790803
482.92/482.96	o 28531790802
485.12/485.18	o 28528142705
485.20/485.28	o 28528142704
485.30/485.39	o 28528142703
485.50/485.50	o 28528142702
487.70/487.79	o 28524494607
488.10/488.18	o 28524494606
488.42/488.48	o 28524494605
488.70/488.74	o 28524494604
489.00/489.05	o 28524494603
489.20/489.29	o 28524494602
493.50/493.54	o 28520846508
493.70/493.71	o 28520846507
493.92/493.93	o 28520846506
494.10/494.14	o 28520846505
494.30/494.36	o 28520846504
494.50/494.53	o 28520846503
494.60/494.69	o 28520846502
496.80/496.90	o 28520846501
499.10/499.15	o 28517198404
499.20/499.26	o 28517198403
499.31/499.40	o 28517198402
499.70/499.72	o 28517198401
502.30/502.34	o 28517198400
504.40/504.42	o 28517198399
509.70/509.70	o 28513550305
509.80/509.82	o 28513550304
510.20/510.28	o 28513550303
510.60/510.66	o 28513550302
511.00/511.09	o 28513550301
511.41/511.44	o 28513550300
511.70/511.71	o 28513550299
513.72/513.79	o 28509902208
513.90/513.94	o 28509902207
514.20/514.24	o 28509902206
514.50/514.54	o 28509902205
514.82/514.85	o 28509902204
515.10/515.15	o 28509902203
515.60/515.67	o 28509902202
516.10/516.11	o 28509902201
516.91/516.98	o 28509902200
517.50/517.52	o 28509902199
518.01/518.07	o 28506254102
518.12/518.18	o 28506254101
518.40/518.46	o 28506254100
518.90/518.96	o 28506254099
519.40/519.43	o 28502606008
519.50/519.55	o 28502606007
519.70/519.79	o 28502606006
520.00/520.04	o 28502606005
520.21/520.23	o 28502606004
520.40/520.40	o 28502606003
520.50/520.54	o 28502606002
520.80/520.89	o 28502606001
521.20/521.23	o 28502606000
522.41/522.51	o 28498957904
522.60/522.63	o 28498957903
522.70/522.75	o 28498957902
523.00/523.00	o 28498957901
523.10/523.18	o 28498957900
527.80/527.86	o 28498957899
528.30/528.39	o 28498957898
530.22/530.27	o 28498957897
531.21/531.26	o 28495309798
531.32/531.39	o 28495309797
532.00/532.05	o 28491661705
532.10/532.17	o 28491661704
532.20/532.29	o 28491661703
532.50/532.57	o 28488013605
532.70/532.79	o 28484365507
532.90/532.92	o 28484365506
533.10/533.13	o 28484365505
533.41/533.50	o 28484365504
533.90/533.98	o 28484365503
535.00/535.00	o 28484365502
537.40/537.48	o 28480717408
537.60/537.63	o 28480717407
537.70/537.76	o 28480717406
538.10/538.12	o 28480717405
540.01/540.06	o 28480717404
540.12/540.16	o 28480717403
540.30/540.35	o 28480717402
542.10/542.15	o 28477069309
542.21/542.28	o 28477069308
542.40/542.48	o 28477069307
555.20/555.25	o 28473421208
557.10/557.15	o 28473421207
562.90/562.96	o 28469773108
563.00/563.07	o 28469773107
564.90/564.93	o 28466125006
565.42/565.49	o 28462476907
567.30/567.30	o 28462476906
569.90/569.92	o 28458828812
570.00/570.04	o 28458828811
570.10/570.17	o 28458828810
570.30/570.32	o 28458828809
574.90/574.93	o 28458828808
575.21/575.31	o 28455180710
575.50/575.53	o 28455180709
577.00/577.04	o 28455180708
578.62/578.66	o 28451532610
578.80/578.81	o 28451532609
579.10/579.17	o 28451532608
581.10/581.13	o 28447884508
581.60/581.60	o 28447884507
582.00/582.05	o 28444236408
582.30/582.38	o 28444236407
584.01/584.05	o 28444236406
586.10/586.11	o 28440588306
586.60/586.66	o 28436940210
586.70/586.79	o 28436940209
586.90/586.98	o 28436940208
587.10/587.18	o 28436940207
587.50/587.57	o 28436940206
588.10/588.19	o 28433292107
588.52/588.52	o 28433292106
588.70/588.78	o 28433292105
589.00/589.00	o 28429644008
589.10/589.14	o 28429644007
589.51/589.55	o 28425995910
589.62/589.67	o 28425995909
589.70/589.79	o 28425995908
590.00/590.05	o 28425995907
590.31/590.37	o 28422347807
590.81/590.84	o 28422347806
591.31/591.33	o 28418699708
591.61/591.65	o 28418699707
591.91/591.91	o 28418699705
592.10/592.16	o 28418699704
596.22/596.22	o 28415051603
596.31/596.33	o 28411403504
596.81/596.89	o 28411403503
597.41/597.40	o 28411403502
597.51/597.50	o 28411403501
597.61/597.61	o 28411403500
597.71/597.75	o 28407755404
597.81/597.87	o 28407755403
598.21/598.29	o 28407755402
598.51/598.60	o 28407755401
598.90/598.91	o 28407755400
599.10/599.18	o 28407755399
599.30/599.37	o 28407755398
599.70/599.75	o 28407755397
600.10/600.17	o 28407755396
600.62/600.63	o 28407755395
601.01/601.03	o 28407755394
602.41/602.40	o 28407755393
608.41/608.42	o 28407755392
610.41/610.50	o 28404107294
610.81/610.89	o 28404107293
612.80/612.86	o 28404107292
614.60/614.61	o 28400459192
616.30/616.36	o 28400459191
617.21/617.20	o 28400459190
617.31/617.38	o 28396811093
617.51/617.56	o 28396811092
617.71/617.77	o 28396811091
618.22/618.28	o 28393162993
618.40/618.42	o 28393162992
618.60/618.65	o 28393162991
620.42/620.49	o 28389514894
620.60/620.66	o 28389514893
620.80/620.86	o 28389514892
621.00/621.03	o 28389514891
622.91/622.91	o 28385866793
623.01/623.07	o 28385866792
623.21/623.20	o 28382218693
623.41/623.46	o 28382218692
627.50/627.54	o 28382218691
633.00/633.01	o 28382218690
634.81/634.89	o 28382218689
635.01/635.00	o 28378570590
635.61/635.70	o 28374922494
635.71/635.80	o 28374922493
635.91/635.91	o 28374922492
636.01/636.05	o 28374922491
636.21/636.27	o 28374922490
640.22/640.24	o 28374922488
645.31/645.35	o 28371274397
645.41/645.46	o 28371274396
645.51/645.57	o 28371274395
645.61/645.68	o 28371274394
645.81/645.83	o 28371274393
645.91/645.96	o 28371274392
646.11/646.15	o 28371274391
646.31/646.36	o 28371274390
648.01/648.09	o 28371274389
652.01/652.05	o 28363978195
652.21/652.23	o 28363978194
652.51/652.52	o 28363978193
652.71/652.79	o 28363978192
653.11/653.13	o 28363978191
653.42/653.45	o 28363978190
655.62/655.68	o 28363978189
666.81/666.81	o 28360330096
666.91/666.94	o 28360330095
667.01/667.05	o 28356681996
667.11/667.17	o 28356681995
667.21/667.29	o 28356681994
667.41/667.43	o 28356681993
667.51/667.55	o 28356681992
696.61/696.63	o 28356681991
707.01/707.03	o 28353033894
707.11/707.14	o 28353033893
708.81/708.86	o 28353033892
713.82/713.91	o 28353033891
724.82/724.85	o 28353033890
725.31/725.31	o 28353033889
725.61/725.66	o 28353033888
728.01/728.10	o 28353033887
739.31/739.38	o 28353033886
742.31/742.39	o 28349385795
742.53/742.53	o 28349385794
742.61/742.68	o 28349385793
742.81/742.82	o 28349385792
742.91/742.94	o 28349385791
743.01/743.05	o 28349385790
743.31/743.30	o 28345737690
743.52/743.52	o 28342089590
743.81/743.81	o 28338441490
743.91/743.95	o 28338441489
744.21/744.29	o 28338441488
744.41/744.46	o 28338441487
744.51/744.60	o 28334793388
744.81/744.83	o 28331145288
745.11/745.16	o 28331145287
745.41/745.40	o 28331145286
760.31/760.33	o 28327497197
760.41/760.46	o 28327497196
760.51/760.56	o 28327497195
760.61/760.67	o 28327497194
760.71/760.77	o 28327497193
760.81/760.87	o 28327497192
760.91/760.99	o 28327497191
761.01/761.10	o 28327497190
761.23/761.21	o 28327497189
761.61/761.61	o 28327497188
765.31/765.38	o 28327497187
767.91/767.92	o 28323849093
768.11/768.15	o 28323849092
768.31/768.34	o 28323849091
768.51/768.54	o 28323849090
768.71/768.73	o 28323849089
771.02/771.10	o 28320200995
771.41/771.49	o 28320200994
771.81/771.81	o 28320200993
772.61/772.67	o 28320200992
773.01/773.00	o 28320200991
774.43/774.42	o 28320200990
775.71/775.71	o 28320200989
776.71/776.76	o 28316552895
776.81/776.89	o 28316552894
777.01/777.00	o 28316552893
777.11/777.11	o 28316552892
777.21/777.27	o 28316552891
777.41/777.44	o 28316552890
777.91/777.90	o 28316552889
778.72/778.79	o 28316552888
779.82/779.86	o 28312904795
779.93/779.98	o 28312904794
780.11/780.10	o 28312904793
780.21/780.20	o 28312904792
780.31/780.30	o 28312904791
780.41/780.40	o 28312904790
781.03/781.04	o 28312904789
783.91/783.96	o 28309256698
784.11/784.12	o 28309256697
784.22/784.24	o 28309256696
784.33/784.37	o 28309256695
789.41/789.42	o 28305608601
789.51/789.54	o 28305608600
789.83/789.85	o 28305608599
790.11/790.13	o 28305608598
790.31/790.37	o 28305608597
790.61/790.62	o 28305608596
790.93/790.93	o 28305608595
796.01/796.02	o 28305608594
799.62/799.63	o 28305608593
802.11/802.14	o 28305608592
804.81/804.85	o 28301960495
805.01/805.03	o 28301960494
806.61/806.66	o 28301960493
808.31/808.30	o 28298312398
808.42/808.42	o 28298312397
808.53/808.53	o 28298312396
808.61/808.64	o 28298312395
808.71/808.75	o 28298312394
808.81/808.89	o 28294664295
809.11/809.19	o 28294664294
809.52/809.56	o 28294664293
810.01/810.03	o 28294664292
813.71/813.78	o 28294664291
815.61/815.64	o 28287368093
815.72/815.76	o 28287368092
820.11/820.19	o 28287368091
849.72/849.78	o 28287368090
855.02/855.03	o 28287368089
855.12/855.17	o 28283719990
861.42/861.48	o 28283719989
873.71/873.76	o 28283719988
875.52/875.56	o 28280071893
875.63/875.67	o 28280071892
875.81/875.80	o 28280071891
875.91/875.93	o 28280071890
876.81/876.86	o 28280071889
878.71/878.74	o 28280071888
891.61/891.63	o 28276423793
893.51/893.56	o 28276423792
895.21/895.25	o 28276423791
908.31/908.39	o 28276423790
910.31/910.36	o 28276423789
910.91/910.93	o 28276423788
912.71/912.76	o 28276423787
918.01/918.04	o 28276423786
928.81/928.83	o 28272775692
929.01/929.02	o 28272775691
929.31/929.34	o 28272775690
935.03/935.05	o 28272775689
958.51/958.58	o 28272775688
970.61/970.60	o 28272775687
984.02/984.09	o 28272775686
989.82/989.89	o 28272775685
1001.22/1001.29	o 28272775684
1005.52/1005.51	o 28272775683
1026.52/1026.57	o 28272775682
1084.72/1084.70	o 28272775681
1084.92/1084.97	o 28272775680
1085.22/1085.24	o 28272775679
1085.73/1085.76	o 28272775678
1100.82/1100.86	o 28272775677
1127.42/1127.43	o 28272775676
1132.52/1132.50	o 28272775675
1162.32/1162.35	o 28272775674
1175.32/1175.39	o 28272775673
1180.62/1180.66	o 28272775672
1182.32/1182.32	o 28272775671
1216.64/1216.69	o 28265479479
1216.82/1216.87	o 28265479478
1217.12/1217.16	o 28265479477
1217.42/1217.42	o 28265479476
1218.22/1218.29	o 28265479475
1256.24/1256.27	o 28258183284
1256.32/1256.38	o 28258183283
1256.52/1256.50	o 28258183282
1257.02/1257.01	o 28258183281
1271.22/1271.28	o 28258183280
1282.42/1282.43	o 28258183279
1334.83/1334.84	o 28258183278
1349.43/1349.40	o 28258183277
1370.43/1370.48	o 28258183276
1383.23/1383.25	o 28258183275
1461.12/1461.12	o 28254535178
1465.02/1465.08	o 28250887081
1465.13/1465.20	o 28250887080
1465.72/1465.79	o 28250887079
1478.22/1478.31	o 28228998487
1478.44/1478.47	o 28228998486
1478.52/1478.59	o 28225350387
1478.72/1478.73	o 28221702287
1478.82/1478.84	o 28218054187
1478.92/1478.94	o 28218054186
1479.02/1479.05	o 28218054185
1479.12/1479.16	o 28218054184
1479.32/1479.31	o 28218054183
1479.54/1479.56	o 28218054181
1480.02/1480.06	o 28218054180
1480.12/1480.17	o 28218054179
1480.32/1480.31	o 28218054178
1480.42/1480.48	o 28218054177
1480.72/1480.76	o 28218054176
1490.62/1490.69	o 28214406086
1490.72/1490.77	o 28214406085
1490.82/1490.87	o 28214406083
1490.92/1490.96	o 28214406082
1491.02/1491.04	o 28214406081
1491.12/1491.13	o 28214406080
1491.22/1491.23	o 28214406079
1491.32/1491.37	o 28214406078
1492.63/1492.70	o 28214406077
1498.13/1498.15	o 28214406076
1504.61/1504.63	o 28214406075
1511.42/1511.47	o 28214406074
1517.41/1517.45	o 28214406073
1548.11/1548.20	o 28207109879
1548.31/1548.30	o 28207109878
1548.41/1548.40	o 28207109876
1548.51/1548.53	o 28207109874
1577.91/1577.94	o 28199813679
1578.21/1578.26	o 28196165580
1578.31/1578.37	o 28196165579
1578.53/1578.52	o 28196165578
1582.93/1582.95	o 28196165577
1583.31/1583.37	o 28196165576
1595.31/1595.37	o 28196165575
1600.31/1600.35	o 28196165574
1609.61/1609.61	o 28196165573
1614.41/1614.44	o 28196165572
1615.31/1615.35	o 28196165571
1616.81/1616.89	o 28196165570
1647.83/1647.87	o 28192517479
1648.01/1648.00	o 28192517478
1648.11/1648.13	o 28188869379
1648.51/1648.59	o 28188869378
1648.61/1648.68	o 28188869377
1648.82/1648.83	o 28188869376
1648.82/1648.90	o 28188869375
1649.31/1649.35	o 28188869374
1649.92/1649.92	o 28188869373
1650.21/1650.27	o 28188869372
1654.43/1654.45	o 28188869371
1668.21/1668.21	o 28188869370
1726.61/1726.62	o 28188869369
1758.01/1758.04	o 28185221289
1758.21/1758.20	o 28185221288
1758.31/1758.32	o 28185221287
1758.41/1758.43	o 28185221286
1758.82/1758.88	o 28185221285
1758.93/1758.99	o 28185221284
1759.11/1759.11	o 28185221283
1759.21/1759.23	o 28185221282
1759.31/1759.35	o 28185221281
1759.41/1759.47	o 28185221280
1759.61/1759.67	o 28185221279
1759.81/1759.80	o 28185221278
1759.81/1759.90	o 28185221277
1760.03/1760.03	o 28185221276
1760.91/1760.91	o 28185221275
1761.02/1761.04	o 28181573176
1763.01/1763.00	o 28181573175
1777.92/1777.92	o 28181573174
1800.02/1800.01	>>> Terminate signal received
1800.02/1800.01	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 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 x6967 x6968 -x6969 x6970 -x6971 -x6972 -x6973 x6974 x6975 x6976 -x6977 -x6978 -x6979 -x6980 x6981 -x6982 -x6983 -x6984 -x6985 x6986 -x6987 x6988 -x6989 x6990 -x6991 -x6992 -x6993 x6994 x6995 -x6996 x6997 -x6998 -x6999 -x7000 x7001 -x7002 -x7003 x7004 x7005 -x7006 -x7007 -x7008 x7009 -x7010 x7011 x7012 -x7013 -x7014 x7015 -x7016 x7017 x7018 -x7019 x7020 -x7021 x7022 -x7023 x7024 x7025 x7026 x7027 x7028 x7029 x7030 x7031 -x7032 x7033 x7034 -x7035 x7036 x7037 x7038 x7039 x7040 -x7041 -x7042 x7043 x7044 -x7045 x7046 -x7047 -x7048 x7049 x7050 x7051 x7052 x7053 x7054 x7055 -x7056 x7057 x7058 x7059 x7060 x7061 x7062 -x7063 -x7064 x7065 x7066 -x7067 -x7068 -x7069 -x7070 -x7071 x7072 x7073 -x7074 -x7075 x7076 x7077 x7078 x7079 -x7080 -x7081 -x7082 -x7083 -x7084 x7085 x7086 x7087 x7088 -x7089 -x7090 -x7091 x7092 x7093 x7094 x7095 x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 x7103 x7104 x7105 x7106 -x7107 -x7108 x7109 x7110 x7111 x7112 x7113 -x7114 x7115 -x7116 x7117 -x7118 -x7119 -x7120 x7121 x7122 x7123 -x7124 x7125 x7126 x7127 -x7128 -x7129 x7130 x7131 -x7132 -x7133 x7134 -x7135 x7136 x7137 x7138 x7139 -x7140 x7141 -x7142 -x7143 -x7144 x7145 x7146 x7147 x7148 x7149 -x7150 x7151 -x7152 x7153 -x7154 x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 x7164 -x7165 -x7166 x7167 x7168 -x7169 -x7170 -x7171 -x7172 x7173 -x7174 x7175 x7176 x7177 -x7178 x7179 -x7180 -x7181 x7182 x7183 x7184 x7185 x7186 x7187 -x7188 -x7189 -x7190 -x7191 -x7192 x7193 -x7194 x7195 x7196 x7197 x7198 x7199 -x7200 x7201 x7202 -x7203 -x7204 -x7205 x7206 x7207 x7208 x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 x7216 -x7217 -x7218 x7219 x7220 x7221 x7222 x7223 -x7224 x7225 -x7226 x7227 x7228 x7229 -x7230 x7231 -x7232 x7233 x7234 x7235 -x7236 -x7237 x7238 -x7239 -x7240 x7241 x7242 x7243 x7244 x7245 x7246 -x7247 x7248 x7249 x7250 x7251 x7252 x7253 x7254 x7255 x7256 x7257 x7258 x7259 x7260 x7261 x7262 x7263 x7264 x7265 x7266 x7267 -x7268 x7269 x7270 -x7271 x7272 x7273 x7274 -x7275 x7276 x7277 x7278 x7279 x7280 -x7281 -x7282 x7283 x7284 -x7285 x7286 x7287 x7288 x7289 x7290 x7291 -x7292 x7293 x7294 -x7295 x7296 x7297 -x7298 -x7299 x7300 x7301 x7302 x7303 -x7304 x7305 -x7306 x7307 x7308 x7309 -x7310 x7311 x7312 x7313 x7314 x7315 x7316 -x7317 x7318 x7319 -x7320 -x7321 x7322 x7323 x7324 x7325 -x7326 x7327 x7328 x7329 x7330 x7331 x7332 x7333 x7334 -x7335 x7336 x7337 x7338 x7339 x7340 x7341 -x7342 -x7343 x7344 -x7345 x7346 -x7347 x7348 -x7349 -x7350 -x7351 x7352 x7353 x7354 -x7355 -x7356 x7357 -x7358 x7359 -x7360 -x7361 x7362 -x7363 x7364 -x7365 x7366 x7367 -x7368 x7369 -x7370 x7371 x7372 -x7373 x7374 x7375 x7376 x7377 -x7378 x7379 x7380 x7381 -x7382 x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 x7392 -x7393 x7394 x7395 x7396 -x7397 x7398 x7399 -x7400 x7401 x7402 x7403 -x7404 x7405 x7406 x7407 x7408 x7409 x7410 x7411 -x7412 x7413 -x7414 -x7415 x7416 -x7417 x7418 -x7419 x7420 x7421 x7422 -x7423 -x7424 x7425 x7426 x7427 -x7428 -x7429 x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 x7438 x7439 x7440 x7441 x7442 x7443 x7444 x7445 x7446 x7447 x7448 x7449 x7450 x7451 x7452 x7453 x7454 -x7455 -x7456 x7457 x7458 -x7459 -x7460 x7461 -x7462 x7463 x7464 x7465 x7466 -x7467 -x7468 x7469 -x7470 x7471 x7472 x7473 -x7474 -x7475 x7476 x7477 -x7478 x7479 x7480 x7481 -x7482 -x7483 -x7484 -x7485 x7486 -x7487 x7488 -x7489 -x7490 -x7491 x7492 -x7493 -x7494 x7495 x7496 x7497 -x7498 x7499 x7500 -x7501 x7502 -x7503 x7504 x7505 -x7506 -x7507 x7508 x7509 -x7510 -x7511 x7512 -x7513 -x7514 x7515 x7516 x7517 x7518 x7519 x7520 x7521 x7522 -x7523 x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 x7538 x7539 -x7540 -x7541 x7542 x7543 x7544 x7545 x7546 x7547 -x7548 -x7549 -x7550 x7551 x7552 -x7553 x7554 x7555 -x7556 x7557 x7558 -x7559 -x7560 x7561 x7562 x7563 x7564 x7565 x7566 x7567 x7568 x7569 x7570 x7571 -x7572 -x7573 x7574 -x7575 -x7576 -x7577 -x7578 -x7579 x7580 x7581 -x7582 -x7583 -x7584 x7585 x7586 x7587 x7588 x7589 x7590 x7591 x7592 x7593 x7594 x7595 x7596 x7597 x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 x7605 x7606 x7607 x7608 x7609 x7610 x7611 x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 x7620 x7621 -x7622 x7623 x7624 x7625 -x7626 x7627 x7628 -x7629 x7630 x7631 x7632 -x7633 x7634 x7635 x7636 -x7637 x7638 x7639 -x7640 x7641 x7642 -x7643 x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 -x7653 x7654 x7655 x7656 x7657 x7658 x7659 x7660 x7661 -x7662 x7663 -x7664 x7665 x7666 -x7667 x7668 x7669 x7670 -x7671 -x7672 x7673 -x7674 -x7675 -x7676 x7677 x7678 x7679 -x7680 -x7681 x7682 -x7683 x7684 x7685 -x7686 x7687 -x7688 x7689 x7690 -x7691 x7692 -x7693 x7694 x7695 x7696 -x7697 -x7698 -x7699 x7700 x7701 x7702 -x7703 -x7704 -x7705 -x7706 x7707 x7708 x7709 x7710 x7711 x7712 x7713 x7714 x7715 x7716 x7717 x7718 x7719 x7720 -x7721 -x7722 -x7723 x7724 x7725 x7726 x7727 x7728 x7729 x7730 x7731 x7732 x7733 -x7734 x7735 x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 x7744 -x7745 x7746 x7747 x7748 x7749 x7750 x7751 -x7752 x7753 x7754 x7755 x7756 x7757 x7758 -x7759 -x7760 x7761 -x7762 x7763 x7764 x7765 x7766 x7767 x7768 x7769 -x7770 -x7771 -x7772 -x7773 x7774 -x7775 x7776 -x7777 -x7778 x7779 -x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 x7799 -x7800 x7801 -x7802 -x7803 -x7804 x7805 x7806 -x7807 -x7808 -x7809 x7810 x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 x7820 -x7821 -x7822 -x7823 -x7824 x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 x7834 -x7835 x7836 x7837 x7838 x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 x7848 x7849 x7850 x7851 x7852 x7853 x7854 -x7855 -x7856 -x7857 -x7858 -x7859 x7860 x7861 -x7862 x7863 x7864 x7865 -x7866 x7867 -x7868 -x7869 -x7870 x7871 x7872 x7873 x7874 x7875 x7876 -x7877 -x7878 x7879 x7880 -x7881 x7882 x7883 -x7884 x7885 x7886 x7887 x7888 x7889 x7890 x7891 x7892 x7893 -x7894 x7895 -x7896 x7897 x7898 x7899 -x7900 x7901 x7902 x7903 -x7904 x7905 x7906 -x7907 -x7908 -x7909 x7910 -x7911 -x7912 -x7913 -x7914 x7915 -x7916 -x7917 -x7918 -x7919 -x7920 x7921 x7922 x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 x7932 x7933 x7934 -x7935 x7936 x7937 x7938 x7939 x7940 -x7941 x7942 x7943 -x7944 -x7945 x7946 -x7947 x7948 x7949 x7950 x7951 -x7952 x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 x7964 x7965 x7966 -x7967 -x7968 x7969 -x7970 -x7971 x7972 x7973 x7974 x7975 x7976 x7977 x7978 x7979 x7980 x7981 x7982 x7983 -x7984 -x7985 x7986 x7987 x7988 x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 x7996 x7997 x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 x8006 x8007 -x8008 -x8009 x8010 -x8011 -x8012 -x8013 x8014 -x8015 x8016 -x8017 

OK	28181573174

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-3467673-1307426990/watcher-3467673-1307426990 -o /tmp/evaluation-result-3467673-1307426990/solver-3467673-1307426990 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3467673-1307426990.opb --verbosity=0 --format=opb 

running on 4 cores: 1,3,5,7

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.12 2.05 2.01 3/469 4227
/proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=7200 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 313 0 0 0 0 0 0 0 25 0 1 0 932929504 7372800 260 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148061 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 1800 262 221 621 0 1170 0

[startup+0.0429851 s]
/proc/loadavg: 2.12 2.05 2.01 3/469 4227
/proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=10920 CPUtime=0.03 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 1311 0 0 0 3 0 0 0 25 0 1 0 932929504 11182080 1200 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 2730 1201 248 621 0 2100 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10920

[startup+0.100974 s]
/proc/loadavg: 2.12 2.05 2.01 3/469 4227
/proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=15400 CPUtime=0.09 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 2415 0 0 0 9 0 0 0 25 0 1 0 932929504 15769600 2304 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 3850 2304 248 621 0 3220 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15400

[startup+0.300949 s]
/proc/loadavg: 2.12 2.05 2.01 3/469 4227
/proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=30920 CPUtime=0.29 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 6305 0 0 0 29 0 0 0 25 0 1 0 932929504 31662080 6194 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 7730 6195 248 621 0 7100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30920

[startup+0.700863 s]
/proc/loadavg: 2.12 2.05 2.01 3/469 4227
/proc/meminfo: memFree=23845000/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=67964 CPUtime=0.68 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 15900 0 0 0 67 1 0 0 25 0 1 0 932929504 69595136 15443 33554432000 4194304 6736272 140734873394016 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 16991 15444 266 621 0 16361 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 67964

[startup+1.50071 s]
/proc/loadavg: 2.12 2.05 2.01 3/470 4228
/proc/meminfo: memFree=23745376/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=107140 CPUtime=1.49 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25610 0 0 0 146 3 0 0 25 0 1 0 932929504 109711360 25022 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806527 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 26785 25022 284 621 0 26155 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107140

[startup+3.10042 s]
/proc/loadavg: 2.12 2.05 2.01 3/470 4228
/proc/meminfo: memFree=23744136/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=102784 CPUtime=3.09 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25612 0 0 0 306 3 0 0 25 0 1 0 932929504 105250816 25018 33554432000 4194304 6736272 140734873394016 18446744073709551615 4639432 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 25696 25018 284 621 0 25066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102784

[startup+6.30082 s]
/proc/loadavg: 2.11 2.05 2.01 3/470 4228
/proc/meminfo: memFree=23743892/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=102788 CPUtime=6.29 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25668 0 0 0 626 3 0 0 25 0 1 0 932929504 105254912 25074 33554432000 4194304 6736272 140734873394016 18446744073709551615 5818026 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 25697 25074 286 621 0 25067 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102788

[startup+12.7006 s]
/proc/loadavg: 2.10 2.05 2.01 3/470 4228
/proc/meminfo: memFree=23742960/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=102788 CPUtime=12.69 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25688 0 0 0 1266 3 0 0 25 0 1 0 932929504 105254912 25094 33554432000 4194304 6736272 140734873394016 18446744073709551615 5221920 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 25697 25094 286 621 0 25067 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102788

[startup+25.5002 s]
/proc/loadavg: 2.08 2.05 2.01 3/470 4228
/proc/meminfo: memFree=23742840/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=103148 CPUtime=25.49 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25753 0 0 0 2546 3 0 0 25 0 1 0 932929504 105623552 25157 33554432000 4194304 6736272 140734873394016 18446744073709551615 5151379 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 25787 25157 286 621 0 25157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103148

[startup+51.1005 s]
/proc/loadavg: 2.05 2.04 2.01 3/470 4229
/proc/meminfo: memFree=23742208/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=104160 CPUtime=51.09 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 25913 0 0 0 5106 3 0 0 25 0 1 0 932929504 106659840 25311 33554432000 4194304 6736272 140734873394016 18446744073709551615 5803356 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 26040 25311 286 621 0 25410 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 104160

[startup+102.318 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 4230
/proc/meminfo: memFree=23737460/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=108496 CPUtime=102.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 26834 0 0 0 10228 3 0 0 25 0 1 0 932929504 111099904 26225 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148172 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 27124 26225 286 621 0 26494 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 108496

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 4232
/proc/meminfo: memFree=23736684/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=108496 CPUtime=162.29 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 26926 0 0 0 16226 3 0 0 25 0 1 0 932929504 111099904 26316 33554432000 4194304 6736272 140734873394016 18446744073709551615 5817984 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 27124 26316 286 621 0 26494 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 108496

[startup+222.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/470 4234
/proc/meminfo: memFree=23735300/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=112232 CPUtime=222.29 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 27479 0 0 0 22226 3 0 0 25 0 1 0 932929504 114925568 26868 33554432000 4194304 6736272 140734873394016 18446744073709551615 5222016 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 28058 26868 286 621 0 27428 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 112232

[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/470 4235
/proc/meminfo: memFree=23739228/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=106200 CPUtime=282.29 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 28388 0 0 0 28226 3 0 0 25 0 1 0 932929504 108748800 25991 33554432000 4194304 6736272 140734873394016 18446744073709551615 4505505 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 26550 25991 286 621 0 25920 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 106200

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 4237
/proc/meminfo: memFree=23736844/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=108524 CPUtime=342.3 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 28965 0 0 0 34226 4 0 0 25 0 1 0 932929504 111128576 26568 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806877 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 27131 26568 286 621 0 26501 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 108524

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 4238
/proc/meminfo: memFree=23734700/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=112232 CPUtime=402.3 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 29447 0 0 0 40226 4 0 0 25 0 1 0 932929504 114925568 27050 33554432000 4194304 6736272 140734873394016 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 28058 27050 286 621 0 27428 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 112232

[startup+462.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/470 4240
/proc/meminfo: memFree=23733192/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=112232 CPUtime=462.3 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 29592 0 0 0 46226 4 0 0 25 0 1 0 932929504 114925568 27195 33554432000 4194304 6736272 140734873394016 18446744073709551615 5811900 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 28058 27195 286 621 0 27428 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 112232

[startup+522.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/470 4242
/proc/meminfo: memFree=23734028/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=112232 CPUtime=522.3 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 29595 0 0 0 52226 4 0 0 25 0 1 0 932929504 114925568 27198 33554432000 4194304 6736272 140734873394016 18446744073709551615 4748592 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 28058 27198 286 621 0 27428 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 112232

[startup+582.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 4243
/proc/meminfo: memFree=23732884/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=112272 CPUtime=582.3 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 35370 0 0 0 58225 5 0 0 25 0 1 0 932929504 114966528 27505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5811982 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 28068 27505 286 621 0 27438 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 112272


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

[startup+822.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 4250
/proc/meminfo: memFree=23730912/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=113948 CPUtime=822.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 41637 0 0 0 82225 6 0 0 25 0 1 0 932929504 116682752 27924 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806420 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 28487 27924 286 621 0 27857 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 113948

[startup+882.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 4251
/proc/meminfo: memFree=23726784/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=882.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 42633 0 0 0 88225 6 0 0 25 0 1 0 932929504 131235840 28920 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148094 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 28920 286 621 0 31410 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 128160

[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 4253
/proc/meminfo: memFree=23727012/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=942.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 42633 0 0 0 94225 6 0 0 25 0 1 0 932929504 131235840 28920 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148107 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 28920 286 621 0 31410 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 128160

[startup+1002.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/470 4254
/proc/meminfo: memFree=23725872/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1002.32 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 42648 0 0 0 100226 6 0 0 25 0 1 0 932929504 131235840 28935 33554432000 4194304 6736272 140734873394016 18446744073709551615 4288381 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 28935 286 621 0 31410 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 128160

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 4284
/proc/meminfo: memFree=23548056/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1062.32 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 43039 0 0 0 106226 6 0 0 25 0 1 0 932929504 131235840 29325 33554432000 4194304 6736272 140734873394016 18446744073709551615 5811840 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 29325 286 621 0 31410 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 128160

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 4286
/proc/meminfo: memFree=23543524/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1122.32 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 44042 0 0 0 112226 6 0 0 25 0 1 0 932929504 131235840 30328 33554432000 4194304 6736272 140734873394016 18446744073709551615 5812150 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 30328 286 621 0 31410 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 128160

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 4287
/proc/meminfo: memFree=23542876/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1182.32 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 44042 0 0 0 118226 6 0 0 25 0 1 0 932929504 131235840 30328 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806511 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 30328 286 621 0 31410 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 128160

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 4289
/proc/meminfo: memFree=23542604/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1242.32 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 44455 0 0 0 124226 6 0 0 25 0 1 0 932929504 131235840 30741 33554432000 4194304 6736272 140734873394016 18446744073709551615 5148061 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 30741 286 621 0 31410 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 128160

[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/470 4290
/proc/meminfo: memFree=23548900/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1302.33 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 51902 0 0 0 130226 7 0 0 25 0 1 0 932929504 131235840 28954 33554432000 4194304 6736272 140734873394016 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 28954 286 621 0 31410 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 128160

[startup+1362.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/470 4292
/proc/meminfo: memFree=23540564/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1362.33 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 53906 0 0 0 136225 8 0 0 25 0 1 0 932929504 131235840 30952 33554432000 4194304 6736272 140734873394016 18446744073709551615 5817984 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 30952 286 621 0 31410 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 128160

[startup+1422.32 s]
/proc/loadavg: 2.05 2.05 2.01 3/470 4294
/proc/meminfo: memFree=23541788/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1422.35 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 53906 0 0 0 142227 8 0 0 25 0 1 0 932929504 131235840 30952 33554432000 4194304 6736272 140734873394016 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 30952 286 621 0 31410 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 128160

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 4295
/proc/meminfo: memFree=23538904/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1482.32 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 148224 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 31505 286 621 0 31410 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 128160

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/470 4297
/proc/meminfo: memFree=23539248/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1542.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 154223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5806527 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 31505 286 621 0 31410 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 128160

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 4298
/proc/meminfo: memFree=23539216/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1602.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 160223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5219607 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 31505 286 621 0 31410 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 128160

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 4300
/proc/meminfo: memFree=23538808/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1662.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 166223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 4630162 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 31505 286 621 0 31410 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 128160

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 4302
/proc/meminfo: memFree=23538908/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=128160 CPUtime=1722.31 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60013 0 0 0 172223 8 0 0 25 0 1 0 932929504 131235840 31505 33554432000 4194304 6736272 140734873394016 18446744073709551615 5818476 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 32040 31505 286 621 0 31410 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 128160

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 4306
/proc/meminfo: memFree=23538232/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=144184 CPUtime=1782.32 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60015 0 0 0 178224 8 0 0 25 0 1 0 932929504 147644416 31507 33554432000 4194304 6736272 140734873394016 18446744073709551615 5803336 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 36046 31507 286 621 0 35416 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 144184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 4307
/proc/meminfo: memFree=23538180/32951124 swapFree=56297244/67111528
[pid=4227] ppid=4225 vsize=144184 CPUtime=1800.02 cores=1,3,5,7
/proc/4227/stat : 4227 (minisatid-gmp) R 4225 4227 3194 0 -1 4202496 60015 0 0 0 179994 8 0 0 25 0 1 0 932929504 147644416 31507 33554432000 4194304 6736272 140734873394016 18446744073709551615 5142553 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/4227/statm: 36046 31507 286 621 0 35416 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 144184

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1799.96
CPU system time (s): 0.094985
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 158512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60020
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= 16
involuntary context switches= 3959

runsolver used 8.26574 second user time and 19.526 second system time

The end

Begin job on node111 at 2011-06-07 08:09:50
IDJOB=3467673
IDBENCH=72366
IDSOLVER=1957
FILE ID=node111/3467673-1307426990
RUNJOBID= node111-1307415267-3217
PBS_JOBID= 13514213
Free space on /tmp= 73900 MiB

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

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

MD5SUM BENCH= a8d2ef8c52f50247a319d5b58583dcf2
RANDOM SEED=1108830643

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.849
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.67
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.849
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:      23845280 kB
Buffers:        359060 kB
Cached:         940728 kB
SwapCached:      11784 kB
Active:        8023984 kB
Inactive:       802404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23845280 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            3944 kB
Writeback:           0 kB
AnonPages:     7523532 kB
Mapped:          28956 kB
Slab:           144832 kB
PageTables:      66132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149219932 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= 73892 MiB
End job on node111 at 2011-06-07 08:39:52