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.10/0.15	c constraints 0/892 clauses 0/24941 units 0
0.10/0.15	c vars 9051
8.00/8.04	c 6.52601 213.199 429 2438084
8.00/8.04	o 14759
8.49/8.53	c 6.84996 215.969 486 2688105
8.49/8.53	o 13655
9.09/9.11	c 7.2409 215.969 578 2988535
9.09/9.11	o 13649
9.19/9.21	c 7.31089 215.969 615 3036960
9.19/9.21	o 10864
9.29/9.31	c 7.38488 215.969 644 3089194
9.29/9.31	o 10757
9.90/9.92	c 7.83081 216.098 873 3198734
9.90/9.92	o 9981
10.39/10.44	c 8.21175 216.23 957 3239984
10.39/10.44	o 9978
10.49/10.58	c 8.29374 216.23 975 3306548
10.49/10.58	o 8612
10.99/11.04	c 8.63869 216.23 1088 3376212
10.99/11.04	o 8068
11.30/11.39	c 8.89365 216.23 1123 3407293
11.30/11.39	o 8061
11.69/11.74	c 9.14961 216.359 1235 3483261
11.69/11.74	o 7722
11.79/11.85	c 9.23559 216.359 1255 3523424
11.79/11.85	o 7712
12.69/12.78	c 9.92449 216.359 1417 3608238
12.69/12.78	o 7309
15.29/15.32	c 11.6592 216.746 1933 3767520
15.29/15.32	o 6611
16.79/16.82	c 12.7571 216.875 2248 3942322
16.79/16.82	o 5100
54.29/54.38	c 37.9972 218.91 6414 4491910
54.29/54.38	o 5099
72.79/72.85	c 50.6953 219.812 8470 4827303
72.79/72.85	o 5097
74.09/74.12	c 51.5662 219.812 8607 4923360
74.09/74.12	o 5089
76.20/76.20	c 53.0149 219.941 8858 5143189
76.20/76.20	o 5058
81.29/81.34	c 56.5084 220.07 9375 5366564
81.29/81.34	o 4697
81.69/81.79	c 56.8464 220.199 9409 5382635
81.69/81.79	o 4696
93.70/93.79	c 64.8631 220.715 10715 5526156
93.70/93.79	o 4692
93.89/93.99	c 65.0101 220.715 10735 5584886
93.89/93.99	o 4686
94.09/94.14	c 65.1231 220.715 10748 5637074
94.09/94.14	o 4669
94.49/94.52	c 65.3891 220.715 10793 5682211
94.49/94.52	o 4667
95.09/95.10	c 65.811 220.715 10859 5771771
95.09/95.10	o 4633
96.99/97.04	c 67.1378 220.844 11069 6006394
96.99/97.04	o 4444
97.19/97.25	c 67.2918 220.844 11084 6032851
97.19/97.25	o 4440
99.69/99.77	c 69.0545 220.973 11292 6142314
99.69/99.77	o 4437
99.99/100.05	c 69.2485 220.973 11317 6168057
99.99/100.05	o 4436
100.49/100.53	c 69.5754 220.973 11358 6216234
100.49/100.53	o 4427
100.79/100.85	c 69.8024 220.973 11396 6281451
100.79/100.85	o 4426
102.30/102.39	c 70.8402 220.973 11533 6414648
102.30/102.39	o 4424
103.60/103.69	c 71.7091 220.973 11666 6470436
103.60/103.69	o 4423
106.00/106.01	c 73.2699 221.102 11883 6526669
106.00/106.01	o 4421
107.59/107.63	c 74.3937 221.102 12003 6579653
107.59/107.63	o 4419
109.29/109.32	c 75.5345 221.23 12113 6628198
109.29/109.32	o 4266
109.60/109.63	c 75.7545 221.23 12139 6667118
109.60/109.63	o 4263
115.60/115.66	c 78.4021 221.359 12582 6869946
115.60/115.66	o 4261
116.60/116.62	c 78.749 221.359 12648 6900945
116.60/116.62	o 4258
116.99/117.03	c 78.868 221.359 12683 6927465
116.99/117.03	o 4257
122.70/122.70	c 80.4948 221.488 13147 7048919
122.70/122.70	o 4251
123.20/123.27	c 80.7557 221.488 13182 7093033
123.20/123.27	o 4250
129.29/129.34	c 82.2605 221.746 13767 7129424
129.29/129.34	o 4247
130.60/130.68	c 82.5225 221.746 13900 7168977
130.60/130.68	o 4245
131.40/131.45	c 82.7214 221.875 14017 7227340
131.40/131.45	o 4244
131.70/131.71	c 82.7994 221.875 14039 7304595
131.70/131.71	o 4242
131.80/131.84	c 82.8504 221.875 14047 7351585
131.80/131.84	o 3989
131.90/131.99	c 82.8954 221.875 14056 7412079
131.90/131.99	o 3391
132.10/132.16	c 82.9554 221.875 14073 7433482
132.10/132.16	o 3386
133.90/133.90	c 83.3053 221.875 14309 7449241
133.90/133.90	o 3385
136.30/136.33	c 84.1602 221.875 14522 7516103
136.30/136.33	o 3383
136.40/136.49	c 84.2262 221.875 14532 7577637
136.40/136.49	o 2996
136.79/136.88	c 84.3462 221.875 14551 7598288
136.79/136.88	o 2994
137.00/137.06	c 84.4172 221.875 14572 7625364
137.00/137.06	o 2992
137.10/137.17	c 84.4632 221.875 14579 7644358
137.10/137.17	o 2986
137.30/137.34	c 84.5341 221.875 14588 7654680
137.30/137.34	o 2970
137.61/137.69	c 84.6611 221.875 14608 7665608
137.61/137.69	o 2969
142.30/142.34	c 86.1259 222.004 15046 7682043
142.30/142.34	o 2968
157.10/157.10	c 90.2413 222.004 8926 7728746
157.10/157.10	o 2960
158.60/158.61	c 90.6212 222.004 9114 7780238
158.60/158.61	o 2950
161.00/161.04	c 91.4551 222.004 9343 7853944
161.00/161.04	o 2948
161.50/161.58	c 91.6701 222.004 9385 7868263
161.50/161.58	o 2944
171.49/171.55	c 94.4416 222.004 10114 7898369
171.49/171.55	o 2943
172.89/172.95	c 94.8046 222.004 10252 7949452
172.89/172.95	o 2942
177.39/177.49	c 96.2124 222.004 10635 8003806
177.39/177.49	o 2939
194.70/194.75	c 101.163 222.004 11986 8083259
194.70/194.75	o 2936
197.30/197.38	c 101.989 222.004 12146 8111065
197.30/197.38	o 2935
198.60/198.63	c 102.278 222.004 12264 8123162
198.60/198.63	o 2933
198.90/198.95	c 102.397 222.004 12277 8138802
198.90/198.95	o 2932
199.39/199.46	c 102.577 222.004 12310 8157045
199.39/199.46	o 2931
199.60/199.65	c 102.648 222.004 12327 8163050
199.60/199.65	o 2930
200.70/200.74	c 103.07 222.004 12397 8180663
200.70/200.74	o 2929
202.70/202.73	c 103.699 222.004 12534 8199192
202.70/202.73	o 2928
219.09/219.16	c 106.914 222.004 14356 8230101
219.09/219.16	o 2925
219.49/219.54	c 107.068 222.004 14384 8251270
219.49/219.54	o 2923
235.90/235.97	c 111.858 222.004 8211 8395817
235.90/235.97	o 2922
237.80/237.86	c 112.339 222.004 8387 8445175
237.80/237.86	o 2921
238.00/238.00	c 112.394 222.004 8399 8461551
238.00/238.00	o 2918
238.10/238.14	c 112.457 222.004 8417 8494483
238.10/238.14	o 2916
238.40/238.42	c 112.536 222.004 8439 8502916
238.40/238.42	o 2913
240.00/240.05	c 113.132 222.004 8566 8547814
240.00/240.05	o 2911
246.90/246.90	c 115.457 222.004 9071 8586208
246.90/246.90	o 2910
247.20/247.25	c 115.641 222.004 9085 8598908
247.20/247.25	o 2909
248.29/248.37	c 115.905 222.004 9199 8636422
248.29/248.37	o 2904
249.20/249.20	c 116.193 222.004 9258 8653455
249.20/249.20	o 2902
249.40/249.42	c 116.27 222.004 9278 8719067
249.40/249.42	o 2849
251.20/251.25	c 116.817 222.004 9409 8748158
251.20/251.25	o 2848
295.41/295.46	c 127.8 222.004 13477 8843347
295.41/295.46	o 2847
299.60/299.63	c 128.963 222.004 13804 8867986
299.60/299.63	o 2846
305.50/305.59	c 130.787 222.004 14278 8917564
305.50/305.59	o 2845
307.10/307.13	c 131.344 222.004 14405 8936269
307.10/307.13	o 2844
307.90/307.93	c 131.594 222.004 14467 9032537
307.90/307.93	o 2842
308.11/308.18	c 131.692 222.004 14492 9040485
308.11/308.18	o 2841
310.30/310.35	c 132.22 222.004 14672 9062311
310.30/310.35	o 2839
315.90/315.96	c 133.764 222.004 7601 9129741
315.90/315.96	o 2838
317.70/317.74	c 134.216 222.004 7766 9179368
317.70/317.74	o 2835
319.20/319.23	c 134.803 222.004 7911 9274356
319.20/319.23	o 2834
335.40/335.46	c 139.605 222.004 9292 9368652
335.40/335.46	o 2833
335.91/335.96	c 139.813 222.004 9356 9415242
335.91/335.96	o 2832
341.11/341.13	c 141.442 222.004 9788 9447918
341.11/341.13	o 2831
341.30/341.39	c 141.55 222.004 9804 9458399
341.30/341.39	o 2830
352.70/352.76	c 145.249 222.004 10564 9531796
352.70/352.76	o 2829
355.50/355.52	c 146.035 222.004 10801 9611803
355.50/355.52	o 2828
357.10/357.11	c 146.476 222.004 10923 9646410
357.10/357.11	o 2823
357.70/357.79	c 146.704 222.004 10972 9660943
357.70/357.79	o 2822
358.11/358.12	c 146.874 222.004 10999 9690734
358.11/358.12	o 2820
377.60/377.65	c 152.599 222.004 12594 9821903
377.60/377.65	o 2819
401.61/401.64	c 158.529 222.004 14395 9854043
401.61/401.64	o 2818
401.90/401.98	c 158.694 222.004 14409 9858966
401.90/401.98	o 2817
402.50/402.50	c 158.847 222.004 14445 9862697
402.50/402.50	o 2816
404.80/404.86	c 159.663 222.004 14668 9911523
404.80/404.86	o 2814
405.30/405.38	c 159.886 222.004 14691 9929093
405.30/405.38	o 2813
410.41/410.43	c 161.556 222.004 7564 9962967
410.41/410.43	o 2812
411.61/411.65	c 161.968 222.004 7686 9982655
411.61/411.65	o 2810
424.21/424.21	c 165.404 222.004 8821 10036479
424.21/424.21	o 2809
424.81/424.89	c 165.623 222.004 8876 10046576
424.81/424.89	o 2808
425.60/425.66	c 165.807 222.004 8990 10055658
425.60/425.66	o 2807
426.10/426.18	c 165.966 222.004 9024 10068477
426.10/426.18	o 2806
426.71/426.76	c 166.161 222.004 9074 10123249
426.71/426.76	o 2804
427.00/427.00	c 166.257 222.004 9096 10150360
427.00/427.00	o 2799
427.71/427.73	c 166.537 222.004 9139 10171722
427.71/427.73	o 2798
430.60/430.61	c 167.42 222.004 9385 10183090
430.60/430.61	o 2797
440.20/440.23	c 170.153 222.004 10078 10230915
440.20/440.23	o 2796
454.41/454.46	c 175.759 222.004 11110 10261579
454.41/454.46	o 2794
460.60/460.60	c 177.78 222.004 11536 10339759
460.60/460.60	o 2793
472.20/472.22	c 181.356 222.004 12403 10420267
472.20/472.22	o 2792
475.21/475.22	c 182.15 222.004 12660 10440393
475.21/475.22	o 2791
475.51/475.51	c 182.256 222.004 12676 10447452
475.51/475.51	o 2790
481.31/481.32	c 183.896 222.004 13319 10463354
481.31/481.32	o 2789
491.20/491.21	c 186.764 222.004 14100 10545907
491.20/491.21	o 2788
493.21/493.20	c 187.315 222.004 14247 10586500
493.21/493.20	o 2787
494.71/494.78	c 187.815 222.004 14366 10705666
494.71/494.78	o 2786
495.51/495.50	c 188.101 222.004 14411 10715638
495.51/495.50	o 2785
498.71/498.70	c 189.018 222.004 14656 10734011
498.71/498.70	o 2784
517.11/517.19	c 195.346 222.004 8206 10766456
517.11/517.19	o 2783
521.51/521.59	c 196.582 222.004 8601 10848057
521.51/521.59	o 2781
526.41/526.41	c 198.023 222.004 8982 10883172
526.41/526.41	o 2780
526.81/526.85	c 198.177 222.004 9019 10930984
526.81/526.85	o 2779
526.91/527.00	c 198.234 222.004 9034 10954139
526.91/527.00	o 2778
527.31/527.30	c 198.351 222.004 9056 10959779
527.31/527.30	o 2777
530.22/530.21	c 199.232 222.004 9283 10999420
530.22/530.21	o 2776
530.71/530.75	c 199.524 222.004 9319 11005188
530.71/530.75	o 2775
543.71/543.77	c 202.88 222.004 10366 11042808
543.71/543.77	o 2772
544.21/544.24	c 203.04 222.004 10413 11110381
544.21/544.24	o 2771
544.51/544.54	c 203.164 222.004 10443 11156594
544.51/544.54	o 2768
545.31/545.40	c 203.469 222.004 10504 11180722
545.31/545.40	o 2767
545.61/545.70	c 203.592 222.004 10517 11191613
545.61/545.70	o 2764
547.61/547.67	c 204.145 222.004 10695 11324355
547.61/547.67	o 2760
548.21/548.26	c 204.395 222.004 10735 11331533
548.21/548.26	o 2759
549.41/549.45	c 204.864 222.004 10808 11345610
549.41/549.45	o 2758
550.71/550.76	c 205.194 222.004 10952 11410020
550.71/550.76	o 2756
550.91/551.00	c 205.284 222.004 10975 11440967
550.91/551.00	o 2755
551.41/551.41	c 205.4 222.004 10999 11450806
551.41/551.41	o 2754
561.41/561.47	c 209.275 222.004 11802 11469759
561.41/561.47	o 2753
561.61/561.67	c 209.387 222.004 11825 11495164
561.61/561.67	o 2749
563.21/563.24	c 209.806 222.004 11962 11570015
563.21/563.24	o 2748
563.31/563.37	c 209.852 222.004 11972 11597266
563.31/563.37	o 2745
564.21/564.29	c 210.167 222.004 12028 11608748
564.21/564.29	o 2744
565.11/565.14	c 210.438 222.004 12090 11615700
565.11/565.14	o 2743
566.81/566.83	c 210.904 222.004 12214 11633158
566.81/566.83	o 2741
576.01/576.03	c 213.611 222.004 12908 11738565
576.01/576.03	o 2740
577.01/577.00	c 213.876 222.004 12992 11823090
577.01/577.00	o 2738
579.91/579.96	c 214.564 222.004 13381 11862289
579.91/579.96	o 2737
580.51/580.58	c 214.842 222.004 13437 11877548
580.51/580.58	o 2736
585.61/585.69	c 216.318 222.004 13934 11889179
585.61/585.69	o 2735
587.71/587.72	c 216.937 222.004 14088 11903190
587.71/587.72	o 2734
589.21/589.28	c 217.371 222.004 14216 11913478
589.21/589.28	o 2733
594.41/594.45	c 219.254 222.004 14502 11927565
594.41/594.45	o 2732
634.41/634.44	c 232.564 222.004 10280 11948247
634.41/634.44	o 2730
655.42/655.46	c 238.2 222.004 12034 12156019
655.42/655.46	o 2727
658.91/658.93	c 239.142 222.004 12350 12177162
658.91/658.93	o 2726
662.51/662.59	c 240.262 222.004 12593 12218807
662.51/662.59	o 2724
675.11/675.11	c 243.855 222.004 13569 12276814
675.11/675.11	o 2723
675.51/675.51	c 244.014 222.004 13584 12291529
675.51/675.51	o 2722
675.71/675.75	c 244.113 222.004 13597 12321900
675.71/675.75	o 2720
679.22/679.23	c 245.01 222.004 13875 12358250
679.22/679.23	o 2718
679.61/679.64	c 245.21 222.004 13899 12387700
679.61/679.64	o 2716
680.81/680.80	c 245.548 222.004 14039 12440535
680.81/680.80	o 2714
682.51/682.54	c 246.072 222.004 14160 12481379
682.51/682.54	o 2712
683.31/683.30	c 246.315 222.004 14235 12496823
683.31/683.30	o 2711
701.11/701.19	c 250.871 222.004 8292 12581158
701.11/701.19	o 2708
705.82/705.87	c 252.287 222.004 8646 12612109
705.82/705.87	o 2707
707.32/707.31	c 252.712 222.004 8782 12650765
707.32/707.31	o 2706
707.52/707.53	c 252.803 222.004 8804 12676798
707.52/707.53	o 2703
713.92/713.99	c 254.77 222.004 9318 12746406
713.92/713.99	o 2702
718.92/718.94	c 256.258 222.004 9669 12792072
718.92/718.94	o 2701
791.52/791.53	c 276.602 222.004 8901 12997040
791.52/791.53	o 2700
797.92/797.96	c 278.409 222.004 9456 13066541
797.92/797.96	o 2699
798.82/798.80	c 278.723 222.004 9510 13086313
798.82/798.80	o 2698
799.62/799.61	c 278.913 222.004 9586 13103507
799.62/799.61	o 2697
799.91/799.99	c 279.029 222.004 9633 13118502
799.91/799.99	o 2696
801.41/801.41	c 279.411 222.004 9750 13172484
801.41/801.41	o 2695
802.12/802.15	c 279.617 222.004 9810 13188314
802.12/802.15	o 2694
802.31/802.37	c 279.691 222.004 9821 13205536
802.31/802.37	o 2693
804.22/804.23	c 280.508 222.004 9923 13234807
804.22/804.23	o 2692
804.52/804.55	c 280.684 222.004 9942 13273652
804.52/804.55	o 2691
808.02/808.04	c 281.838 222.004 10241 13359904
808.02/808.04	o 2690
811.32/811.37	c 282.866 222.004 10540 13464035
811.32/811.37	o 2689
820.42/820.42	c 285.495 222.004 11235 13505835
820.42/820.42	o 2688
829.82/829.84	c 288.58 222.004 12049 13695734
829.82/829.84	o 2686
839.12/839.13	c 291.419 222.004 12859 13786141
839.12/839.13	o 2684
841.82/841.83	c 292.163 222.004 13044 13830782
841.82/841.83	o 2683
843.73/843.73	c 292.708 222.004 13284 13898513
843.73/843.73	o 2680
845.62/845.65	c 293.302 222.004 13439 13996318
845.62/845.65	o 2679
850.72/850.74	c 295.012 222.004 13849 14020620
850.72/850.74	o 2678
853.73/853.78	c 295.755 222.004 14089 14085600
853.73/853.78	o 2677
860.12/860.15	c 298.038 222.004 14673 14119373
860.12/860.15	o 2676
893.22/893.21	c 306.496 222.004 9051 14136907
893.22/893.21	o 2675
893.52/893.54	c 306.615 222.004 9080 14150607
893.52/893.54	o 2674
911.12/911.19	c 312.406 222.004 10408 14171446
911.12/911.19	o 2673
912.62/912.69	c 312.744 222.004 10521 14187982
912.62/912.69	o 2672
919.52/919.51	c 314.652 222.004 11039 14237791
919.52/919.51	o 2671
921.12/921.12	c 315.037 222.004 11190 14268699
921.12/921.12	o 2670
921.42/921.46	c 315.158 222.004 11230 14308143
921.42/921.46	o 2669
926.23/926.23	c 316.813 222.004 11663 14336153
926.23/926.23	o 2668
926.72/926.76	c 316.986 222.004 11703 14350546
926.72/926.76	o 2667
934.42/934.47	c 319.098 222.004 12365 14404836
934.42/934.47	o 2665
938.02/938.03	c 320.18 222.004 12705 14472323
938.02/938.03	o 2664
938.33/938.39	c 320.311 222.004 12724 14492638
938.33/938.39	o 2663
938.82/938.86	c 320.474 222.004 12755 14541842
938.82/938.86	o 2661
939.22/939.26	c 320.597 222.004 12790 14626009
939.22/939.26	o 2659
940.82/940.82	c 320.979 222.004 12927 14662775
940.82/940.82	o 2657
949.33/949.38	c 323.955 222.004 13563 14723918
949.33/949.38	o 2655
957.13/957.17	c 325.977 222.004 14287 14746311
957.13/957.17	o 2654
957.22/957.27	c 326.033 222.004 14290 14754890
957.22/957.27	o 2653
958.82/958.83	c 326.471 222.004 14433 14781056
958.82/958.83	o 2652
959.82/959.85	c 326.806 222.004 14501 14787656
959.82/959.85	o 2649
960.62/960.66	c 327.087 222.004 14572 14840361
960.62/960.66	o 2648
962.12/962.10	c 327.624 222.004 14699 14867222
962.12/962.10	o 2647
969.02/969.04	c 329.706 222.004 7605 14919440
969.02/969.04	o 2645
969.12/969.18	c 329.773 222.004 7613 14958453
969.12/969.18	o 2642
969.22/969.29	c 329.82 222.004 7626 14970979
969.22/969.29	o 2639
969.62/969.68	c 329.962 222.004 7650 14997542
969.62/969.68	o 2636
981.12/981.16	c 333.372 222.004 8489 15032051
981.12/981.16	o 2635
1037.12/1037.12	c 348.657 222.004 11849 15052586
1037.12/1037.12	o 2633
1052.83/1052.85	c 353.032 222.004 13193 15095720
1052.83/1052.86	o 2632
1053.42/1053.43	c 353.373 222.004 13222 15105872
1053.42/1053.43	o 2630
1073.73/1073.72	c 359.109 222.004 14905 15155630
1073.73/1073.72	o 2629
1080.33/1080.31	c 361.186 222.004 7842 15188592
1080.33/1080.31	o 2628
1080.73/1080.79	c 361.344 222.004 7885 15192401
1080.73/1080.79	o 2627
1084.02/1084.06	c 362.254 222.004 8185 15272797
1084.02/1084.06	o 2626
1084.32/1084.36	c 362.386 222.004 8215 15289964
1084.32/1084.36	o 2625
1086.43/1086.44	c 362.993 222.004 8382 15346068
1086.43/1086.44	o 2624
1088.12/1088.12	c 363.485 222.004 8525 15400359
1088.12/1088.12	o 2622
1088.32/1088.36	c 363.568 222.004 8539 15420955
1088.32/1088.36	o 2621
1089.43/1089.43	c 363.916 222.004 8614 15430425
1089.43/1089.43	o 2620
1094.23/1094.28	c 365.214 222.004 9087 15461946
1094.23/1094.28	o 2619
1101.83/1101.85	c 367.663 222.004 9609 15510146
1101.83/1101.85	o 2617
1103.13/1103.18	c 367.972 222.004 9726 15518370
1103.13/1103.18	o 2616
1103.33/1103.33	c 368.036 222.004 9736 15534626
1103.33/1103.33	o 2615
1103.73/1103.75	c 368.173 222.004 9763 15621714
1103.73/1103.75	o 2611
1105.83/1105.84	c 368.938 222.004 9908 15671148
1105.83/1105.84	o 2610
1107.52/1107.57	c 369.556 222.004 10039 15689232
1107.52/1107.57	o 2609
1109.23/1109.28	c 370.092 222.004 10163 15706667
1109.23/1109.28	o 2608
1115.03/1115.07	c 372.289 222.004 10561 15768587
1115.03/1115.07	o 2607
1117.13/1117.10	c 372.852 222.004 10743 15822999
1117.13/1117.10	o 2606
1117.32/1117.34	c 372.942 222.004 10767 15850285
1117.32/1117.34	o 2603
1117.63/1117.69	c 373.05 222.004 10798 15894145
1117.63/1117.69	o 2602
1118.93/1118.90	c 373.584 222.004 10894 15910292
1118.93/1118.90	o 2601
1123.53/1123.58	c 374.929 222.004 11280 15936202
1123.53/1123.58	o 2600
1125.62/1125.63	c 375.51 222.004 11426 15948946
1125.62/1125.63	o 2599
1127.53/1127.59	c 376.168 222.004 11590 15970815
1127.53/1127.59	o 2598
1131.32/1131.34	c 377.183 222.004 11841 16020951
1131.32/1131.34	o 2596
1131.94/1131.94	c 377.442 222.004 11888 16041886
1131.94/1131.94	o 2594
1142.83/1142.83	c 380.281 222.004 12704 16085461
1142.83/1142.83	o 2592
1143.03/1143.06	c 380.376 222.004 12715 16096553
1143.03/1143.06	o 2589
1143.33/1143.34	c 380.485 222.004 12729 16102927
1143.33/1143.34	o 2588
1143.63/1143.62	c 380.59 222.004 12747 16143566
1143.63/1143.62	o 2586
1143.73/1143.76	c 380.646 222.004 12756 16155182
1143.73/1143.76	o 2584
1143.82/1143.89	c 380.71 222.004 12768 16165001
1143.82/1143.89	o 2582
1143.93/1144.00	c 380.762 222.004 12773 16169193
1143.93/1144.00	o 2579
1145.53/1145.51	c 381.283 222.004 12883 16185565
1145.53/1145.51	o 2578
1148.44/1148.44	c 382.268 222.004 13104 16223941
1148.44/1148.44	o 2577
1156.53/1156.58	c 384.431 222.004 13729 16293357
1156.53/1156.58	o 2576
1156.73/1156.74	c 384.504 222.004 13745 16321129
1156.73/1156.74	o 2573
1157.12/1157.15	c 384.645 222.004 13786 16372777
1157.12/1157.15	o 2569
1162.02/1162.05	c 386.411 222.004 14105 16409701
1162.02/1162.05	o 2568
1163.94/1163.92	c 386.933 222.004 14292 16456454
1163.94/1163.92	o 2567
1172.13/1172.19	c 389.238 222.004 7561 16495737
1172.13/1172.19	o 2565
1182.64/1182.65	c 392.105 222.004 8341 16583033
1182.64/1182.65	o 2564
1195.43/1195.47	c 395.9 222.004 9492 16613032
1195.43/1195.47	o 2563
1199.14/1199.13	c 397.094 222.004 9771 16631159
1199.14/1199.13	o 2562
1202.03/1202.10	c 397.977 222.004 10045 16649080
1202.03/1202.10	o 2561
1214.82/1214.84	c 401.562 222.004 11043 16679934
1214.82/1214.84	o 2560
1216.33/1216.32	c 402.084 222.004 11137 16685768
1216.33/1216.32	o 2559
1227.03/1227.02	c 405.598 222.004 12064 16756261
1227.03/1227.02	o 2558
1233.43/1233.45	c 407.208 222.004 12547 16789087
1233.43/1233.45	o 2557
1235.73/1235.77	c 407.861 222.004 12727 16807518
1235.73/1235.77	o 2556
1243.93/1243.95	c 410.367 222.004 13349 16814810
1243.93/1243.95	o 2555
1246.43/1246.44	c 411.148 222.004 13530 16829721
1246.43/1246.44	o 2554
1253.53/1253.58	c 412.88 222.004 14096 16854682
1253.53/1253.58	o 2553
1254.83/1254.83	c 413.232 222.004 14206 16883486
1254.83/1254.83	o 2551
1254.93/1254.98	c 413.289 222.004 14218 16889614
1254.93/1254.98	o 2550
1256.03/1256.07	c 413.7 222.004 14278 16905755
1256.03/1256.07	o 2549
1256.33/1256.34	c 413.811 222.004 14299 16926737
1256.33/1256.34	o 2547
1260.13/1260.14	c 414.813 222.004 14818 16954827
1260.13/1260.14	o 2546
1260.23/1260.28	c 414.88 222.004 14829 16966908
1260.23/1260.28	o 2543
1260.53/1260.52	c 414.972 222.004 14847 16990661
1260.53/1260.52	o 2540
1260.83/1260.80	c 415.072 222.004 14866 17037978
1260.83/1260.80	o 2539
1261.33/1261.30	c 415.21 222.004 14908 17079470
1261.33/1261.30	o 2538
1261.63/1261.66	c 415.324 222.004 14934 17100381
1261.63/1261.66	o 2537
1263.63/1263.69	c 415.994 222.004 15077 17130414
1263.63/1263.69	o 2536
1266.53/1266.51	c 416.837 222.004 7705 17184111
1266.53/1266.51	o 2535
1271.53/1271.58	c 418.486 222.004 8101 17206251
1271.53/1271.58	o 2534
1273.04/1273.06	c 418.852 222.004 8283 17223905
1273.04/1273.06	o 2532
1274.13/1274.10	c 419.243 222.004 8350 17283632
1274.13/1274.10	o 2531
1274.33/1274.35	c 419.33 222.004 8375 17321723
1274.33/1274.35	o 2530
1283.44/1283.48	c 421.992 222.004 9363 17359931
1283.44/1283.48	o 2529
1291.73/1291.71	c 424.159 222.004 10014 17433649
1291.73/1291.71	o 2527
1298.04/1298.01	c 425.945 222.004 10535 17463197
1298.04/1298.01	o 2525
1298.23/1298.21	c 426.034 222.004 10558 17479091
1298.23/1298.21	o 2524
1298.53/1298.57	c 426.177 222.004 10590 17496339
1298.53/1298.57	o 2523
1305.84/1305.86	c 427.877 222.004 11214 17507653
1305.84/1305.86	o 2522
1306.13/1306.10	c 427.983 222.004 11230 17513134
1306.13/1306.10	o 2520
1307.93/1307.98	c 428.513 222.004 11340 17526744
1307.93/1307.98	o 2519
1309.93/1309.97	c 429.27 222.004 11492 17534759
1309.93/1309.97	o 2517
1310.83/1310.83	c 429.55 222.004 11555 17564913
1310.83/1310.83	o 2515
1311.13/1311.16	c 429.665 222.004 11577 17584198
1311.13/1311.16	o 2512
1311.73/1311.70	c 429.954 222.004 11636 17616409
1311.73/1311.70	o 2510
1311.83/1311.89	c 430.031 222.004 11650 17650863
1311.83/1311.89	o 2508
1314.93/1314.97	c 430.883 222.004 11906 17687802
1314.93/1314.97	o 2507
1338.24/1338.29	c 437.717 222.004 13462 17710082
1338.24/1338.29	o 2506
1340.63/1340.67	c 438.477 222.004 13638 17740941
1340.63/1340.67	o 2505
1344.83/1344.83	c 439.658 222.004 13965 17775003
1344.83/1344.83	o 2500
1373.43/1373.43	c 448.37 222.004 8533 17842521
1373.43/1373.43	o 2499
1376.24/1376.21	c 449.169 222.004 8754 17872178
1376.24/1376.21	o 2496
1377.93/1377.91	c 449.692 222.004 8887 17887471
1377.93/1377.91	o 2495
1379.03/1379.02	c 449.957 222.004 8965 17891658
1379.03/1379.02	o 2494
1380.64/1380.62	c 450.444 222.004 9082 17924535
1380.64/1380.62	o 2491
1381.84/1381.82	c 450.838 222.004 9197 17935130
1381.84/1381.82	o 2490
1382.03/1382.00	c 450.94 222.004 9222 17955295
1382.03/1382.00	o 2488
1382.84/1382.87	c 451.213 222.004 9289 18001321
1382.84/1382.87	o 2486
1384.64/1384.64	c 451.878 222.004 9383 18007879
1384.64/1384.64	o 2485
1385.93/1385.94	c 452.224 222.004 9528 18045839
1385.93/1385.94	o 2483
1386.14/1386.19	c 452.329 222.004 9552 18066790
1386.14/1386.19	o 2481
1390.84/1390.88	c 453.615 222.004 9946 18097781
1390.84/1390.88	o 2480
1392.14/1392.10	c 454.105 222.004 10019 18099745
1392.14/1392.10	o 2479
1400.53/1400.56	c 456.346 222.004 10579 18116997
1400.53/1400.56	o 2477
1402.23/1402.21	c 456.988 222.004 10713 18128861
1402.23/1402.21	o 2476
1403.03/1403.02	c 457.379 222.004 10766 18138086
1403.03/1403.02	o 2475
1412.74/1412.75	c 459.994 222.004 11478 18157345
1412.74/1412.75	o 2471
1415.43/1415.42	c 460.909 222.004 11609 18165321
1415.43/1415.42	o 2469
1417.84/1417.81	c 461.52 222.004 11769 18169733
1417.84/1417.81	o 2468
1418.24/1418.22	c 461.67 222.004 11792 18174544
1418.24/1418.22	o 2462
1420.04/1420.02	c 462.145 222.004 11926 18190225
1420.04/1420.02	o 2460
1420.94/1420.96	c 462.492 222.004 11994 18202447
1420.94/1420.96	o 2458
1424.74/1424.73	c 463.449 222.004 12341 18224736
1424.74/1424.73	o 2457
1429.04/1429.04	c 464.566 222.004 12691 18250433
1429.04/1429.04	o 2455
1431.44/1431.48	c 465.126 222.004 12891 18271870
1431.44/1431.48	o 2454
1441.05/1441.04	c 467.954 222.004 13634 18291634
1441.05/1441.04	o 2453
1446.84/1446.88	c 469.406 222.004 14149 18325851
1446.84/1446.88	o 2452
1447.84/1447.84	c 469.95 222.004 14208 18334540
1447.84/1447.84	o 2451
1460.14/1460.12	c 473.032 222.004 15101 18354231
1460.14/1460.12	o 2450
1463.74/1463.80	c 474.105 222.004 7758 18379659
1463.74/1463.80	o 2449
1466.74/1466.74	c 474.807 222.004 8119 18408415
1466.74/1466.74	o 2448
1468.74/1468.72	c 475.483 222.004 8250 18449146
1468.74/1468.72	o 2447
1473.14/1473.12	c 476.8 222.004 8588 18467746
1473.14/1473.12	o 2445
1482.74/1482.78	c 479.357 222.004 9439 18485560
1482.74/1482.78	o 2444
1483.24/1483.29	c 479.493 222.004 9481 18488403
1483.24/1483.29	o 2442
1484.34/1484.32	c 479.79 222.004 9577 18511843
1484.34/1484.32	o 2438
1486.94/1486.93	c 480.539 222.004 9835 18566803
1486.94/1486.93	o 2433
1488.74/1488.70	c 481.061 222.004 9967 18582218
1488.74/1488.70	o 2432
1488.84/1488.85	c 481.135 222.004 9992 18609207
1488.84/1488.85	o 2431
1489.03/1489.06	c 481.219 222.004 10013 18649991
1489.03/1489.06	o 2430
1494.54/1494.57	c 482.887 222.004 10390 18690260
1494.54/1494.57	o 2428
1494.94/1494.91	c 483.026 222.004 10406 18704608
1494.94/1494.91	o 2427
1495.34/1495.40	c 483.223 222.004 10446 18717297
1495.44/1495.40	o 2426
1495.64/1495.61	c 483.305 222.004 10468 18730432
1495.64/1495.61	o 2425
1529.94/1529.93	c 492.577 222.004 13510 18751028
1529.94/1529.93	o 2424
1531.04/1531.00	c 492.838 222.004 13630 18764640
1531.04/1531.00	o 2423
1532.24/1532.25	c 493.221 222.004 13709 18786205
1532.24/1532.25	o 2422
1532.35/1532.36	c 493.288 222.004 13716 18793343
1532.35/1532.36	o 2421
1532.74/1532.71	c 493.458 222.004 13735 18819550
1532.74/1532.71	o 2420
1540.94/1540.99	c 495.706 222.004 14281 18845780
1540.94/1540.99	o 2419
1542.24/1542.30	c 496.095 222.004 14375 18890441
1542.24/1542.30	o 2418
1543.73/1543.77	c 496.677 222.004 14471 18893016
1543.73/1543.77	o 2417
1544.24/1544.26	c 496.855 222.004 14515 18903530
1544.24/1544.26	o 2416
1544.55/1544.51	c 496.941 222.004 14538 18914744
1544.55/1544.51	o 2415
1544.64/1544.61	c 496.995 222.004 14542 18921570
1544.64/1544.61	o 2414
1544.74/1544.74	c 497.057 222.004 14554 18944825
1544.74/1544.74	o 2412
1545.04/1545.02	c 497.15 222.004 14571 18966523
1545.04/1545.02	o 2410
1545.14/1545.15	c 497.214 222.004 14580 18977759
1545.14/1545.15	o 2408
1545.74/1545.78	c 497.513 222.004 14617 18995156
1545.74/1545.78	o 2406
1546.34/1546.30	c 497.694 222.004 14663 19007389
1546.34/1546.30	o 2405
1547.14/1547.17	c 497.97 222.004 14750 19043940
1547.14/1547.17	o 2404
1554.24/1554.28	c 499.776 222.004 7771 19104851
1554.24/1554.28	o 2403
1555.94/1555.95	c 500.24 222.004 7895 19158466
1555.94/1555.95	o 2402
1556.14/1556.15	c 500.306 222.004 7917 19186867
1556.14/1556.15	o 2401
1556.84/1556.85	c 500.668 222.004 7955 19194224
1556.84/1556.85	o 2400
1566.84/1566.84	c 504.613 222.004 8782 19206257
1566.84/1566.84	o 2399
1568.05/1568.03	c 505.006 222.004 8854 19215681
1568.05/1568.03	o 2398
1579.24/1579.29	c 508.582 222.004 9677 19270548
1579.24/1579.29	o 2397
1584.74/1584.73	c 509.93 222.004 10119 19292920
1584.74/1584.73	o 2396
1595.25/1595.24	c 513.211 222.004 10922 19325500
1595.25/1595.24	o 2395
1595.84/1595.81	c 513.383 222.004 10969 19336115
1595.84/1595.81	o 2394
1597.35/1597.37	c 513.767 222.004 11104 19360612
1597.35/1597.37	o 2393
1598.44/1598.41	c 514.203 222.004 11161 19369712
1598.44/1598.42	o 2392
1606.54/1606.51	c 516.271 222.004 11823 19393719
1606.54/1606.51	o 2391
1608.05/1608.09	c 516.791 222.004 11951 19403978
1608.05/1608.09	o 2390
1610.55/1610.50	c 517.387 222.004 12123 19419914
1610.55/1610.50	o 2389
1612.34/1612.30	c 517.952 222.004 12292 19456392
1612.34/1612.30	o 2388
1612.84/1612.86	c 518.142 222.004 12335 19480872
1612.84/1612.86	o 2387
1614.34/1614.39	c 518.723 222.004 12409 19492066
1614.34/1614.39	o 2386
1617.54/1617.50	c 519.434 222.004 12692 19515029
1617.54/1617.50	o 2385
1624.75/1624.77	c 521.648 222.004 13267 19548235
1624.75/1624.77	o 2383
1627.65/1627.68	c 522.408 222.004 13541 19562636
1627.65/1627.68	o 2382
1627.95/1627.98	c 522.528 222.004 13557 19583188
1627.95/1627.98	o 2381
1647.55/1647.59	c 527.825 222.004 15081 19631268
1647.55/1647.59	o 2380
1648.95/1648.95	c 528.301 222.004 15179 19639099
1648.95/1648.95	o 2379
1657.35/1657.30	c 530.48 222.004 8286 19658322
1657.35/1657.30	o 2378
1659.14/1659.13	c 531.03 222.004 8406 19667093
1659.14/1659.13	o 2377
1660.54/1660.56	c 531.431 222.004 8503 19675941
1660.54/1660.56	o 2376
1664.85/1664.83	c 532.77 222.004 8811 19692403
1664.85/1664.83	o 2375
1666.35/1666.39	c 533.283 222.004 8885 19694341
1666.35/1666.39	o 2374
1670.24/1670.26	c 534.442 222.004 9165 19710204
1670.24/1670.26	o 2373
1670.44/1670.46	c 534.542 222.004 9185 19715160
1670.44/1670.46	o 2372
1671.24/1671.23	c 534.782 222.004 9251 19745544
1671.24/1671.23	o 2371
1675.84/1675.87	c 536.143 222.004 9617 19764614
1675.84/1675.87	o 2370
1679.14/1679.14	c 537.107 222.004 9837 19787183
1679.14/1679.14	o 2369
1679.64/1679.64	c 537.314 222.004 9865 19824908
1679.64/1679.64	o 2368
1679.75/1679.72	c 537.364 222.004 9866 19830408
1679.75/1679.72	o 2367
1680.05/1680.07	c 537.474 222.004 9891 19862645
1680.05/1680.07	o 2366
1681.15/1681.19	c 537.731 222.004 9998 19876380
1681.15/1681.19	o 2364
1682.74/1682.71	c 538.374 222.004 10095 19889377
1682.74/1682.71	o 2363
1688.34/1688.35	c 540.136 222.004 10560 19962282
1688.34/1688.35	o 2362
1689.75/1689.73	c 540.573 222.004 10649 19985575
1689.75/1689.73	o 2361
1694.55/1694.58	c 541.844 222.004 10969 20027021
1694.55/1694.58	o 2360
1694.75/1694.72	c 541.903 222.004 10980 20031497
1694.75/1694.72	o 2359
1694.84/1694.82	c 541.954 222.004 10988 20043012
1694.84/1694.82	o 2357
1695.04/1695.01	c 542.027 222.004 11003 20076769
1695.04/1695.01	o 2352
1702.04/1702.03	c 544.218 222.004 11563 20112262
1702.04/1702.03	o 2351
1703.54/1703.58	c 544.773 222.004 11705 20138589
1703.54/1703.58	o 2349
1774.35/1774.36	c 561.078 222.262 9142 20164342
1774.35/1774.36	o 2348
1800.05/1800.00	s SATISFIABLE
1800.05/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

OK	2348

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699112-1278462283/watcher-2699112-1278462283 -o /tmp/evaluation-result-2699112-1278462283/solver-2699112-1278462283 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699112-1278462283.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: 1.92 1.98 1.91 4/178 13351
/proc/meminfo: memFree=29564164/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=2136 CPUtime=0
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 256 0 0 0 0 0 0 0 23 0 1 0 14442392 2187264 175 4089446400 134512640 136422188 4289253760 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13351/statm: 534 175 144 467 0 65 0

[startup+0.105245 s]
/proc/loadavg: 1.92 1.98 1.91 4/178 13351
/proc/meminfo: memFree=29564164/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=3576 CPUtime=0.1
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 669 0 0 0 10 0 0 0 23 0 1 0 14442392 3661824 490 4089446400 134512640 136422188 4289253760 18446744073709551615 135160492 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13351/statm: 894 490 144 467 0 425 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3576

[startup+0.200241 s]
/proc/loadavg: 1.92 1.98 1.91 4/178 13351
/proc/meminfo: memFree=29564164/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=17956 CPUtime=0.19
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 4248 0 0 0 19 0 0 0 23 0 1 0 14442392 18386944 4069 4089446400 134512640 136422188 4289253760 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 4489 4077 193 467 0 4020 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17956

[startup+0.30122 s]
/proc/loadavg: 1.92 1.98 1.91 4/178 13351
/proc/meminfo: memFree=29564164/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=44912 CPUtime=0.29
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 10826 0 0 0 28 1 0 0 23 0 1 0 14442392 45989888 10577 4089446400 134512640 136422188 4289253760 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 11228 10579 193 467 0 10759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44912

[startup+0.701136 s]
/proc/loadavg: 1.92 1.98 1.91 4/178 13351
/proc/meminfo: memFree=29564164/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=141864 CPUtime=0.69
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 36517 0 0 0 65 4 0 0 25 0 1 0 14442392 145268736 34165 4089446400 134512640 136422188 4289253760 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 35466 34166 193 467 0 34997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 141864

[startup+1.501 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 13352
/proc/meminfo: memFree=29360488/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=213904 CPUtime=1.49
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 54940 0 0 0 143 6 0 0 25 0 1 0 14442392 219037696 51308 4089446400 134512640 136422188 4289253760 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 53476 51308 207 467 0 53007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213904

[startup+3.10071 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 13352
/proc/meminfo: memFree=29359000/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=215368 CPUtime=3.09
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 55285 0 0 0 303 6 0 0 25 0 1 0 14442392 220536832 51653 4089446400 134512640 136422188 4289253760 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 53842 51653 207 467 0 53373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215368

[startup+6.30111 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 13353
/proc/meminfo: memFree=29356404/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=218156 CPUtime=6.29
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 55874 0 0 0 539 90 0 0 25 0 1 0 14442392 223391744 52242 4089446400 134512640 136422188 4289253760 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 54539 52242 214 467 0 54070 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218156

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 13353
/proc/meminfo: memFree=29355352/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=221548 CPUtime=12.69
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 56855 0 0 0 986 283 0 0 25 0 1 0 14442392 226865152 52539 4089446400 134512640 136422188 4289253760 18446744073709551615 135022540 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 55387 52539 237 467 0 54918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 221548

[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 13353
/proc/meminfo: memFree=29354296/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=222604 CPUtime=25.5
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 57136 0 0 0 1849 701 0 0 25 0 1 0 14442392 227946496 52817 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 55651 52817 237 467 0 55182 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 222604

[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 13353
/proc/meminfo: memFree=29353480/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=223896 CPUtime=51.09
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 57430 0 0 0 3571 1538 0 0 25 0 1 0 14442392 229269504 53111 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 55974 53111 237 467 0 55505 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 223896

[startup+102.301 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 13355
/proc/meminfo: memFree=29350936/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=226272 CPUtime=102.3
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58052 0 0 0 7078 3152 0 0 25 0 1 0 14442392 231702528 53716 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/13351/statm: 56568 53716 237 467 0 56099 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 226272

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 13384
/proc/meminfo: memFree=29077200/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=162.3
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58380 0 0 0 9186 7044 0 0 25 0 1 0 14442392 232783872 54013 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54013 237 467 0 56363 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 227328

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 13385
/proc/meminfo: memFree=29072936/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=222.31
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58393 0 0 0 10777 11454 0 0 25 0 1 0 14442392 232783872 54013 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54013 237 467 0 56363 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 227328

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 13386
/proc/meminfo: memFree=29071636/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=282.3
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58405 0 0 0 12413 15817 0 0 25 0 1 0 14442392 232783872 54013 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54013 237 467 0 56363 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 227328

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 13388
/proc/meminfo: memFree=29070476/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=342.3
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58419 0 0 0 14175 20055 0 0 25 0 1 0 14442392 232783872 54013 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54013 237 467 0 56363 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 227328

[startup+402.301 s]
/proc/loadavg: 2.07 2.00 1.92 3/179 13390
/proc/meminfo: memFree=29070032/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=402.31
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58427 0 0 0 15876 24355 0 0 25 0 1 0 14442392 232783872 54013 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54013 237 467 0 56363 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 227328

[startup+462.301 s]
/proc/loadavg: 2.02 2.00 1.92 3/179 13392
/proc/meminfo: memFree=29068956/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=462.31
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58444 0 0 0 17822 28409 0 0 25 0 1 0 14442392 232783872 54014 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54014 237 467 0 56363 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 227328

[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 13393
/proc/meminfo: memFree=29068160/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=522.31
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58456 0 0 0 19682 32549 0 0 25 0 1 0 14442392 232783872 54015 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54015 237 467 0 56363 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 227328

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13394
/proc/meminfo: memFree=29067124/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=582.31
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58485 0 0 0 21530 36701 0 0 25 0 1 0 14442392 232783872 54016 4089446400 134512640 136422188 4289253760 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54016 237 467 0 56363 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 227328

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13396
/proc/meminfo: memFree=29066324/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=642.31
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58490 0 0 0 23472 40759 0 0 25 0 1 0 14442392 232783872 54016 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54016 237 467 0 56363 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 227328

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13402
/proc/meminfo: memFree=29063600/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=882.33
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58529 0 0 0 30258 57975 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 227328

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13404
/proc/meminfo: memFree=29063548/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=942.32
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58544 0 0 0 32153 62079 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 227328

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13406
/proc/meminfo: memFree=29063620/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1002.32
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58556 0 0 0 33882 66350 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 227328

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13408
/proc/meminfo: memFree=29063448/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1062.33
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58559 0 0 0 35559 70674 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 227328

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13409
/proc/meminfo: memFree=29063508/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1122.32
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58581 0 0 0 37450 74782 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 227328

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13410
/proc/meminfo: memFree=29063072/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1182.33
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58601 0 0 0 39197 79036 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 227328

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/179 13412
/proc/meminfo: memFree=29063148/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1242.33
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58610 0 0 0 40977 83256 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 227328

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13414
/proc/meminfo: memFree=29062852/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1302.34
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58634 0 0 0 42693 87541 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 227328

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13416
/proc/meminfo: memFree=29062908/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1362.33
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58646 0 0 0 44495 91738 0 0 25 0 1 0 14442392 232783872 54017 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54017 237 467 0 56363 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 227328

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13417
/proc/meminfo: memFree=29062972/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1422.34
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58669 0 0 0 46285 95949 0 0 25 0 1 0 14442392 232783872 54018 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54018 237 467 0 56363 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 227328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13418
/proc/meminfo: memFree=29062668/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1482.34
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58680 0 0 0 47924 100310 0 0 25 0 1 0 14442392 232783872 54018 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54018 237 467 0 56363 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 227328

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13420
/proc/meminfo: memFree=29062732/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1542.34
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58699 0 0 0 49609 104625 0 0 25 0 1 0 14442392 232783872 54019 4089446400 134512640 136422188 4289253760 18446744073709551615 134599248 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54019 237 467 0 56363 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 227328

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13422
/proc/meminfo: memFree=29062672/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1602.34
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58730 0 0 0 51516 108718 0 0 25 0 1 0 14442392 232783872 54028 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54028 237 467 0 56363 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 227328

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13424
/proc/meminfo: memFree=29062484/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1662.35
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58745 0 0 0 53198 113037 0 0 25 0 1 0 14442392 232783872 54028 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54028 237 467 0 56363 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 227328

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13425
/proc/meminfo: memFree=29062668/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227328 CPUtime=1722.34
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58765 0 0 0 54853 117381 0 0 25 0 1 0 14442392 232783872 54028 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56832 54028 237 467 0 56363 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 227328

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13426
/proc/meminfo: memFree=29062356/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227592 CPUtime=1782.34
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58811 0 0 0 56309 121925 0 0 25 0 1 0 14442392 233054208 54073 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56898 54073 237 467 0 56429 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 227592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13427
/proc/meminfo: memFree=29062216/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227592 CPUtime=1800.05
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58811 0 0 0 56640 123365 0 0 25 0 1 0 14442392 233054208 54073 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56898 54073 237 467 0 56429 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 227592

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13427
/proc/meminfo: memFree=29062216/32951124 swapFree=67111528/67111528
[pid=13351] ppid=13349 vsize=227592 CPUtime=1800.05
/proc/13351/stat : 13351 (pbct) R 13349 13351 12773 0 -1 4202496 58811 0 0 0 56640 123365 0 0 25 0 1 0 14442392 233054208 54073 4089446400 134512640 136422188 4289253760 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/13351/statm: 56898 54073 237 467 0 56429 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 227592

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 566.411
CPU system time (s): 1233.66
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 227592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 566.411
system time used= 1233.66
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58812
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= 21347

runsolver used 3.19651 second user time and 6.52701 second system time

The end

Begin job on node109 at 2010-07-07 02:24:43
IDJOB=2699112
IDBENCH=79104
IDSOLVER=1212
FILE ID=node109/2699112-1278462283
PBS_JOBID= 11233774
Free space on /tmp= 73828 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699112-1278462283/watcher-2699112-1278462283 -o /tmp/evaluation-result-2699112-1278462283/solver-2699112-1278462283 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699112-1278462283.wbo

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

MD5SUM BENCH= e9bc5c880cc124a3ebcf869858f0227b
RANDOM SEED=1143997027

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29564692 kB
Buffers:        105392 kB
Cached:        2899356 kB
SwapCached:          0 kB
Active:        1781208 kB
Inactive:      1466056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29564692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2776 kB
Writeback:           0 kB
AnonPages:      242808 kB
Mapped:          15632 kB
Slab:            74120 kB
PageTables:       5384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   393788 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= 73828 MiB
End job on node109 at 2010-07-07 02:54:45