0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.59/0.64	c constraints 240/148 clauses 12437/7751 units 3886
0.59/0.64	c vars 11956
2.59/2.61	c 2.32365 166.68 159 372158
2.59/2.61	o 39604
2.79/2.85	c 2.51362 170.012 285 409837
2.79/2.85	o 24603
2.89/2.94	c 2.58761 170.012 312 429736
2.89/2.94	o 19225
3.09/3.12	c 2.73358 170.012 395 465023
3.09/3.12	o 16132
3.20/3.23	c 2.82157 170.012 424 472681
3.20/3.23	o 16129
3.29/3.39	c 2.94355 170.012 472 493272
3.29/3.39	o 16125
3.39/3.46	c 3.00554 170.012 483 507501
3.39/3.46	o 11089
3.49/3.52	c 3.04854 170.012 492 511480
3.49/3.52	o 11085
3.59/3.62	c 3.12952 170.012 522 530318
3.59/3.62	o 11024
3.59/3.67	c 3.17452 170.012 533 533863
3.59/3.67	o 11021
3.69/3.74	c 3.23151 170.012 543 540473
3.69/3.74	o 11020
3.69/3.79	c 3.2815 170.012 549 545339
3.69/3.79	o 11019
3.79/3.89	c 3.36349 170.012 565 565568
3.79/3.89	o 10483
3.89/3.95	c 3.41148 170.141 570 571833
3.89/3.95	o 10480
3.99/4.01	c 3.46447 170.141 584 585017
3.99/4.01	o 8696
3.99/4.07	c 3.51546 170.141 592 590511
3.99/4.07	o 8695
4.09/4.18	c 3.60545 170.141 626 598616
4.09/4.18	o 8694
4.19/4.27	c 3.68044 170.141 640 610150
4.19/4.27	o 8692
4.29/4.34	c 3.74443 170.141 646 624138
4.29/4.34	o 8492
4.40/4.42	c 3.81042 170.141 658 642016
4.40/4.42	o 7811
4.49/4.50	c 3.86841 170.141 666 650287
4.49/4.50	o 7808
4.49/4.59	c 3.9444 170.141 683 663336
4.49/4.59	o 7806
4.69/4.76	c 4.07138 170.281 733 665734
4.69/4.76	o 7805
4.79/4.82	c 4.12737 170.281 742 673511
4.79/4.82	o 7804
4.79/4.89	c 4.19036 170.281 752 685829
4.79/4.89	o 7390
4.89/4.96	c 4.25035 170.281 760 693046
4.89/4.96	o 7386
4.99/5.01	c 4.29935 170.281 765 697583
4.99/5.01	o 7384
4.99/5.07	c 4.35034 170.281 772 705154
4.99/5.07	o 7381
5.09/5.12	c 4.39233 170.281 776 709300
5.09/5.12	o 7372
5.09/5.19	c 4.45532 170.281 796 716657
5.09/5.19	o 7371
5.29/5.30	c 4.53731 170.281 822 729604
5.29/5.30	o 7368
7.10/7.14	c 5.9391 170.668 1593 756419
7.10/7.14	o 7367
7.70/7.73	c 6.39703 170.797 1804 785447
7.70/7.73	o 7364
7.70/7.79	c 6.45202 170.797 1806 793379
7.70/7.79	o 7362
8.29/8.36	c 6.86496 170.926 1927 802274
8.29/8.36	o 7361
8.39/8.49	c 6.97194 170.926 1965 811795
8.39/8.49	o 7357
8.89/8.99	c 7.36288 171.055 2192 819839
8.89/8.99	o 7356
8.99/9.08	c 7.44187 171.055 2211 830087
8.99/9.08	o 7355
12.89/12.97	c 10.3254 171.957 3710 857915
12.89/12.97	o 7353
15.09/15.13	c 11.9052 172.344 4370 869792
15.09/15.13	o 7352
15.49/15.56	c 12.2321 172.473 4556 884844
15.49/15.56	o 7351
18.69/18.79	c 14.7348 173.402 5977 930627
18.69/18.79	o 7350
18.79/18.86	c 14.7908 173.402 5984 940882
18.79/18.86	o 7348
18.89/18.94	c 14.8617 173.402 5996 953735
18.89/18.94	o 7347
19.19/19.22	c 15.0847 173.402 6071 975634
19.19/19.22	o 7345
21.80/21.87	c 17.1274 174.434 7704 1012416
21.80/21.87	o 7344
22.50/22.50	c 17.6163 174.562 7920 1028898
22.50/22.50	o 7342
22.50/22.59	c 17.6863 174.562 7930 1032889
22.50/22.59	o 7339
23.10/23.19	c 18.1542 174.691 8152 1044925
23.10/23.19	o 7338
23.39/23.46	c 18.3752 174.82 8266 1063307
23.39/23.46	o 7337
23.89/23.92	c 18.7332 174.82 8450 1075939
23.89/23.92	o 7336
24.39/24.40	c 19.0811 174.949 8562 1094065
24.39/24.40	o 7329
24.39/24.48	c 19.1451 174.949 8573 1105514
24.39/24.48	o 7063
24.49/24.53	c 19.1931 174.949 8578 1108490
24.49/24.53	o 7062
26.59/26.61	c 20.8018 175.465 9565 1132180
26.59/26.61	o 7061
28.20/28.27	c 22.0666 176.109 10553 1152141
28.20/28.27	o 7059
29.29/29.33	c 22.8915 176.367 11061 1171385
29.29/29.33	o 7058
29.39/29.41	c 22.9625 176.367 11076 1180470
29.39/29.41	o 7057
29.89/29.90	c 23.3604 176.496 11306 1190465
29.89/29.90	o 7054
29.99/30.03	c 23.4744 176.496 11326 1205540
29.99/30.03	o 7052
30.49/30.57	c 23.8734 176.625 11534 1221656
30.49/30.57	o 7051
36.69/36.72	c 28.5187 178.219 13938 1237153
36.69/36.72	o 7050
50.79/50.84	c 39.0431 182.602 20750 1261068
50.79/50.84	o 7048
52.89/52.96	c 40.6468 183.117 21669 1276576
52.89/52.96	o 7046
53.19/53.25	c 40.8668 183.246 21772 1282733
53.19/53.25	o 7045
53.29/53.32	c 40.9288 183.246 21780 1287826
53.29/53.32	o 7043
58.79/58.87	c 45.0751 183.891 12036 1343004
58.79/58.87	o 7042
59.09/59.18	c 45.3241 183.891 12199 1354949
59.09/59.18	o 7041
66.19/66.28	c 50.7613 183.891 15979 1410366
66.19/66.28	o 7040
69.19/69.27	c 53.0059 183.891 17122 1440715
69.19/69.27	o 7039
69.30/69.39	c 53.0979 183.891 17146 1446752
69.30/69.39	o 7036
73.49/73.51	c 56.2035 183.891 18895 1481659
73.49/73.51	o 7035
73.49/73.60	c 56.2734 183.891 18913 1491608
73.49/73.60	o 7034
74.39/74.48	c 56.9483 183.891 19440 1508237
74.39/74.48	o 7033
74.59/74.60	c 57.0453 183.891 19475 1511931
74.59/74.60	o 7032
74.59/74.67	c 57.1103 183.891 19493 1519953
74.59/74.67	o 7030
75.10/75.18	c 57.4903 183.891 19630 1531977
75.10/75.18	o 7029
75.69/75.77	c 57.9502 183.891 19902 1559353
75.69/75.77	o 7028
75.90/75.97	c 58.1112 183.891 19982 1563277
75.90/75.97	o 7027
76.29/76.35	c 58.3881 183.891 20079 1569357
76.29/76.35	o 7026
77.30/77.39	c 59.181 183.891 20459 1582740
77.30/77.39	o 7025
79.99/80.06	c 61.2177 184.148 22141 1605513
79.99/80.06	o 7024
80.39/80.48	c 61.5466 184.148 22234 1612219
80.39/80.48	o 7023
80.49/80.53	c 61.5896 184.148 22243 1618286
80.49/80.53	o 7022
80.60/80.61	c 61.6526 184.148 22251 1621791
80.60/80.61	o 7021
80.79/80.83	c 61.8296 184.277 22357 1635254
80.79/80.83	o 7020
80.79/80.88	c 61.8766 184.277 22363 1639432
80.79/80.88	o 7019
82.80/82.89	c 63.4124 184.406 10842 1659461
82.80/82.89	o 7018
89.09/89.11	c 68.1286 184.406 13461 1675550
89.09/89.11	o 7017
93.50/93.53	c 71.4801 184.406 15624 1724908
93.50/93.53	o 7015
95.29/95.35	c 72.8849 184.406 16567 1753974
95.29/95.35	o 7013
99.60/99.64	c 76.1774 184.406 18946 1773269
99.60/99.64	o 7012
116.99/117.04	c 89.3004 186.344 25490 1798628
116.99/117.04	o 7011
119.40/119.41	c 91.1731 186.344 11641 1871670
119.40/119.41	o 7009
119.60/119.61	c 91.3431 186.344 11676 1877797
119.60/119.61	o 7008
120.09/120.12	c 91.761 186.344 12030 1890083
120.09/120.12	o 7007
124.50/124.59	c 95.1405 186.344 14097 1927557
124.50/124.59	o 7006
126.80/126.83	c 96.8593 186.344 15030 1948425
126.80/126.83	o 7004
127.09/127.12	c 97.0912 186.344 15146 1963985
127.09/127.12	o 7003
127.29/127.33	c 97.2672 186.344 15262 1974436
127.29/127.33	o 7002
129.80/129.84	c 99.2069 186.344 16650 2013033
129.80/129.84	o 7001
131.09/131.12	c 100.155 186.344 17006 2022611
131.09/131.12	o 7000
131.89/131.98	c 100.78 186.344 17285 2027765
131.89/131.98	o 6999
134.49/134.53	c 102.724 186.344 18358 2048628
134.49/134.53	o 6998
134.60/134.62	c 102.802 186.344 18372 2051784
134.60/134.62	o 6996
136.20/136.22	c 104.032 186.344 18877 2068745
136.20/136.22	o 6995
136.30/136.37	c 104.151 186.344 18911 2071498
136.30/136.37	o 6994
136.59/136.69	c 104.409 186.344 19001 2075426
136.59/136.69	o 6992
147.19/147.24	c 112.287 186.344 24640 2115219
147.19/147.24	o 6991
147.79/147.82	c 112.73 186.344 10862 2130732
147.79/147.82	o 6990
147.99/148.05	c 112.913 186.344 10930 2142710
147.99/148.05	o 6989
150.30/150.32	c 114.59 186.344 11863 2173657
150.30/150.32	o 6988
151.89/151.94	c 115.861 186.344 12893 2195553
151.89/151.94	o 6987
153.29/153.35	c 116.952 186.344 13525 2231291
153.29/153.35	o 6986
153.40/153.41	c 117.004 186.344 13537 2237016
153.40/153.41	o 6984
163.49/163.51	c 124.581 186.344 17356 2284893
163.49/163.51	o 6982
163.49/163.58	c 124.637 186.344 17367 2291395
163.49/163.58	o 6981
163.70/163.75	c 124.774 186.344 17406 2294080
163.70/163.75	o 6980
163.80/163.90	c 124.89 186.344 17444 2297438
163.80/163.90	o 6979
165.00/165.01	c 125.732 186.344 17860 2323570
165.00/165.01	o 6978
166.00/166.01	c 126.522 186.344 18446 2340654
166.00/166.01	o 6977
168.49/168.50	c 128.412 186.344 19607 2361211
168.49/168.50	o 6976
168.80/168.84	c 128.692 186.344 19719 2371906
168.80/168.84	o 6975
168.99/169.01	c 128.833 186.344 19763 2390114
168.99/169.01	o 6973
170.29/170.39	c 129.903 186.344 20315 2404932
170.29/170.39	o 6971
196.49/196.52	c 149.917 186.602 18682 2467488
196.49/196.52	o 6970
196.60/196.61	c 149.998 186.602 18691 2474470
196.60/196.61	o 6969
196.69/196.71	c 150.073 186.602 18714 2483156
196.69/196.71	o 6968
197.39/197.42	c 150.6 186.602 18908 2488394
197.39/197.42	o 6967
198.50/198.57	c 151.493 186.602 19530 2518405
198.50/198.57	o 6966
198.79/198.81	c 151.689 186.602 19665 2530796
198.79/198.81	o 6965
200.49/200.55	c 152.976 186.602 20573 2562789
200.49/200.55	o 6964
201.00/201.06	c 153.357 186.602 20747 2568455
201.00/201.06	o 6963
201.39/201.40	c 153.62 186.602 20887 2592681
201.39/201.40	o 6962
201.59/201.68	c 153.842 186.602 20954 2597918
201.59/201.68	o 6961
201.80/201.81	c 153.942 186.602 20991 2604036
201.80/201.81	o 6960
202.19/202.29	c 154.319 186.602 21305 2616181
202.19/202.29	o 6959
202.60/202.60	c 154.569 186.602 21413 2625949
202.60/202.60	o 6958
208.09/208.16	c 158.712 186.602 10951 2664783
208.09/208.16	o 6956
208.29/208.34	c 158.854 186.602 11019 2670584
208.29/208.34	o 6955
208.39/208.44	c 158.942 186.602 11038 2679828
208.39/208.44	o 6954
208.49/208.53	c 159.021 186.602 11061 2688440
208.49/208.53	o 6952
209.49/209.50	c 159.774 186.602 11673 2708522
209.49/209.50	o 6951
209.79/209.81	c 159.998 186.602 11751 2716290
209.79/209.81	o 6950
213.80/213.80	c 162.973 186.602 13559 2752039
213.80/213.80	o 6949
215.29/215.31	c 164.112 186.602 14219 2780074
215.29/215.31	o 6948
215.80/215.83	c 164.496 186.602 14379 2790873
215.80/215.83	o 6947
217.80/217.83	c 166.083 186.602 15636 2833807
217.80/217.83	o 6946
217.90/217.98	c 166.213 186.602 15675 2853724
217.90/217.98	o 6944
218.50/218.54	c 166.634 186.602 15863 2868479
218.50/218.54	o 6943
218.50/218.59	c 166.682 186.602 15869 2876509
218.50/218.59	o 6942
218.60/218.67	c 166.751 186.602 15885 2885736
218.60/218.67	o 6941
219.39/219.42	c 167.328 186.602 16398 2902096
219.39/219.42	o 6939
220.79/220.84	c 168.444 186.602 17210 2921412
220.79/220.84	o 6938
222.59/222.65	c 169.794 186.602 17714 2933270
222.59/222.65	o 6937
222.99/223.01	c 170.089 186.602 17928 2943419
222.99/223.01	o 6935
223.10/223.13	c 170.175 186.602 17955 2959851
223.10/223.13	o 6934
226.50/226.54	c 172.765 186.602 19686 2986418
226.50/226.54	o 6933
226.69/226.79	c 172.959 186.602 19809 2994016
226.69/226.79	o 6932
226.89/226.99	c 173.121 186.602 19923 3004174
226.89/226.99	o 6931
226.99/227.07	c 173.182 186.602 19931 3015780
226.99/227.07	o 6929
227.09/227.16	c 173.251 186.602 19946 3025352
227.09/227.16	o 6928
227.30/227.32	c 173.372 186.602 19980 3031506
227.30/227.32	o 6926
227.79/227.89	c 173.831 186.602 20318 3051524
227.79/227.89	o 6925
228.30/228.36	c 174.19 186.602 20552 3063373
228.30/228.36	o 6922
234.70/234.72	c 179.022 186.602 10815 3087217
234.70/234.72	o 6921
243.10/243.11	c 185.327 186.602 13344 3096818
243.10/243.11	o 6920
243.59/243.65	c 185.777 186.602 13642 3118055
243.59/243.65	o 6916
245.20/245.27	c 187.025 186.602 14266 3138881
245.20/245.27	o 6914
245.40/245.43	c 187.154 186.602 14303 3146507
245.40/245.43	o 6913
246.30/246.35	c 187.893 186.602 14851 3161857
246.30/246.35	o 6912
246.49/246.50	c 188.019 186.602 14893 3174841
246.49/246.50	o 6911
246.69/246.78	c 188.253 186.602 15013 3189405
246.69/246.78	o 6910
246.79/246.86	c 188.312 186.602 15037 3191686
246.79/246.86	o 6908
246.89/246.92	c 188.363 186.602 15047 3198215
246.89/246.92	o 6904
247.09/247.16	c 188.55 186.602 15118 3204302
247.09/247.16	o 6902
247.19/247.22	c 188.596 186.602 15129 3210105
247.19/247.22	o 6899
247.19/247.28	c 188.649 186.602 15137 3217537
247.19/247.28	o 6898
247.40/247.44	c 188.764 186.602 15170 3225879
247.40/247.44	o 6897
247.50/247.53	c 188.844 186.602 15182 3236202
247.50/247.53	o 6895
251.29/251.31	c 191.72 186.602 16566 3272499
251.29/251.31	o 6892
251.69/251.71	c 192.028 186.602 16697 3294075
251.69/251.71	o 6891
254.50/254.55	c 194.16 186.602 17949 3310856
254.50/254.55	o 6889
254.69/254.73	c 194.302 186.602 17992 3324576
254.69/254.73	o 6888
254.79/254.82	c 194.371 186.602 18007 3338507
254.79/254.82	o 6887
260.39/260.44	c 198.622 186.602 19749 3366639
260.39/260.44	o 6885
263.10/263.12	c 200.651 186.602 20802 3393878
263.10/263.12	o 6884
275.00/275.08	c 209.653 186.602 14224 3436123
275.00/275.08	o 6883
275.20/275.27	c 209.809 186.602 14336 3446277
275.20/275.27	o 6882
275.30/275.37	c 209.892 186.602 14350 3460545
275.30/275.37	o 6880
275.60/275.63	c 210.09 186.602 14412 3464935
275.60/275.63	o 6878
276.49/276.55	c 210.806 186.602 14920 3479561
276.49/276.55	o 6876
277.59/277.69	c 211.66 186.602 15427 3489173
277.59/277.69	o 6875
277.89/277.93	c 211.844 186.602 15480 3497485
277.89/277.93	o 6873
279.69/279.74	c 213.193 186.602 16200 3523780
279.69/279.74	o 6870
279.79/279.81	c 213.253 186.602 16211 3527666
279.79/279.81	o 6869
279.90/279.93	c 213.348 186.602 16237 3532301
279.90/279.93	o 6868
280.00/280.04	c 213.439 186.602 16253 3547564
280.00/280.04	o 6866
280.09/280.16	c 213.537 186.602 16280 3553160
280.09/280.16	o 6864
280.20/280.23	c 213.598 186.602 16291 3561253
280.20/280.23	o 6863
280.20/280.28	c 213.642 186.602 16296 3564296
280.20/280.28	o 6862
280.30/280.36	c 213.711 186.602 16305 3576658
280.30/280.36	o 6860
280.40/280.48	c 213.809 186.602 16357 3579118
280.40/280.48	o 6859
280.50/280.56	c 213.88 186.602 16373 3583687
280.50/280.56	o 6857
280.70/280.77	c 214.056 186.602 16490 3596246
280.70/280.77	o 6856
281.00/281.00	c 214.237 186.602 16557 3613500
281.00/281.00	o 6854
282.10/282.12	c 215.123 186.602 16992 3629363
282.10/282.12	o 6853
284.50/284.58	c 216.987 186.602 17982 3664317
284.50/284.58	o 6851
286.70/286.77	c 218.635 186.602 18819 3689126
286.70/286.77	o 6850
296.40/296.46	c 225.919 186.602 23311 3730170
296.40/296.46	o 6849
298.50/298.56	c 227.506 186.602 11681 3756635
298.50/298.56	o 6848
298.69/298.71	c 227.616 186.602 11716 3761435
298.69/298.71	o 6847
300.20/300.28	c 228.817 186.602 12353 3777206
300.20/300.28	o 6845
300.60/300.60	c 229.072 186.602 12500 3793962
300.60/300.60	o 6844
301.10/301.12	c 229.492 186.602 12731 3811573
301.10/301.12	o 6843
301.30/301.32	c 229.638 186.602 12780 3816276
301.30/301.32	o 6841
301.40/301.44	c 229.735 186.602 12815 3819183
301.40/301.44	o 6840
301.59/301.67	c 229.906 186.602 12866 3821224
301.59/301.67	o 6839
301.69/301.77	c 229.988 186.602 12884 3824891
301.69/301.77	o 6838
301.80/301.86	c 230.07 186.602 12890 3831908
301.80/301.86	o 6836
301.90/301.94	c 230.14 186.602 12908 3837481
301.90/301.94	o 6835
302.00/302.02	c 230.2 186.602 12922 3844274
302.00/302.02	o 6834
302.30/302.37	c 230.46 186.602 13034 3855922
302.30/302.37	o 6832
302.40/302.43	c 230.518 186.602 13038 3863758
302.40/302.43	o 6831
302.40/302.50	c 230.576 186.602 13043 3867797
302.40/302.50	o 6830
302.70/302.77	c 230.798 186.602 13150 3872361
302.70/302.77	o 6829
302.80/302.86	c 230.877 186.602 13168 3884073
302.80/302.86	o 6827
303.39/303.46	c 231.32 186.602 13346 3893993
303.39/303.46	o 6826
303.69/303.71	c 231.521 186.602 13451 3902094
303.69/303.71	o 6825
303.79/303.83	c 231.618 186.602 13471 3904694
303.79/303.83	o 6824
303.89/303.91	c 231.685 186.602 13485 3911065
303.89/303.91	o 6823
304.30/304.36	c 232.03 186.602 13656 3920090
304.30/304.36	o 6822
304.39/304.48	c 232.124 186.602 13673 3923650
304.39/304.48	o 6820
304.50/304.55	c 232.186 186.602 13689 3929308
304.50/304.55	o 6819
304.70/304.74	c 232.34 186.602 13793 3937591
304.70/304.74	o 6818
304.80/304.82	c 232.416 186.602 13806 3948558
304.80/304.82	o 6816
305.00/305.03	c 232.587 186.602 13921 3962550
305.00/305.03	o 6814
306.59/306.69	c 233.843 186.602 14467 3978285
306.59/306.69	o 6813
306.70/306.80	c 233.937 186.602 14494 3983643
306.70/306.80	o 6811
306.90/306.95	c 234.067 186.602 14551 3996047
306.90/306.95	o 6809
307.09/307.19	c 234.267 186.602 14603 4008162
307.09/307.19	o 6803
308.49/308.60	c 235.334 186.602 15165 4023106
308.49/308.60	o 6802
313.00/313.08	c 238.716 186.602 16732 4031125
313.00/313.08	o 6801
314.09/314.12	c 239.543 186.602 17403 4049654
314.09/314.12	o 6800
314.50/314.52	c 239.839 186.602 17507 4062169
314.50/314.52	o 6799
314.60/314.65	c 239.938 186.602 17533 4066808
314.60/314.65	o 6798
314.69/314.70	c 239.985 186.602 17536 4073688
314.69/314.70	o 6797
315.60/315.63	c 240.7 186.602 17861 4087279
315.60/315.63	o 6796
315.71/315.70	c 240.76 186.602 17869 4096881
315.71/315.70	o 6795
315.71/315.77	c 240.812 186.602 17882 4111250
315.71/315.77	o 6745
315.90/315.91	c 240.923 186.602 17914 4117588
315.90/315.91	o 6743
316.39/316.46	c 241.317 186.602 18104 4139826
316.39/316.46	o 6741
318.19/318.24	c 242.73 186.602 19019 4172856
318.19/318.24	o 6740
319.10/319.11	c 243.401 186.602 19524 4187590
319.10/319.11	o 6736
319.10/319.17	c 243.454 186.602 19530 4194917
319.10/319.17	o 6735
319.50/319.51	c 243.705 186.602 19618 4201089
319.50/319.51	o 6733
319.59/319.65	c 243.814 186.602 19637 4206395
319.59/319.65	o 6730
320.10/320.16	c 244.196 186.602 19803 4223201
320.10/320.16	o 6729
320.30/320.32	c 244.304 186.602 19843 4225165
320.30/320.32	o 6728
320.50/320.56	c 244.495 186.602 19953 4233642
320.50/320.56	o 6727
320.59/320.61	c 244.536 186.602 19955 4239068
320.59/320.61	o 6726
320.70/320.74	c 244.637 186.602 19987 4246494
320.70/320.74	o 6724
322.39/322.49	c 245.974 186.602 20722 4262744
322.39/322.49	o 6723
322.90/322.95	c 246.321 186.602 20913 4276663
322.90/322.95	o 6722
327.20/327.25	c 249.634 186.602 22836 4309924
327.20/327.25	o 6721
331.20/331.24	c 252.652 186.602 12410 4342741
331.20/331.24	o 6720
331.49/331.58	c 252.925 186.602 12522 4350553
331.49/331.58	o 6719
331.69/331.71	c 253.033 186.602 12552 4361817
331.69/331.71	o 6718
331.69/331.77	c 253.083 186.602 12557 4367808
331.69/331.77	o 6716
331.79/331.84	c 253.144 186.602 12565 4376431
331.79/331.84	o 6714
331.99/332.06	c 253.307 186.602 12613 4385470
331.99/332.06	o 6713
332.30/332.31	c 253.513 186.602 12686 4391360
332.30/332.31	o 6712
334.30/334.31	c 255.035 186.602 13705 4421267
334.30/334.31	o 6711
334.40/334.45	c 255.148 186.602 13732 4432410
334.40/334.45	o 6710
334.69/334.70	c 255.35 186.602 13795 4442858
334.69/334.70	o 6709
335.30/335.33	c 255.84 186.602 14051 4452151
335.30/335.33	o 6708
335.30/335.38	c 255.889 186.602 14055 4458480
335.30/335.38	o 6707
335.69/335.78	c 256.204 186.602 14196 4463576
335.69/335.78	o 6706
335.80/335.86	c 256.272 186.602 14207 4473892
335.80/335.86	o 6705
336.89/336.93	c 257.118 186.602 14804 4493722
336.89/336.93	o 6703
337.29/337.36	c 257.439 186.602 14900 4498894
337.29/337.36	o 6702
337.79/337.81	c 257.784 186.602 15167 4501979
337.79/337.81	o 6701
344.89/344.93	c 263.167 186.602 17421 4533022
344.89/344.93	o 6700
345.50/345.51	c 263.611 186.602 17555 4538248
345.50/345.51	o 6699
346.89/346.91	c 264.693 186.602 18070 4561589
346.89/346.91	o 6698
346.89/346.98	c 264.753 186.602 18083 4571063
346.89/346.98	o 6696
346.99/347.04	c 264.802 186.602 18092 4573326
346.99/347.04	o 6695
347.09/347.11	c 264.861 186.602 18102 4581981
347.09/347.11	o 6690
347.09/347.18	c 264.92 186.602 18125 4589463
347.09/347.18	o 6689
348.60/348.61	c 266.018 186.602 18640 4613513
348.60/348.61	o 6687
349.70/349.74	c 266.895 186.602 19151 4634337
349.70/349.74	o 6685
349.70/349.80	c 266.943 186.602 19155 4643938
349.70/349.80	o 6684
349.80/349.87	c 266.997 186.602 19164 4648580
349.80/349.87	o 6683
350.10/350.19	c 267.261 186.602 19273 4659864
350.10/350.19	o 6679
350.30/350.39	c 267.412 186.602 19338 4662827
350.30/350.39	o 6678
352.00/352.01	c 268.669 186.602 20099 4680865
352.00/352.01	o 6676
352.00/352.07	c 268.724 186.602 20105 4686569
352.00/352.07	o 6675
352.10/352.17	c 268.811 186.602 20136 4694952
352.10/352.17	o 6674
353.01/353.09	c 269.546 186.602 20560 4709781
353.01/353.09	o 6673
353.40/353.41	c 269.799 186.602 20679 4720768
353.40/353.41	o 6672
353.59/353.67	c 270.004 186.602 20791 4740003
353.59/353.67	o 6671
354.00/354.09	c 270.318 186.602 20896 4744781
354.00/354.09	o 6670
356.20/356.21	c 271.914 186.602 21830 4773318
356.20/356.21	o 6667
356.20/356.29	c 271.978 186.602 21839 4783174
356.20/356.29	o 6666
356.30/356.35	c 272.033 186.602 21847 4792923
356.30/356.35	o 6664
363.09/363.12	c 277.137 186.602 12447 4826806
363.09/363.12	o 6663
363.49/363.52	c 277.461 186.602 12644 4840013
363.49/363.52	o 6662
367.50/367.54	c 280.523 186.602 14132 4877444
367.50/367.54	o 6661
367.50/367.59	c 280.569 186.602 14139 4880969
367.50/367.59	o 6660
367.60/367.66	c 280.629 186.602 14146 4889439
367.60/367.66	o 6659
367.70/367.72	c 280.678 186.602 14152 4896002
367.70/367.72	o 6658
368.70/368.74	c 281.458 186.602 14385 4901808
368.70/368.74	o 6656
371.59/371.67	c 283.695 186.602 15573 4918020
371.59/371.67	o 6655
384.60/384.65	c 293.35 186.602 22155 4957548
384.60/384.65	o 6654
385.29/385.37	c 293.931 186.602 22584 4968424
385.29/385.37	o 6653
385.70/385.70	c 294.18 186.602 22697 4984992
385.70/385.70	o 6652
386.29/386.38	c 294.737 186.602 10640 5006003
386.29/386.38	o 6649
386.60/386.66	c 294.961 186.602 10803 5018161
386.60/386.66	o 6647
390.00/390.04	c 297.498 186.602 12184 5037744
390.00/390.04	o 6646
390.90/390.95	c 298.13 186.602 12426 5044246
390.90/390.95	o 6644
391.99/392.00	c 298.946 186.602 12838 5065829
391.99/392.00	o 6643
392.10/392.15	c 299.055 186.602 12870 5068816
392.10/392.15	o 6642
393.50/393.51	c 300.102 186.602 13346 5092005
393.50/393.51	o 6641
405.60/405.67	c 309.304 186.602 17673 5135272
405.60/405.67	o 6640
408.89/408.99	c 311.832 186.602 19159 5149864
408.89/408.99	o 6639
409.20/409.20	c 312.004 186.602 19265 5158012
409.20/409.20	o 6637
409.59/409.64	c 312.351 186.602 19384 5164233
409.59/409.64	o 6636
412.70/412.70	c 314.693 186.602 20359 5185355
412.70/412.70	o 6635
419.80/419.85	c 320.085 186.73 23407 5202910
419.80/419.85	o 6633
421.20/421.25	c 321.211 186.73 11262 5234311
421.20/421.25	o 6632
421.90/421.93	c 321.715 186.73 11446 5237571
421.90/421.93	o 6631
422.10/422.15	c 321.887 186.73 11517 5251700
422.10/422.15	o 6629
423.79/423.83	c 323.18 186.73 12101 5275728
423.79/423.83	o 6628
428.40/428.44	c 326.621 186.73 13614 5306871
428.40/428.44	o 6627
428.80/428.83	c 326.924 186.73 13759 5331687
428.80/428.83	o 6626
429.79/429.88	c 327.73 186.73 14266 5347963
429.79/429.88	o 6624
429.90/429.96	c 327.804 186.73 14276 5352166
429.90/429.96	o 6623
432.39/432.46	c 329.598 186.73 15083 5360554
432.39/432.46	o 6621
432.50/432.58	c 329.701 186.73 15097 5363398
432.50/432.58	o 6619
432.80/432.89	c 329.96 186.73 15260 5376924
432.80/432.89	o 6618
433.60/433.69	c 330.572 186.73 15555 5386587
433.60/433.69	o 6617
433.80/433.87	c 330.722 186.73 15611 5392347
433.80/433.87	o 6616
433.90/433.95	c 330.792 186.73 15621 5402381
433.90/433.95	o 6615
434.30/434.30	c 331.064 186.73 15727 5407891
434.30/434.30	o 6614
436.79/436.88	c 333.005 186.73 16543 5422609
436.79/436.88	o 6613
438.40/438.41	c 334.178 186.73 17289 5438100
438.40/438.41	o 6612
438.40/438.48	c 334.242 186.73 17306 5446987
438.40/438.48	o 6611
439.50/439.57	c 335.029 186.73 17683 5454178
439.50/439.57	o 6610
439.90/439.91	c 335.293 186.73 17773 5465532
439.90/439.91	o 6609
440.01/440.03	c 335.394 186.73 17792 5469823
440.01/440.03	o 6608
447.30/447.30	c 340.917 186.73 20876 5493571
447.30/447.30	o 6606
621.41/621.45	c 473.242 200.582 13252 5680697
621.41/621.45	o 6605
622.40/622.49	c 474.049 200.582 13666 5709350
622.40/622.49	o 6604
623.00/623.02	c 474.468 200.582 13925 5735323
623.00/623.02	o 6603
625.70/625.70	c 476.513 200.582 14979 5772404
625.70/625.70	o 6601
625.80/625.87	c 476.663 200.582 15087 5785705
625.80/625.87	o 6599
626.30/626.36	c 477.054 200.582 15277 5803197
626.30/626.36	o 6597
630.30/630.34	c 480.122 200.582 16807 5855124
630.30/630.34	o 6596
630.40/630.42	c 480.185 200.582 16825 5860153
630.40/630.42	o 6595
630.40/630.49	c 480.248 200.582 16846 5868674
630.40/630.49	o 6594
630.80/630.85	c 480.534 200.582 16967 5885387
630.80/630.85	o 6593
630.90/630.91	c 480.587 200.582 16973 5891158
630.90/630.91	o 6592
631.00/631.00	c 480.658 200.582 16991 5899115
631.00/631.00	o 6591
631.30/631.31	c 480.886 200.582 17065 5903262
631.30/631.31	o 6589
632.60/632.61	c 481.906 200.582 17735 5911866
632.60/632.61	o 6587
633.40/633.43	c 482.544 200.582 18088 5934531
633.40/633.43	o 6586
639.40/639.44	c 486.985 200.582 20943 5953938
639.40/639.44	o 6585
639.70/639.76	c 487.245 200.582 21079 5962084
639.70/639.76	o 6584
642.60/642.66	c 489.456 200.582 22406 5992373
642.60/642.66	o 6583
644.20/644.23	c 490.686 200.582 10864 6002251
644.20/644.23	o 6582
644.40/644.41	c 490.823 200.582 10908 6004768
644.40/644.41	o 6581
644.80/644.89	c 491.211 200.582 11094 6015574
644.80/644.89	o 6579
645.80/645.88	c 491.947 200.582 11438 6027611
645.80/645.88	o 6578
647.90/647.95	c 493.551 200.582 12388 6054531
647.90/647.95	o 6576
648.30/648.37	c 493.88 200.582 12545 6075169
648.30/648.37	o 6575
648.60/648.63	c 494.085 200.582 12695 6089588
648.60/648.63	o 6574
648.70/648.76	c 494.198 200.582 12728 6097129
648.70/648.76	o 6573
648.90/648.93	c 494.345 200.582 12840 6106251
648.90/648.93	o 6571
648.90/648.99	c 494.397 200.582 12846 6111954
648.90/648.99	o 6570
651.91/651.93	c 496.644 200.582 14176 6139340
651.91/651.93	o 6569
652.80/652.81	c 497.32 200.582 14502 6153492
652.80/652.81	o 6568
655.30/655.36	c 499.278 200.582 15789 6177434
655.30/655.36	o 6567
656.10/656.16	c 499.901 200.582 16149 6201665
656.10/656.16	o 6566
657.90/657.95	c 501.285 200.582 16620 6210343
657.90/657.95	o 6565
671.80/671.82	c 511.651 200.582 10997 6240624
671.80/671.82	o 6564
672.30/672.34	c 512.042 200.582 11159 6252191
672.30/672.34	o 6562
674.00/674.08	c 513.398 200.582 11907 6278320
674.00/674.08	o 6561
677.30/677.37	c 515.871 200.582 12999 6291754
677.30/677.37	o 6560
679.30/679.31	c 517.355 200.582 13931 6320398
679.30/679.31	o 6559
680.60/680.64	c 518.374 200.582 14477 6349630
680.60/680.64	o 6558
691.91/691.91	c 526.643 200.582 18833 6410385
691.91/691.91	o 6556
692.20/692.21	c 526.867 200.582 18919 6416973
692.20/692.21	o 6555
692.70/692.75	c 527.289 200.582 19151 6433350
692.70/692.75	o 6554
692.80/692.81	c 527.338 200.582 19162 6437666
692.80/692.81	o 6553
692.91/692.95	c 527.444 200.582 19201 6441007
692.91/692.95	o 6552
693.60/693.67	c 527.998 200.582 19429 6453135
693.60/693.67	o 6551
694.90/694.99	c 529.062 200.582 20042 6473146
694.90/694.99	o 6550
695.20/695.28	c 529.275 200.582 20113 6479663
695.20/695.28	o 6549
713.00/713.07	c 542.666 200.582 11444 6517983
713.00/713.07	o 6548
713.50/713.54	c 543.004 200.582 11541 6525593
713.50/713.54	o 6547
714.00/714.03	c 543.416 200.582 11875 6541008
714.00/714.03	o 6546
717.60/717.63	c 546.169 200.582 14003 6569368
717.60/717.63	o 6545
719.70/719.72	c 547.766 200.582 14715 6588828
719.70/719.72	o 6544
719.80/719.82	c 547.85 200.582 14733 6593958
719.80/719.82	o 6543
730.50/730.57	c 556.011 200.582 18105 6613681
730.50/730.57	o 6541
732.40/732.44	c 557.503 200.582 19161 6631805
732.40/732.44	o 6540
732.50/732.51	c 557.565 200.582 19175 6639691
732.50/732.51	o 6539
733.30/733.34	c 558.2 200.582 19540 6659058
733.30/733.34	o 6537
733.40/733.42	c 558.275 200.582 19554 6667972
733.40/733.42	o 6536
733.40/733.49	c 558.327 200.582 19565 6670705
733.40/733.49	o 6535
733.50/733.56	c 558.395 200.582 19576 6678182
733.50/733.56	o 6534
733.61/733.65	c 558.467 200.582 19592 6691085
733.61/733.65	o 6533
733.90/733.99	c 558.724 200.582 19725 6697999
733.90/733.99	o 6532
734.01/734.04	c 558.768 200.582 19730 6702863
734.01/734.04	o 6531
754.00/754.04	c 573.964 200.582 14281 6745411
754.00/754.04	o 6530
754.61/754.62	c 574.408 200.582 14515 6754668
754.61/754.62	o 6529
757.70/757.77	c 576.796 200.582 15936 6784615
757.70/757.77	o 6528
760.41/760.42	c 578.808 200.582 17046 6799467
760.41/760.42	o 6527
761.50/761.58	c 579.706 200.582 17683 6820256
761.50/761.58	o 6526
761.91/761.92	c 579.965 200.582 17800 6830312
761.91/761.92	o 6525
763.41/763.49	c 581.151 200.582 18409 6863036
763.41/763.49	o 6524
771.40/771.45	c 587.266 200.582 22766 6904180
771.40/771.45	o 6523
773.90/773.95	c 589.13 200.582 11066 6929322
773.90/773.95	o 6522
777.71/777.79	c 592.044 200.582 12330 6955293
777.71/777.79	o 6521
778.60/778.64	c 592.703 200.582 12704 6976116
778.60/778.64	o 6519
778.81/778.82	c 592.843 200.582 12749 6982889
778.81/778.82	o 6518
779.10/779.15	c 593.1 200.582 12858 6991449
779.10/779.15	o 6516
779.30/779.39	c 593.296 200.582 12973 7003511
779.30/779.39	o 6514
779.51/779.59	c 593.443 200.582 13018 7007233
779.51/779.59	o 6513
783.60/783.68	c 596.612 200.582 15244 7064595
783.60/783.68	o 6511
784.21/784.21	c 597.03 200.582 15490 7089550
784.21/784.21	o 6510
785.00/785.02	c 597.691 200.582 16007 7101636
785.00/785.02	o 6509
785.70/785.74	c 598.232 200.582 16278 7112038
785.70/785.74	o 6508
787.90/787.95	c 599.98 200.582 17652 7124668
787.90/787.95	o 6507
789.70/789.79	c 601.392 200.582 18417 7153681
789.70/789.79	o 6506
790.00/790.03	c 601.591 200.582 18476 7156354
790.00/790.03	o 6505
793.30/793.38	c 604.156 200.582 19822 7181893
793.30/793.38	o 6504
794.00/794.03	c 604.654 200.582 20042 7190074
794.00/794.03	o 6503
794.11/794.19	c 604.782 200.582 20100 7199663
794.11/794.19	o 6502
794.51/794.50	c 605.03 200.582 20216 7211035
794.51/794.50	o 6501
801.81/801.88	c 610.69 200.582 22717 7240949
801.81/801.88	o 6499
823.60/823.61	c 626.803 200.582 12508 7285246
823.60/823.61	o 6498
823.70/823.77	c 626.935 200.582 12544 7292354
823.70/823.77	o 6496
824.91/824.99	c 627.868 200.582 13190 7307238
824.91/824.99	o 6495
828.31/828.39	c 630.509 200.582 15088 7346456
828.31/828.39	o 6494
830.10/830.11	c 631.817 200.582 15781 7357437
830.10/830.11	o 6493
830.50/830.59	c 632.206 200.582 16009 7371973
830.50/830.59	o 6491
832.80/832.83	c 633.913 200.582 17099 7397559
832.80/832.83	o 6490
833.11/833.14	c 634.172 200.582 17222 7411521
833.11/833.14	o 6489
833.41/833.48	c 634.431 200.582 17336 7421425
833.41/833.48	o 6487
833.50/833.56	c 634.495 200.582 17348 7428384
833.50/833.56	o 6486
833.60/833.65	c 634.569 200.582 17369 7435693
833.60/833.65	o 6484
834.21/834.21	c 635.017 200.582 17562 7446380
834.21/834.21	o 6483
835.10/835.15	c 635.73 200.582 17930 7460642
835.10/835.15	o 6482
835.21/835.27	c 635.828 200.582 17950 7466868
835.21/835.27	o 6481
836.71/836.78	c 636.99 200.582 18580 7495509
836.71/836.78	o 6480
836.81/836.85	c 637.047 200.582 18590 7501300
836.81/836.85	o 6479
836.90/836.93	c 637.112 200.582 18604 7506431
836.90/836.93	o 6478
837.01/837.03	c 637.195 200.582 18622 7514765
837.01/837.03	o 6477
838.60/838.64	c 638.417 200.582 19158 7541624
838.60/838.64	o 6476
838.71/838.71	c 638.472 200.582 19170 7548159
838.71/838.71	o 6475
838.71/838.76	c 638.52 200.582 19176 7554662
838.71/838.76	o 6474
838.81/838.86	c 638.608 200.582 19193 7561218
838.81/838.86	o 6473
838.90/838.92	c 638.653 200.582 19200 7564975
838.90/838.92	o 6472
841.41/841.50	c 640.668 200.582 20329 7582416
841.41/841.50	o 6471
857.60/857.61	c 652.934 200.582 14156 7658595
857.60/857.61	o 6470
860.11/860.17	c 654.814 200.582 14907 7665342
860.11/860.17	o 6468
860.31/860.34	c 654.949 200.582 14939 7667699
860.31/860.34	o 6467
861.11/861.10	c 655.522 200.582 15253 7694928
861.11/861.10	o 6466
861.21/861.25	c 655.626 200.582 15274 7697817
861.21/861.25	o 6465
861.31/861.33	c 655.694 200.582 15287 7706494
861.31/861.33	o 6463
862.10/862.12	c 656.305 200.582 15597 7717074
862.10/862.12	o 6461
862.20/862.21	c 656.379 200.582 15611 7722072
862.20/862.21	o 6460
862.20/862.27	c 656.432 200.582 15630 7730952
862.20/862.27	o 6458
863.11/863.12	c 657.054 200.582 15967 7736038
863.11/863.12	o 6457
874.10/874.18	c 665.336 200.582 19142 7754527
874.10/874.18	o 6456
874.31/874.35	c 665.471 200.582 19179 7759019
874.31/874.35	o 6455
874.41/874.44	c 665.547 200.582 19201 7770349
874.41/874.44	o 6451
874.70/874.72	c 665.767 200.582 19329 7782631
874.70/874.72	o 6450
874.70/874.79	c 665.828 200.582 19339 7789175
874.70/874.79	o 6446
874.81/874.84	c 665.871 200.582 19343 7793564
874.81/874.84	o 6445
876.11/876.11	c 666.817 200.582 19797 7811795
876.11/876.11	o 6444
879.40/879.41	c 669.379 200.582 21200 7836903
879.40/879.41	o 6442
879.60/879.62	c 669.557 200.582 21338 7842701
879.60/879.62	o 6441
882.30/882.31	c 671.632 200.582 22487 7860042
882.30/882.31	o 6440
883.00/883.05	c 672.199 200.582 22781 7876561
883.00/883.05	o 6439
888.21/888.20	c 676.117 200.582 12650 7891467
888.21/888.20	o 6438
888.30/888.35	c 676.226 200.582 12706 7894701
888.30/888.35	o 6437
890.20/890.25	c 677.707 200.582 13942 7923129
890.20/890.25	o 6435
890.30/890.31	c 677.75 200.582 13948 7926671
890.30/890.31	o 6434
890.30/890.38	c 677.803 200.582 13952 7932360
890.30/890.38	o 6432
890.41/890.48	c 677.891 200.582 13971 7945140
890.41/890.48	o 6431
891.60/891.62	c 678.788 200.582 14492 7967325
891.60/891.62	o 6430
893.60/893.64	c 680.35 200.582 15514 8001460
893.60/893.64	o 6428
893.81/893.88	c 680.531 200.582 15586 8007337
893.81/893.88	o 6424
893.90/893.96	c 680.602 200.582 15597 8019853
893.90/893.96	o 6423
899.90/900.00	c 685.085 200.582 17729 8029250
899.90/900.00	o 6422
900.71/900.74	c 685.667 200.582 18079 8033582
900.71/900.74	o 6420
901.31/901.35	c 686.128 200.582 18273 8048967
901.31/901.35	o 6419
901.50/901.51	c 686.259 200.582 18319 8061506
901.50/901.51	o 6418
905.90/905.94	c 689.67 200.582 20528 8091923
905.90/905.94	o 6417
906.11/906.15	c 689.837 200.582 20637 8102459
906.11/906.15	o 6416
906.20/906.23	c 689.905 200.582 20649 8109903
906.20/906.23	o 6415
908.80/908.85	c 691.926 200.582 22026 8125010
908.80/908.85	o 6414
912.00/912.00	c 694.314 200.582 23201 8130678
912.00/912.01	o 6413
913.01/913.06	c 695.132 200.582 11150 8147807
913.01/913.06	o 6412
913.10/913.17	c 695.233 200.582 11181 8160296
913.10/913.17	o 6411
913.71/913.77	c 695.687 200.582 11420 8166965
913.71/913.77	o 6410
915.00/915.08	c 696.702 200.582 12035 8192537
915.00/915.08	o 6409
915.30/915.32	c 696.888 200.582 12078 8196436
915.30/915.32	o 6408
915.41/915.48	c 697.017 200.582 12117 8209521
915.41/915.48	o 6407
915.80/915.81	c 697.298 200.582 12351 8220402
915.80/915.81	o 6406
915.90/915.90	c 697.376 200.582 12363 8230540
915.90/915.90	o 6403
918.20/918.27	c 699.182 200.582 13750 8247488
918.20/918.27	o 6402
960.70/960.78	c 731.606 200.582 11778 8312760
960.70/960.78	o 6401
962.51/962.59	c 733.028 200.582 12602 8343361
962.51/962.59	o 6400
962.70/962.74	c 733.153 200.582 12637 8359934
962.70/962.74	o 6398
963.00/963.09	c 733.445 200.582 12826 8386938
963.00/963.09	o 6397
963.10/963.16	c 733.505 200.582 12833 8392896
963.10/963.16	o 6396
963.51/963.52	c 733.793 200.582 12971 8409878
963.51/963.52	o 6395
963.61/963.62	c 733.876 200.582 12987 8418207
963.61/963.62	o 6394
967.11/967.11	c 736.579 200.582 14246 8439590
967.11/967.11	o 6393
967.30/967.36	c 736.784 200.582 14394 8443809
967.30/967.36	o 6392
968.70/968.74	c 737.84 200.582 15015 8469441
968.70/968.74	o 6390
973.71/973.70	c 741.639 200.582 17397 8516854
973.71/973.70	o 6389
977.30/977.38	c 744.439 200.582 18879 8557792
977.30/977.38	o 6387
978.11/978.17	c 745.028 200.582 19245 8563343
978.11/978.17	o 6386
986.30/986.39	c 751.401 200.582 11609 8604002
986.30/986.39	o 6385
988.71/988.79	c 753.3 200.582 12726 8620057
988.71/988.79	o 6383
991.61/991.63	c 755.489 200.582 13679 8640354
991.61/991.63	o 6381
991.91/991.96	c 755.749 200.582 13828 8644784
991.91/991.96	o 6380
992.21/992.24	c 755.972 200.582 13940 8655184
992.21/992.24	o 6379
999.41/999.49	c 761.392 200.582 17273 8697608
999.41/999.49	o 6378
999.51/999.57	c 761.461 200.582 17281 8705037
999.51/999.57	o 6376
999.70/999.70	c 761.558 200.582 17308 8722614
999.70/999.70	o 6375
999.81/999.82	c 761.653 200.582 17338 8728340
999.81/999.82	o 6374
1004.71/1004.76	c 765.43 200.582 19772 8759377
1004.71/1004.76	o 6373
1005.21/1005.28	c 765.85 200.582 20021 8775085
1005.21/1005.28	o 6372
1006.11/1006.14	c 766.55 200.582 20536 8790330
1006.11/1006.14	o 6371
1006.21/1006.24	c 766.637 200.582 20562 8795887
1006.21/1006.24	o 6370
1006.91/1006.91	c 767.145 200.582 20778 8805097
1006.91/1006.91	o 6369
1037.60/1037.66	c 791.04 200.582 15305 8883861
1037.60/1037.66	o 6368
1061.51/1061.56	c 809.277 200.582 12153 8998101
1061.51/1061.56	o 6366
1066.31/1066.30	c 812.766 200.582 13595 9005399
1066.31/1066.30	o 6365
1073.81/1073.87	c 818.559 200.582 16861 9044815
1073.81/1073.87	o 6364
1074.11/1074.16	c 818.785 200.582 16944 9048665
1074.11/1074.16	o 6363
1077.92/1077.92	c 821.706 200.582 18318 9082241
1077.92/1077.92	o 6362
1084.71/1084.76	c 826.926 200.582 20991 9110212
1084.71/1084.76	o 6361
1086.71/1086.71	c 828.467 200.582 21851 9140129
1086.71/1086.71	o 6359
1090.31/1090.39	c 831.304 200.582 23337 9159503
1090.31/1090.39	o 6358
1092.10/1092.18	c 832.684 200.582 11583 9172334
1092.10/1092.18	o 6357
1096.21/1096.24	c 835.858 200.582 13782 9195361
1096.21/1096.24	o 6356
1098.82/1098.81	c 837.786 200.582 14337 9203364
1098.82/1098.81	o 6355
1100.51/1100.58	c 839.158 200.582 15011 9223991
1100.51/1100.58	o 6353
1101.91/1101.98	c 840.251 200.582 15650 9254503
1101.91/1101.98	o 6352
1104.31/1104.38	c 842.115 200.582 17173 9276867
1104.31/1104.38	o 6351
1108.90/1108.92	c 845.528 200.582 19003 9301973
1108.90/1108.92	o 6350
1111.81/1111.88	c 847.801 200.582 20943 9321491
1111.81/1111.88	o 6349
1112.11/1112.19	c 848.047 200.582 21074 9334754
1112.11/1112.19	o 6348
1116.51/1116.50	c 851.38 200.582 22812 9360190
1116.51/1116.50	o 6347
1121.30/1121.30	c 855.046 200.582 12410 9392431
1121.30/1121.30	o 6346
1122.81/1122.82	c 856.192 200.582 12907 9400788
1122.81/1122.82	o 6345
1124.51/1124.57	c 857.542 200.582 13844 9415902
1124.51/1124.57	o 6344
1125.01/1125.08	c 857.928 200.582 13969 9420778
1125.01/1125.08	o 6343
1125.11/1125.20	c 858.032 200.582 13989 9425829
1125.11/1125.20	o 6342
1128.20/1128.27	c 860.433 200.582 16123 9456801
1128.20/1128.27	o 6341
1131.61/1131.66	c 863.017 200.582 17435 9483223
1131.61/1131.66	o 6339
1132.41/1132.46	c 863.624 200.582 17636 9499980
1132.41/1132.46	o 6338
1133.01/1133.08	c 864.081 200.582 17889 9507030
1133.01/1133.08	o 6337
1135.51/1135.55	c 865.989 200.582 18942 9523866
1135.51/1135.55	o 6336
1155.91/1155.96	c 881.638 200.582 17190 9599227
1155.91/1155.96	o 6335
1456.11/1456.16	c 1112.71 204.859 24745 9952575
1456.11/1456.16	o 6334
1459.72/1459.71	c 1115.46 204.859 13934 9986552
1459.72/1459.71	o 6333
1461.32/1461.33	c 1116.73 204.859 14520 10018154
1461.32/1461.33	o 6332
1469.41/1469.45	c 1122.84 204.859 18302 10061074
1469.41/1469.45	o 6331
1472.52/1472.53	c 1125.19 204.859 19487 10083070
1472.52/1472.53	o 6329
1473.61/1473.69	c 1126.09 204.859 20152 10101943
1473.61/1473.69	o 6327
1474.41/1474.47	c 1126.69 204.859 20425 10117655
1474.41/1474.47	o 6326
1474.72/1474.72	c 1126.88 204.859 20486 10132289
1474.72/1474.72	o 6325
1475.02/1475.04	c 1127.13 204.859 20572 10140330
1475.02/1475.04	o 6324
1475.12/1475.12	c 1127.19 204.859 20588 10147489
1475.12/1475.12	o 6323
1478.12/1478.16	c 1129.59 204.859 22125 10161416
1478.12/1478.16	o 6322
1480.71/1480.73	c 1131.56 204.859 10745 10186911
1480.71/1480.73	o 6321
1481.81/1481.82	c 1132.41 204.859 11299 10201762
1481.81/1481.82	o 6320
1482.41/1482.44	c 1132.9 204.859 11517 10210501
1482.41/1482.44	o 6319
1482.82/1482.89	c 1133.25 204.859 11653 10224188
1482.82/1482.89	o 6318
1483.02/1483.01	c 1133.34 204.859 11698 10227587
1483.02/1483.01	o 6317
1483.22/1483.20	c 1133.5 204.859 11737 10236947
1483.22/1483.20	o 6314
1484.92/1484.95	c 1134.81 204.859 12230 10251761
1484.92/1484.95	o 6313
1485.61/1485.63	c 1135.36 204.859 12438 10263595
1485.61/1485.63	o 6312
1485.61/1485.68	c 1135.4 204.859 12442 10269478
1485.61/1485.68	o 6311
1486.62/1486.68	c 1136.16 204.859 12765 10282095
1486.62/1486.68	o 6309
1486.82/1486.86	c 1136.31 204.859 12811 10285872
1486.82/1486.86	o 6308
1487.42/1487.45	c 1136.78 204.859 13131 10299257
1487.42/1487.45	o 6307
1489.51/1489.51	c 1138.36 204.859 14083 10324118
1489.51/1489.51	o 6306
1492.41/1492.43	c 1140.57 204.859 15300 10356129
1492.41/1492.43	o 6305
1493.61/1493.61	c 1141.45 204.859 15718 10369530
1493.61/1493.61	o 6304
1494.02/1494.02	c 1141.79 204.859 15880 10374395
1494.02/1494.02	o 6303
1495.22/1495.23	c 1142.72 204.859 16419 10388640
1495.22/1495.23	o 6302
1495.31/1495.34	c 1142.8 204.859 16442 10401509
1495.31/1495.34	o 6301
1495.41/1495.49	c 1142.91 204.859 16484 10408524
1495.41/1495.49	o 6300
1529.51/1529.52	c 1168.77 204.859 13661 10471279
1529.51/1529.52	o 6299
1531.61/1531.69	c 1170.43 204.859 14814 10491699
1531.61/1531.69	o 6298
1533.21/1533.25	c 1171.61 204.859 15540 10503118
1533.21/1533.25	o 6297
1541.02/1541.09	c 1177.53 204.859 19490 10547347
1541.02/1541.09	o 6296
1541.42/1541.46	c 1177.83 204.859 19655 10566916
1541.42/1541.46	o 6295
1542.81/1542.85	c 1178.86 204.859 20394 10573231
1542.81/1542.85	o 6294
1544.42/1544.40	c 1180.05 204.859 21130 10587586
1544.42/1544.40	o 6293
1548.72/1548.74	c 1183.34 204.859 22688 10618475
1548.72/1548.74	o 6292
1548.91/1548.99	c 1183.54 204.859 22814 10622622
1548.91/1548.99	o 6291
1550.42/1550.42	c 1184.65 204.859 10763 10641569
1550.42/1550.42	o 6289
1552.12/1552.18	c 1186.01 204.859 11590 10660185
1552.12/1552.18	o 6287
1552.71/1552.78	c 1186.47 204.859 11761 10665035
1552.71/1552.78	o 6286
1554.22/1554.22	c 1187.58 204.859 12412 10683099
1554.22/1554.22	o 6285
1554.91/1554.93	c 1188.12 204.859 12597 10690250
1554.91/1554.93	o 6284
1557.92/1557.99	c 1190.51 204.859 14402 10716580
1557.92/1557.99	o 6283
1565.52/1565.51	c 1196.26 204.859 17786 10774647
1565.52/1565.51	o 6282
1565.82/1565.80	c 1196.47 204.859 17906 10779391
1565.82/1565.80	o 6281
1565.92/1565.91	c 1196.56 204.859 17927 10784084
1565.92/1565.91	o 6279
1566.02/1566.02	c 1196.65 204.859 17945 10791497
1566.02/1566.02	o 6278
1566.11/1566.10	c 1196.71 204.859 17957 10801006
1566.11/1566.10	o 6276
1566.21/1566.27	c 1196.86 204.859 17988 10814446
1566.21/1566.27	o 6275
1566.32/1566.34	c 1196.92 204.859 18000 10820934
1566.32/1566.34	o 6274
1566.82/1566.89	c 1197.34 204.859 18235 10833889
1566.82/1566.89	o 6273
1566.91/1566.97	c 1197.4 204.859 18245 10844209
1566.91/1566.97	o 6271
1567.42/1567.43	c 1197.73 204.859 18348 10854129
1567.42/1567.43	o 6269
1567.81/1567.80	c 1198.01 204.859 18476 10859190
1567.81/1567.80	o 6268
1568.01/1568.06	c 1198.2 204.859 18543 10862470
1568.01/1568.06	o 6267
1568.11/1568.12	c 1198.25 204.859 18548 10866742
1568.11/1568.12	o 6265
1568.22/1568.24	c 1198.34 204.859 18574 10882220
1568.22/1568.24	o 6264
1609.12/1609.13	c 1228.93 204.859 26642 10929272
1609.12/1609.13	o 6263
1610.01/1610.09	c 1229.67 204.859 11402 10948982
1610.01/1610.09	o 6262
1612.42/1612.43	c 1231.48 204.859 12645 10971313
1612.42/1612.43	o 6261
1631.71/1631.71	c 1246.12 204.859 21339 11060067
1631.71/1631.71	o 6260
1652.01/1652.00	c 1261.49 204.859 17292 11135687
1652.01/1652.00	o 6259
1653.12/1653.18	c 1262.41 204.859 17861 11144727
1653.12/1653.18	o 6258
1654.62/1654.68	c 1263.56 204.859 18318 11154772
1654.62/1654.68	o 6257
1656.82/1656.87	c 1265.28 204.859 19812 11172532
1656.82/1656.87	o 6256
1657.52/1657.50	c 1265.79 204.859 20068 11188269
1657.52/1657.50	o 6255
1657.62/1657.65	c 1265.91 204.859 20092 11195318
1657.62/1657.65	o 6254
1658.01/1658.02	c 1266.21 204.859 20256 11201110
1658.01/1658.02	o 6253
1659.02/1659.02	c 1266.99 204.859 20582 11208646
1659.02/1659.02	o 6252
1669.72/1669.77	c 1275.01 204.859 11110 11242185
1669.72/1669.77	o 6250
1670.22/1670.22	c 1275.37 204.859 11189 11245169
1670.22/1670.22	o 6249
1672.41/1672.45	c 1277.13 204.859 12134 11264164
1672.41/1672.45	o 6247
1677.72/1677.78	c 1281.15 204.859 14284 11312977
1677.72/1677.78	o 6246
1677.91/1677.92	c 1281.26 204.859 14306 11319930
1677.91/1677.92	o 6245
1679.12/1679.15	c 1282.2 204.859 14796 11343610
1679.12/1679.15	o 6244
1679.41/1679.46	c 1282.47 204.859 14928 11355647
1679.41/1679.46	o 6243
1690.02/1690.03	c 1290.38 204.859 18400 11375573
1690.02/1690.03	o 6242
1692.92/1692.91	c 1292.61 204.859 19985 11405736
1692.92/1692.91	o 6241
1693.62/1693.61	c 1293.15 204.859 20302 11422343
1693.62/1693.61	o 6240
1698.12/1698.19	c 1296.59 204.859 22456 11447180
1698.12/1698.19	o 6238
1699.21/1699.21	c 1297.36 204.859 22750 11452165
1699.21/1699.21	o 6237
1700.01/1700.07	c 1298.04 204.859 23231 11470397
1700.01/1700.07	o 6236
1702.82/1702.88	c 1300.15 204.859 11979 11478181
1702.82/1702.88	o 6235
1703.32/1703.32	c 1300.51 204.859 12126 11491361
1703.32/1703.32	o 6233
1703.62/1703.68	c 1300.78 204.859 12287 11494504
1703.62/1703.68	o 6232
1703.72/1703.78	c 1300.86 204.859 12307 11503902
1703.72/1703.78	o 6231
1704.72/1704.73	c 1301.57 204.859 12651 11509780
1704.72/1704.73	o 6229
1707.32/1707.31	c 1303.52 204.859 13965 11535745
1707.32/1707.31	o 6228
1713.22/1713.21	c 1308.03 204.859 16172 11581592
1713.22/1713.21	o 6227
1713.52/1713.58	c 1308.32 204.859 16312 11584978
1713.52/1713.58	o 6226
1714.22/1714.27	c 1308.86 204.859 16499 11592968
1714.22/1714.27	o 6225
1728.02/1728.10	c 1319.47 204.859 22408 11643343
1728.02/1728.10	o 6224
1734.92/1734.94	c 1324.69 204.859 13123 11694797
1734.92/1734.94	o 6223
1738.21/1738.22	c 1327.24 204.859 14691 11731153
1738.21/1738.22	o 6222
1738.42/1738.49	c 1327.45 204.859 14747 11735187
1738.42/1738.49	o 6221
1745.02/1745.08	c 1332.5 204.859 17822 11744653
1745.02/1745.08	o 6220
1800.03/1800.00	s SATISFIABLE
1800.03/1800.00	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 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 x8046 x8047 x8048 x8049 x8050 x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 x8079 x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 x8087 x8088 x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 x8102 -x8103 x8104 x8105 x8106 x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 x8162 x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 x8174 x8175 x8176 x8177 -x8178 -x8179 x8180 x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 x8281 x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 x8304 -x8305 -x8306 -x8307 -x8308 -x8309 x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 x8321 -x8322 -x8323 -x8324 x8325 -x8326 x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 x8378 x8379 x8380 x8381 -x8382 x8383 -x8384 x8385 x8386 x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 x8489 -x8490 x8491 x8492 x8493 x8494 x8495 -x8496 x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 x8680 x8681 x8682 x8683 x8684 x8685 x8686 x8687 x8688 x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 x8770 -x8771 -x8772 -x8773 -x8774 -x8775 x8776 x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 x8991 -x8992 -x8993 x8994 x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 x9037 x9038 x9039 x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 x9051 x9052 x9053 x9054 x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 x9277 x9278 x9279 -x9280 x9281 x9282 x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 x9348 x9349 x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 x9357 x9358 x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 x9487 x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 x9584 -x9585 -x9586 -x9587 -x9588 x9589 -x9590 -x9591 x9592 x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 x9670 -x9671 x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 x9784 x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 x9838 x9839 x9840 x9841 x9842 x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 x10065 x10066 -x10067 x10068 x10069 x10070 x10071 x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 x10150 x10151 x10152 x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 x10237 x10238 x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 x10254 -x10255 -x10256 -x10257 -x10258 x10259 x10260 -x10261 x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 x10361 x10362 x10363 x10364 x10365 x10366 x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 x10466 x10467 x10468 x10469 -x10470 x10471 -x10472 x10473 x10474 -x10475 -x10476 -x10477 -x10478 x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 x10567 x10568 x10569 x10570 x10571 x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 x10580 x10581 x10582 x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 x10628 x10629 -x10630 -x10631 -x10632 -x10633 x10634 x10635 x10636 x10637 -x10638 -x10639 x10640 x10641 x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 x10742 x10743 x10744 x10745 x10746 x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 x10857 -x10858 x10859 x10860 x10861 x10862 x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 x10945 -x10946 -x10947 x10948 x10949 x10950 -x10951 x10952 x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 x11064 -x11065 x11066 x11067 x11068 x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 x11161 x11162 x11163 x11164 x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 x11245 -x11246 -x11247 x11248 x11249 x11250 x11251 x11252 x11253 x11254 -x11255 x11256 x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 x11462 x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 x11552 x11553 x11554 x11555 x11556 x11557 x11558 x11559 x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 x11659 x11660 x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 x11751 x11752 -x11753 x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 x11956

OK	6220

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699062-1278462077/watcher-2699062-1278462077 -o /tmp/evaluation-result-2699062-1278462077/solver-2699062-1278462077 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699062-1278462077.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.02 1.94 4/178 13203
/proc/meminfo: memFree=29249324/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=2136 CPUtime=0
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 14421208 2187264 171 4089446400 134512640 136422188 4294255536 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13203/statm: 534 171 144 467 0 65 0

[startup+0.0803031 s]
/proc/loadavg: 2.06 2.02 1.94 4/178 13203
/proc/meminfo: memFree=29249324/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=2796 CPUtime=0.07
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 421 0 0 0 7 0 0 0 25 0 1 0 14421208 2863104 341 4089446400 134512640 136422188 4294255536 18446744073709551615 135378276 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13203/statm: 699 341 144 467 0 230 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2796

[startup+0.100297 s]
/proc/loadavg: 2.06 2.02 1.94 4/178 13203
/proc/meminfo: memFree=29249324/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=3060 CPUtime=0.09
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 462 0 0 0 9 0 0 0 25 0 1 0 14421208 3133440 382 4089446400 134512640 136422188 4294255536 18446744073709551615 135205617 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13203/statm: 765 382 144 467 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3060

[startup+0.300262 s]
/proc/loadavg: 2.06 2.02 1.94 4/178 13203
/proc/meminfo: memFree=29249324/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=5452 CPUtime=0.29
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 1106 0 0 0 29 0 0 0 25 0 1 0 14421208 5582848 993 4089446400 134512640 136422188 4294255536 18446744073709551615 135161950 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13203/statm: 1363 993 145 467 0 894 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5452

[startup+0.700198 s]
/proc/loadavg: 2.06 2.02 1.94 4/178 13203
/proc/meminfo: memFree=29249324/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=23160 CPUtime=0.69
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 5484 0 0 0 69 0 0 0 25 0 1 0 14421208 23715840 5371 4089446400 134512640 136422188 4294255536 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13203/statm: 5790 5377 187 467 0 5321 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23160

[startup+1.50106 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 13204
/proc/meminfo: memFree=29166988/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=167252 CPUtime=1.49
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 43260 0 0 0 145 4 0 0 25 0 1 0 14421208 171266048 39657 4089446400 134512640 136422188 4294255536 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 41813 39657 207 467 0 41344 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167252

[startup+3.10079 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 13204
/proc/meminfo: memFree=29087256/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=174088 CPUtime=3.09
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 45094 0 0 0 271 38 0 0 25 0 1 0 14421208 178266112 40741 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 43522 40741 237 467 0 43053 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174088

[startup+6.30026 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 13204
/proc/meminfo: memFree=29085812/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=174496 CPUtime=6.29
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 45242 0 0 0 530 99 0 0 25 0 1 0 14421208 178683904 40861 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 43624 40861 237 467 0 43155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 174496

[startup+12.7002 s]
/proc/loadavg: 2.05 2.02 1.94 3/179 13204
/proc/meminfo: memFree=29083756/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=176080 CPUtime=12.69
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 45624 0 0 0 1012 257 0 0 25 0 1 0 14421208 180305920 41236 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 44020 41236 237 467 0 43551 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 176080

[startup+25.501 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 13205
/proc/meminfo: memFree=29079144/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=179408 CPUtime=25.49
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 46485 0 0 0 1996 553 0 0 25 0 1 0 14421208 183713792 42081 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 44852 42081 237 467 0 44383 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 179408

[startup+51.1007 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 13205
/proc/meminfo: memFree=29069548/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=186980 CPUtime=51.09
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 48377 0 0 0 3924 1185 0 0 25 0 1 0 14421208 191467520 43964 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 46745 43964 237 467 0 46276 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 186980

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 13207
/proc/meminfo: memFree=29066900/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=188828 CPUtime=102.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 48879 0 0 0 7818 2412 0 0 25 0 1 0 14421208 193359872 44437 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 47207 44437 237 467 0 46738 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 188828

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13208
/proc/meminfo: memFree=29064848/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=190812 CPUtime=162.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 49413 0 0 0 12366 3864 0 0 25 0 1 0 14421208 195391488 44948 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 47703 44948 237 467 0 47234 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 190812

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13210
/proc/meminfo: memFree=29064428/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=191076 CPUtime=222.29
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 49523 0 0 0 16952 5277 0 0 25 0 1 0 14421208 195661824 45019 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 47769 45019 237 467 0 47300 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 191076

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 13211
/proc/meminfo: memFree=29064240/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=191076 CPUtime=282.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 49577 0 0 0 21525 6705 0 0 25 0 1 0 14421208 195661824 45020 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 47769 45020 237 467 0 47300 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 191076

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 13213
/proc/meminfo: memFree=29064172/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=191076 CPUtime=342.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 49653 0 0 0 26116 8114 0 0 25 0 1 0 14421208 195661824 45021 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 47769 45021 237 467 0 47300 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 191076

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 13215
/proc/meminfo: memFree=29064244/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=191076 CPUtime=402.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 49694 0 0 0 30670 9560 0 0 25 0 1 0 14421208 195661824 45021 4089446400 134512640 136422188 4294255536 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 47769 45021 237 467 0 47300 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 191076

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13216
/proc/meminfo: memFree=29059716/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=195552 CPUtime=462.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 50831 0 0 0 35242 10988 0 0 25 0 1 0 14421208 200245248 46130 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 48888 46130 237 467 0 48419 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 195552

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13218
/proc/meminfo: memFree=29052980/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=201900 CPUtime=522.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 52423 0 0 0 39852 12378 0 0 25 0 1 0 14421208 206745600 47722 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 50475 47722 237 467 0 50006 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 201900

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13219
/proc/meminfo: memFree=29048708/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=582.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53271 0 0 0 44375 13855 0 0 25 0 1 0 14421208 210321408 48570 4089446400 134512640 136422188 4294255536 18446744073709551615 135026984 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48570 237 467 0 50879 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 205392

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13221
/proc/meminfo: memFree=29048396/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=642.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53291 0 0 0 48917 15314 0 0 25 0 1 0 14421208 210321408 48573 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48573 237 467 0 50879 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 205392

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13226
/proc/meminfo: memFree=29047948/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=822.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53372 0 0 0 62579 19651 0 0 25 0 1 0 14421208 210321408 48581 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48581 237 467 0 50879 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 205392

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13227
/proc/meminfo: memFree=29047880/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=882.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53419 0 0 0 67161 21069 0 0 25 0 1 0 14421208 210321408 48585 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48585 237 467 0 50879 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 205392

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13229
/proc/meminfo: memFree=29047568/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=942.3
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53449 0 0 0 71751 22479 0 0 25 0 1 0 14421208 210321408 48585 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48585 237 467 0 50879 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 205392

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13231
/proc/meminfo: memFree=29047516/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=1002.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53472 0 0 0 76353 23878 0 0 25 0 1 0 14421208 210321408 48586 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48586 237 467 0 50879 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 205392

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13232
/proc/meminfo: memFree=29047332/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=1062.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53479 0 0 0 80983 25248 0 0 25 0 1 0 14421208 210321408 48586 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48586 237 467 0 50879 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 205392

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13234
/proc/meminfo: memFree=29047160/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=1122.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53497 0 0 0 85580 26651 0 0 25 0 1 0 14421208 210321408 48586 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48586 237 467 0 50879 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 205392

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 13235
/proc/meminfo: memFree=29046848/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=1182.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53507 0 0 0 90132 28099 0 0 25 0 1 0 14421208 210321408 48586 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48586 237 467 0 50879 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 205392

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 13237
/proc/meminfo: memFree=29046556/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=205392 CPUtime=1242.32
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53507 0 0 0 94660 29572 0 0 25 0 1 0 14421208 210321408 48586 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51348 48586 237 467 0 50879 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 205392

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13239
/proc/meminfo: memFree=29045760/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=206184 CPUtime=1302.32
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 53694 0 0 0 99255 30977 0 0 25 0 1 0 14421208 211132416 48773 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 51546 48773 237 467 0 51077 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 206184

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13240
/proc/meminfo: memFree=29043088/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=208824 CPUtime=1362.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54376 0 0 0 103942 32289 0 0 25 0 1 0 14421208 213835776 49455 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52206 49455 237 467 0 51737 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 208824

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13242
/proc/meminfo: memFree=29042420/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209220 CPUtime=1422.32
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54458 0 0 0 108598 33634 0 0 25 0 1 0 14421208 214241280 49537 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52305 49537 237 467 0 51836 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 209220

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/179 13243
/proc/meminfo: memFree=29041864/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209772 CPUtime=1482.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54610 0 0 0 113278 34953 0 0 25 0 1 0 14421208 214806528 49676 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52443 49676 237 467 0 51974 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 209772

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 13245
/proc/meminfo: memFree=29042048/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209772 CPUtime=1542.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54632 0 0 0 117845 36386 0 0 25 0 1 0 14421208 214806528 49676 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52443 49676 237 467 0 51974 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 209772

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13247
/proc/meminfo: memFree=29041616/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209772 CPUtime=1602.31
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54656 0 0 0 122381 37850 0 0 25 0 1 0 14421208 214806528 49676 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52443 49676 237 467 0 51974 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 209772

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13248
/proc/meminfo: memFree=29041804/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209772 CPUtime=1662.32
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54668 0 0 0 126943 39289 0 0 25 0 1 0 14421208 214806528 49676 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52443 49676 237 467 0 51974 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 209772

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13250
/proc/meminfo: memFree=29041240/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209772 CPUtime=1722.32
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54690 0 0 0 131504 40728 0 0 25 0 1 0 14421208 214806528 49676 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52443 49676 237 467 0 51974 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 209772

[startup+1782.3 s]
/proc/loadavg: 1.95 1.98 1.95 3/179 13279
/proc/meminfo: memFree=29231204/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209772 CPUtime=1782.32
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54695 0 0 0 136091 42141 0 0 25 0 1 0 14421208 214806528 49676 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52443 49676 237 467 0 51974 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 209772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.97 1.98 1.95 3/179 13280
/proc/meminfo: memFree=29228788/32951124 swapFree=67111528/67111528
[pid=13203] ppid=13201 vsize=209772 CPUtime=1800.03
/proc/13203/stat : 13203 (pbct) R 13201 13203 12484 0 -1 4202496 54695 0 0 0 137412 42591 0 0 25 0 1 0 14421208 214806528 49676 4089446400 134512640 136422188 4294255536 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13203/statm: 52443 49676 237 467 0 51974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 209772

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.02
CPU time (s): 1800.04
CPU user time (s): 1374.13
CPU system time (s): 425.917
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 209772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1374.13
system time used= 425.917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54696
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= 1
involuntary context switches= 4291

runsolver used 2.48462 second user time and 5.76212 second system time

The end

Begin job on node118 at 2010-07-07 02:21:17
IDJOB=2699062
IDBENCH=79092
IDSOLVER=1212
FILE ID=node118/2699062-1278462077
PBS_JOBID= 11233757
Free space on /tmp= 73748 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6030_9-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699062-1278462077/watcher-2699062-1278462077 -o /tmp/evaluation-result-2699062-1278462077/solver-2699062-1278462077 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699062-1278462077.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1889fba1555b8697309aed0b2b80cc12
RANDOM SEED=1315258092

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.818
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.72
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.818
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.818
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.76
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.818
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.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29249852 kB
Buffers:        108156 kB
Cached:        3192748 kB
SwapCached:          0 kB
Active:         998844 kB
Inactive:      2562496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29249852 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3408 kB
Writeback:           0 kB
AnonPages:      260424 kB
Mapped:          15828 kB
Slab:            77308 kB
PageTables:       5336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   408068 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= 73744 MiB
End job on node118 at 2010-07-07 02:51:19