Trace number 4522017

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_no_dombreaking 2025-06-16SAT (TO)8054 3600.09 3610.41

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-mitre.opb
MD5SUMef3ff3fe247f050efe42854747d2eb97
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7677
Best CPU time to get the best result obtained on this benchmark6.70395
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

359.38/360.35	o 9517
359.58/360.54	o 9228
372.94/373.97	o 9227
373.05/374.04	o 9226
373.63/374.65	o 9224
373.83/374.88	o 9223
375.53/376.50	o 9222
375.83/376.82	o 9221
376.23/377.23	o 9220
376.73/377.79	o 9219
377.04/378.04	o 9218
377.82/378.84	o 9217
378.32/379.31	o 9215
378.93/379.92	o 9214
379.04/380.11	o 9213
379.52/380.56	o 9211
380.72/381.70	o 9210
380.82/381.82	o 9209
381.21/382.29	o 9208
381.61/382.65	o 9207
383.41/384.46	o 9206
384.31/385.31	o 9205
384.90/385.97	o 9204
385.12/386.18	o 9202
385.90/386.92	o 9201
386.20/387.23	o 9200
387.30/388.39	o 9199
388.01/389.04	o 9198
389.39/390.45	o 9197
389.89/390.93	o 9196
391.59/392.63	o 9195
391.88/392.92	o 9194
392.18/393.21	o 9193
398.08/399.16	o 9192
398.26/399.39	o 9191
398.36/399.40	o 9188
398.36/399.41	o 9185
398.36/399.42	o 9182
398.36/399.43	o 9179
398.36/399.44	o 9176
398.36/399.44	o 9173
401.07/402.18	o 9172
401.15/402.25	o 9171
401.25/402.33	o 9169
401.25/402.35	o 9166
401.25/402.40	o 9163
401.35/402.42	o 9162
401.35/402.47	o 9161
401.45/402.50	o 9158
401.76/402.83	o 9157
401.76/402.86	o 9155
401.76/402.89	o 9153
402.36/403.49	o 9152
402.46/403.54	o 9149
402.66/403.79	o 9146
402.86/403.97	o 9145
402.86/403.99	o 9142
403.26/404.32	o 9141
403.36/404.40	o 9140
403.36/404.47	o 9139
403.56/404.69	o 9137
404.25/405.37	o 9136
404.35/405.48	o 9135
404.96/406.06	o 9133
405.06/406.20	o 9132
405.25/406.37	o 9131
405.75/406.83	o 9130
405.75/406.86	o 9127
405.85/406.94	o 9126
406.25/407.36	o 9125
406.35/407.47	o 9124
406.55/407.63	o 9123
406.55/407.69	o 9122
406.65/407.74	o 9119
407.34/408.40	o 9118
407.64/408.72	o 9117
407.84/408.92	o 9116
407.84/409.01	o 9115
408.14/409.26	o 9114
408.64/409.72	o 9113
408.64/409.76	o 9110
409.34/410.48	o 9109
409.43/410.55	o 9108
409.73/410.85	o 9106
410.23/411.38	o 9105
410.43/411.59	o 9104
410.63/411.75	o 9103
410.83/412.00	o 9101
410.94/412.04	o 9098
411.94/413.10	o 9097
412.12/413.29	o 9096
412.72/413.80	o 9095
412.72/413.86	o 9094
413.42/414.59	o 9093
413.93/415.01	o 9092
414.22/415.31	o 9091
414.72/415.87	o 9090
414.82/415.93	o 9087
415.61/416.77	o 9086
416.21/417.31	o 9085
416.81/417.90	o 9084
417.31/418.47	o 9083
417.41/418.53	o 9080
418.40/419.56	o 9079
418.92/420.07	o 9078
419.40/420.50	o 9077
420.92/422.05	o 9076
438.56/439.71	o 9075
438.65/439.89	o 9074
438.75/439.93	o 9073
446.85/448.04	o 9072
447.33/448.50	o 9071
447.73/448.95	o 9070
447.73/449.00	o 9069
449.12/450.39	o 9068
457.20/458.40	o 9067
457.30/458.56	o 9066
458.40/459.69	o 9065
461.38/462.60	o 9064
461.68/462.99	o 9063
463.38/464.62	o 9062
466.18/467.46	o 9061
470.46/471.77	o 9060
470.56/471.88	o 9059
472.05/473.39	o 9058
472.55/473.81	o 9057
472.65/473.99	o 9056
472.76/474.08	o 9054
474.86/476.13	o 9053
474.95/476.25	o 9052
477.75/479.03	o 9051
481.13/482.40	o 9050
483.22/484.52	o 9049
484.12/485.44	o 9048
484.91/486.25	o 9047
486.02/487.35	o 9046
489.72/491.06	o 9045
490.20/491.51	o 9044
499.58/501.00	o 9043
499.79/501.19	o 9042
500.48/501.85	o 9041
500.87/502.21	o 9040
501.57/502.94	o 9039
501.78/503.14	o 9038
502.37/503.79	o 9037
502.87/504.26	o 9036
503.07/504.44	o 9035
504.86/506.22	o 9034
504.96/506.36	o 9033
505.36/506.71	o 9032
505.36/506.79	o 9031
507.15/508.57	o 9030
507.35/508.72	o 9029
507.55/508.92	o 9028
507.66/509.08	o 9027
508.34/509.74	o 9026
508.54/509.93	o 9025
510.14/511.51	o 9023
511.75/513.11	o 9022
511.93/513.35	o 9021
513.84/515.26	o 9020
515.83/517.23	o 9019
516.13/517.57	o 9018
516.33/517.71	o 9017
516.43/517.85	o 9015
517.22/518.69	o 9014
518.02/519.50	o 9013
527.89/529.38	o 9012
527.99/529.46	o 9011
528.60/530.06	o 9010
528.70/530.14	o 9009
528.79/530.26	o 9008
529.39/530.87	o 9007
529.88/531.32	o 9005
530.28/531.75	o 9004
530.59/532.06	o 9003
530.69/532.19	o 9002
531.08/532.54	o 9001
532.48/533.96	o 9000
532.59/534.05	o 8999
532.78/534.27	o 8998
532.87/534.33	o 8997
534.87/536.36	o 8996
536.67/538.14	o 8994
536.86/538.39	o 8993
537.26/538.76	o 8992
537.46/538.97	o 8991
537.57/539.07	o 8990
537.67/539.15	o 8989
537.76/539.24	o 8987
537.86/539.39	o 8986
538.85/540.36	o 8985
539.15/540.68	o 8984
540.75/542.21	o 8983
542.95/544.44	o 8982
543.15/544.68	o 8981
547.83/549.35	o 8980
548.03/549.59	o 8979
548.12/549.62	o 8966
548.12/549.68	o 8964
548.32/549.89	o 8963
548.54/550.04	o 8962
549.02/550.57	o 8960
549.22/550.75	o 8959
549.32/550.88	o 8956
549.42/550.90	o 8954
549.92/551.49	o 8952
550.12/551.67	o 8951
550.43/551.99	o 8950
550.92/552.41	o 8949
551.02/552.56	o 8948
551.12/552.66	o 8947
551.32/552.81	o 8946
551.42/552.94	o 8945
552.72/554.26	o 8944
552.92/554.50	o 8942
553.53/555.10	o 8941
553.71/555.22	o 8940
554.41/555.92	o 8939
555.31/556.82	o 8938
555.41/556.93	o 8937
555.91/557.48	o 8935
556.21/557.79	o 8934
557.30/558.80	o 8933
558.30/559.87	o 8932
558.51/560.07	o 8931
559.20/560.77	o 8929
560.19/561.78	o 8928
560.39/561.91	o 8927
560.60/562.16	o 8925
561.29/562.85	o 8924
561.39/562.97	o 8923
562.19/563.77	o 8922
562.38/563.92	o 8921
562.68/564.22	o 8920
562.98/564.59	o 8919
563.38/565.00	o 8918
564.08/565.60	o 8917
564.18/565.76	o 8916
564.49/566.04	o 8915
565.77/567.31	o 8914
566.18/567.73	o 8912
567.28/568.86	o 8911
567.77/569.33	o 8910
567.77/569.39	o 8908
568.58/570.15	o 8907
568.77/570.36	o 8905
570.16/571.70	o 8904
570.76/572.33	o 8903
571.06/572.63	o 8902
571.26/572.86	o 8901
571.66/573.26	o 8900
572.95/574.52	o 8898
574.35/575.94	o 8897
574.56/576.16	o 8896
575.35/576.92	o 8895
576.74/578.31	o 8894
576.94/578.52	o 8893
577.94/579.52	o 8892
578.83/580.43	o 8891
579.23/580.84	o 8890
581.33/582.99	o 8889
582.44/584.03	o 8888
583.03/584.61	o 8885
584.03/585.66	o 8884
584.72/586.37	o 8882
586.43/588.07	o 8881
586.61/588.25	o 8878
590.52/592.18	o 8877
590.91/592.52	o 8875
593.30/594.98	o 8873
594.19/595.82	o 8872
596.18/597.89	o 8871
596.59/598.28	o 8870
597.29/598.93	o 8869
599.08/600.76	o 8867
599.58/601.24	o 8866
600.57/602.20	o 8864
602.17/603.81	o 8863
602.27/603.95	o 8862
603.48/605.16	o 8861
604.07/605.80	o 8860
604.48/606.15	o 8859
606.26/607.98	o 8858
607.95/609.64	o 8857
608.36/610.11	o 8855
608.86/610.52	o 8854
609.95/611.66	o 8853
620.22/621.92	o 8852
624.80/626.59	o 8851
625.20/626.92	o 8850
625.20/626.95	o 8849
625.50/627.22	o 8848
626.80/628.54	o 8847
627.10/628.84	o 8846
627.70/629.42	o 8845
629.19/630.90	o 8844
632.48/634.25	o 8843
635.47/637.26	o 8842
641.96/643.77	o 8841
643.15/644.97	o 8836
643.26/645.05	o 8833
643.36/645.12	o 8832
643.85/645.69	o 8830
644.15/645.93	o 8829
646.25/648.05	o 8828
656.91/658.76	o 8827
659.21/661.03	o 8826
659.21/661.07	o 8825
661.30/663.19	o 8824
661.38/663.29	o 8823
661.58/663.48	o 8821
664.57/666.42	o 8820
664.87/666.77	o 8819
665.18/667.09	o 8818
665.57/667.48	o 8817
665.77/667.63	o 8816
667.28/669.16	o 8815
670.27/672.17	o 8814
670.75/672.66	o 8813
671.35/673.22	o 8812
671.85/673.72	o 8811
675.54/677.41	o 8810
680.02/681.97	o 8809
680.42/682.34	o 8808
681.71/683.64	o 8807
682.41/684.35	o 8806
685.22/687.19	o 8805
685.51/687.42	o 8804
687.12/689.07	o 8803
687.90/689.83	o 8802
688.90/690.87	o 8801
694.09/696.09	o 8799
696.37/698.37	o 8798
698.57/700.58	o 8797
701.07/703.06	o 8795
709.15/711.15	o 8794
711.82/713.82	o 8793
712.14/714.12	o 8792
712.62/714.65	o 8791
712.72/714.71	o 8790
712.72/714.77	o 8789
716.31/718.30	o 8788
719.50/721.60	o 8787
721.69/723.79	o 8786
722.29/724.39	o 8785
726.69/728.75	o 8784
727.10/729.13	o 8783
727.58/729.61	o 8782
730.09/732.20	o 8781
730.27/732.31	o 8779
730.47/732.58	o 8777
731.77/733.83	o 8776
732.27/734.35	o 8775
733.36/735.48	o 8774
734.07/736.14	o 8773
746.72/748.85	o 8772
747.32/749.49	o 8771
749.51/751.64	o 8770
749.81/752.00	o 8769
752.91/755.05	o 8768
756.00/758.15	o 8767
758.79/760.96	o 8766
759.90/762.05	o 8765
771.75/773.97	o 8764
772.64/774.81	o 8763
772.74/774.92	o 8762
778.73/780.90	o 8761
779.13/781.32	o 8760
788.30/790.55	o 8759
788.91/791.17	o 8758
789.19/791.45	o 8757
793.39/795.63	o 8756
795.38/797.62	o 8755
803.26/805.52	o 8754
804.36/806.67	o 8753
806.55/808.86	o 8752
808.76/811.07	o 8751
810.24/812.51	o 8750
812.04/814.32	o 8749
812.85/815.12	o 8747
814.23/816.52	o 8746
815.83/818.12	o 8745
816.12/818.45	o 8744
817.22/819.52	o 8743
819.11/821.47	o 8742
819.72/822.01	o 8741
820.51/822.90	o 8740
820.91/823.27	o 8739
823.20/825.58	o 8738
825.80/828.11	o 8737
826.60/828.93	o 8736
833.38/835.75	o 8735
833.88/836.22	o 8734
834.47/836.84	o 8733
835.57/837.97	o 8732
836.37/838.70	o 8731
838.36/840.71	o 8730
841.55/843.96	o 8729
853.92/856.34	o 8728
857.41/859.82	o 8727
857.51/859.93	o 8726
857.51/859.95	o 8725
857.81/860.21	o 8724
857.81/860.26	o 8722
857.90/860.34	o 8721
857.90/860.38	o 8720
858.61/861.10	o 8719
858.90/861.35	o 8718
859.10/861.51	o 8717
859.61/862.02	o 8716
859.61/862.08	o 8715
859.90/862.39	o 8714
860.30/862.74	o 8713
860.40/862.88	o 8712
862.00/864.47	o 8711
862.90/865.30	o 8710
863.30/865.74	o 8709
863.49/865.93	o 8708
863.61/866.09	o 8707
865.19/867.61	o 8706
865.70/868.17	o 8705
865.89/868.32	o 8704
865.89/868.39	o 8703
866.88/869.34	o 8702
867.28/869.71	o 8701
868.88/871.39	o 8700
869.47/871.92	o 8699
869.97/872.45	o 8698
870.58/873.11	o 8697
871.47/873.91	o 8696
872.58/875.04	o 8695
872.76/875.22	o 8694
874.36/876.88	o 8692
874.57/877.07	o 8691
875.06/877.58	o 8689
877.66/880.14	o 8688
877.85/880.35	o 8687
879.94/882.49	o 8686
881.14/883.64	o 8685
883.03/885.55	o 8684
883.43/885.97	o 8683
883.93/886.44	o 8682
886.82/889.37	o 8681
887.32/889.88	o 8680
889.81/892.34	o 8679
891.63/894.15	o 8678
893.11/895.62	o 8677
894.91/897.46	o 8676
895.52/898.02	o 8675
897.51/900.09	o 8674
898.51/901.06	o 8673
899.50/902.07	o 8672
900.99/903.56	o 8671
901.38/903.93	o 8670
917.24/919.89	o 8669
917.34/920.01	o 8667
924.53/927.19	o 8666
924.62/927.24	o 8663
924.71/927.37	o 8660
924.91/927.54	o 8659
924.91/927.57	o 8658
925.01/927.62	o 8657
925.01/927.70	o 8656
926.12/928.70	o 8655
926.12/928.79	o 8654
926.32/928.99	o 8653
926.43/929.09	o 8652
926.53/929.18	o 8651
927.21/929.83	o 8650
927.71/930.31	o 8649
927.81/930.49	o 8648
928.61/931.28	o 8647
928.81/931.42	o 8646
929.31/931.92	o 8645
930.30/932.97	o 8644
932.90/935.55	o 8643
936.09/938.77	o 8642
936.59/939.23	o 8639
937.78/940.48	o 8638
937.88/940.57	o 8636
938.88/941.57	o 8635
941.38/944.03	o 8634
941.57/944.24	o 8633
942.27/945.01	o 8632
942.57/945.28	o 8631
943.66/946.33	o 8630
944.37/947.03	o 8629
946.65/949.30	o 8628
947.75/950.45	o 8627
947.95/950.65	o 8626
949.94/952.65	o 8625
950.14/952.88	o 8624
950.36/953.09	o 8623
960.01/962.72	o 8622
964.21/966.90	o 8621
964.51/967.23	o 8620
965.80/968.56	o 8619
966.80/969.53	o 8618
971.39/974.15	o 8617
977.07/979.88	o 8615
978.17/980.96	o 8614
979.38/982.12	o 8613
986.25/989.10	o 8612
990.13/992.95	o 8611
990.83/993.65	o 8610
991.03/993.87	o 8609
991.63/994.41	o 8608
991.63/994.47	o 8606
991.73/994.50	o 8604
992.34/995.14	o 8603
996.01/998.87	o 8602
996.22/999.01	o 8601
996.22/999.08	o 8599
996.51/999.37	o 8598
997.71/1000.50	o 8597
997.71/1000.58	o 8595
997.91/1000.71	o 8594
997.91/1000.76	o 8593
998.40/1001.28	o 8592
998.80/1001.69	o 8591
998.90/1001.75	o 8590
1000.31/1003.13	o 8589
1002.80/1005.61	o 8588
1003.00/1005.80	o 8587
1005.20/1008.11	o 8586
1006.39/1009.20	o 8585
1006.78/1009.60	o 8584
1007.19/1010.02	o 8583
1008.68/1011.58	o 8582
1009.37/1012.27	o 8581
1010.97/1013.84	o 8580
1012.36/1015.22	o 8579
1013.86/1016.75	o 8578
1014.27/1017.19	o 8577
1014.66/1017.50	o 8576
1016.17/1019.06	o 8575
1016.66/1019.53	o 8574
1039.10/1042.01	o 8573
1041.59/1044.57	o 8572
1043.78/1046.76	o 8571
1043.98/1046.97	o 8570
1044.19/1047.18	o 8569
1047.37/1050.37	o 8568
1047.57/1050.59	o 8567
1051.36/1054.38	o 8566
1056.06/1059.02	o 8565
1062.82/1065.88	o 8564
1063.72/1066.75	o 8563
1064.32/1067.37	o 8562
1065.42/1068.43	o 8561
1077.18/1080.27	o 8560
1161.45/1164.80	o 8559
1164.44/1167.78	o 8558
1165.33/1168.62	o 8557
1165.33/1168.67	o 8556
1184.47/1187.82	o 8554
1185.57/1188.93	o 8552
1186.48/1189.88	o 8551
1186.58/1189.97	o 8550
1187.37/1190.74	o 8549
1187.87/1191.28	o 8548
1187.97/1191.34	o 8547
1188.37/1191.70	o 8545
1190.06/1193.47	o 8544
1190.16/1193.59	o 8543
1190.86/1194.20	o 8542
1190.96/1194.30	o 8541
1192.06/1195.47	o 8540
1192.26/1195.61	o 8539
1192.86/1196.21	o 8538
1193.15/1196.52	o 8537
1193.76/1197.11	o 8534
1195.45/1198.84	o 8533
1196.54/1199.93	o 8532
1196.54/1200.00	o 8531
1196.66/1200.09	o 8530
1196.94/1200.37	o 8529
1197.04/1200.46	o 8528
1197.54/1200.92	o 8527
1198.14/1201.52	o 8526
1198.34/1201.79	o 8523
1198.75/1202.15	o 8522
1200.83/1204.27	o 8521
1207.41/1210.82	o 8520
1208.22/1211.60	o 8519
1211.41/1214.87	o 8518
1214.90/1218.35	o 8517
1215.20/1218.67	o 8516
1215.61/1219.04	o 8515
1217.89/1221.31	o 8514
1219.18/1222.63	o 8513
1220.38/1223.89	o 8512
1220.98/1224.43	o 8511
1222.27/1225.74	o 8510
1222.97/1226.47	o 8509
1224.17/1227.61	o 8508
1224.86/1228.37	o 8507
1227.67/1231.16	o 8506
1228.45/1231.93	o 8505
1229.75/1233.22	o 8504
1232.24/1235.74	o 8503
1232.74/1236.27	o 8502
1245.71/1249.25	o 8501
1259.17/1262.78	o 8500
1272.55/1276.12	o 8499
1276.22/1279.89	o 8498
1277.82/1281.41	o 8496
1281.41/1285.04	o 8495
1282.10/1285.72	o 8494
1283.90/1287.55	o 8493
1284.09/1287.79	o 8492
1284.40/1288.05	o 8491
1286.59/1290.23	o 8490
1289.39/1293.11	o 8489
1290.18/1293.87	o 8488
1292.07/1295.78	o 8487
1293.96/1297.66	o 8486
1310.82/1314.55	o 8485
1314.91/1318.66	o 8484
1315.32/1319.07	o 8483
1315.51/1319.21	o 8482
1316.32/1320.11	o 8481
1316.50/1320.20	o 8480
1316.90/1320.62	o 8479
1317.60/1321.34	o 8478
1320.69/1324.42	o 8477
1320.79/1324.54	o 8476
1322.78/1326.55	o 8475
1326.39/1330.15	o 8474
1330.06/1333.88	o 8473
1330.46/1334.28	o 8472
1330.96/1334.74	o 8471
1336.45/1340.26	o 8470
1338.84/1342.60	o 8469
1341.64/1345.44	o 8468
1344.13/1347.94	o 8467
1361.08/1364.97	o 8466
1365.37/1369.21	o 8465
1366.17/1370.11	o 8464
1367.06/1370.90	o 8462
1371.45/1375.39	o 8461
1374.34/1378.20	o 8460
1385.51/1389.46	o 8459
1386.22/1390.15	o 8458
1386.31/1390.29	o 8457
1388.61/1392.50	o 8456
1388.90/1392.81	o 8455
1389.00/1392.91	o 8454
1389.11/1393.02	o 8453
1389.50/1393.47	o 8452
1389.70/1393.64	o 8451
1390.60/1394.58	o 8450
1391.40/1395.39	o 8449
1394.58/1398.54	o 8448
1395.38/1399.36	o 8447
1395.88/1399.83	o 8446
1396.78/1400.78	o 8445
1397.37/1401.33	o 8444
1397.57/1401.57	o 8443
1398.37/1402.32	o 8442
1417.62/1421.67	o 8441
1418.21/1422.27	o 8440
1419.02/1423.07	o 8439
1419.12/1423.13	o 8436
1432.27/1436.38	o 8435
1436.47/1440.52	o 8434
1440.85/1444.97	o 8433
1464.29/1468.44	o 8432
1493.81/1498.05	o 8431
1494.80/1499.09	o 8430
1504.47/1508.79	o 8429
1507.77/1512.10	o 8428
1510.65/1514.95	o 8427
1514.14/1518.44	o 8426
1525.11/1529.43	o 8425
1530.70/1535.05	o 8424
1530.89/1535.29	o 8423
1530.99/1535.34	o 8421
1531.09/1535.40	o 8420
1531.09/1535.43	o 8417
1531.09/1535.46	o 8414
1531.09/1535.48	o 8411
1531.19/1535.50	o 8408
1531.19/1535.53	o 8405
1535.09/1539.49	o 8404
1541.27/1545.63	o 8403
1541.68/1546.06	o 8402
1541.78/1546.12	o 8401
1555.82/1560.23	o 8400
1559.72/1564.16	o 8399
1560.11/1564.55	o 8398
1560.62/1565.07	o 8397
1560.80/1565.20	o 8396
1580.25/1584.70	o 8395
1594.91/1599.49	o 8394
1595.80/1600.37	o 8393
1596.11/1600.65	o 8392
1596.31/1600.86	o 8391
1596.81/1601.34	o 8390
1600.69/1605.24	o 8389
1605.78/1610.33	o 8388
1606.27/1610.84	o 8387
1607.17/1611.75	o 8386
1611.76/1616.32	o 8385
1613.95/1618.57	o 8384
1643.17/1647.81	o 8383
1660.92/1665.69	o 8382
1674.58/1679.37	o 8381
1694.92/1699.78	o 8380
1698.81/1703.64	o 8379
1701.41/1706.21	o 8378
1701.60/1706.40	o 8377
1713.57/1718.46	o 8376
1714.36/1719.23	o 8375
1715.66/1720.51	o 8374
1742.69/1747.63	o 8373
1743.58/1748.59	o 8372
1743.68/1748.63	o 8369
1744.09/1749.05	o 8368
1744.19/1749.16	o 8366
1744.28/1749.26	o 8365
1747.77/1752.70	o 8364
1747.87/1752.84	o 8363
1768.31/1773.33	o 8362
1821.26/1826.42	o 8361
1830.13/1835.39	o 8360
1831.95/1837.15	o 8359
1832.03/1837.26	o 8357
1833.73/1838.90	o 8356
1837.71/1842.97	o 8355
1845.39/1850.66	o 8354
1849.28/1854.52	o 8353
1849.57/1854.89	o 8352
1849.89/1855.16	o 8351
1854.07/1859.39	o 8350
1854.97/1860.28	o 8349
1861.45/1866.71	o 8348
1866.74/1872.09	o 8347
1867.03/1872.36	o 8346
1869.62/1874.99	o 8345
1870.02/1875.36	o 8344
1871.61/1876.96	o 8343
1873.41/1878.75	o 8342
1873.91/1879.26	o 8341
1875.00/1880.33	o 8340
1878.29/1883.61	o 8339
1883.48/1888.87	o 8338
1891.56/1896.95	o 8337
1904.63/1910.02	o 8336
1907.91/1913.32	o 8335
1909.01/1914.46	o 8334
1910.61/1916.09	o 8333
1911.62/1917.10	o 8332
1919.28/1924.74	o 8331
1922.77/1928.22	o 8330
1926.57/1932.05	o 8329
1931.25/1936.75	o 8328
1931.66/1937.14	o 8327
1932.24/1937.79	o 8326
1936.24/1941.71	o 8325
1937.23/1942.70	o 8324
1938.93/1944.44	o 8323
1941.42/1946.90	o 8321
1944.62/1950.14	o 8320
1955.97/1961.50	o 8319
1966.65/1972.25	o 8318
1966.75/1972.36	o 8317
1966.95/1972.52	o 8316
1984.69/1990.30	o 8315
1984.69/1990.40	o 8314
1984.89/1990.50	o 8313
1984.89/1990.59	o 8310
1985.09/1990.76	o 8309
1985.19/1990.81	o 8307
1985.29/1990.96	o 8306
1985.40/1991.07	o 8305
1985.79/1991.41	o 8304
1985.79/1991.49	o 8303
1985.99/1991.63	o 8302
1985.99/1991.69	o 8300
1986.28/1991.96	o 8299
1986.40/1992.10	o 8297
1986.68/1992.30	o 8295
1986.78/1992.50	o 8293
1986.98/1992.68	o 8292
1987.08/1992.74	o 8291
1987.39/1993.07	o 8290
1989.58/1995.25	o 8289
1989.88/1995.58	o 8288
1989.98/1995.70	o 8287
1990.08/1995.73	o 8286
1990.18/1995.81	o 8285
1991.77/1997.41	o 8284
1992.38/1998.10	o 8283
1993.27/1998.94	o 8281
1993.97/1999.66	o 8280
1996.26/2001.91	o 8279
1996.37/2002.04	o 8277
1996.37/2002.09	o 8276
2011.22/2016.96	o 8275
2034.36/2040.13	o 8274
2034.85/2040.66	o 8273
2053.59/2059.45	o 8272
2061.19/2067.08	o 8271
2061.67/2067.54	o 8269
2070.35/2076.20	o 8268
2076.93/2082.82	o 8267
2079.52/2085.47	o 8266
2080.13/2086.10	o 8265
2080.32/2086.28	o 8264
2080.42/2086.35	o 8263
2080.92/2086.87	o 8262
2086.59/2092.55	o 8261
2095.57/2101.55	o 8260
2097.27/2103.28	o 8259
2097.57/2103.53	o 8258
2097.97/2103.94	o 8257
2103.25/2109.23	o 8256
2106.54/2112.53	o 8255
2106.94/2112.93	o 8254
2121.20/2127.26	o 8253
2121.30/2127.37	o 8252
2122.40/2128.48	o 8251
2125.88/2131.92	o 8250
2130.08/2136.13	o 8249
2131.77/2137.81	o 8248
2132.27/2138.35	o 8247
2133.86/2139.96	o 8246
2134.66/2140.77	o 8245
2135.76/2141.86	o 8244
2136.97/2143.07	o 8243
2140.06/2146.16	o 8242
2151.61/2157.75	o 8241
2157.59/2163.70	o 8240
2159.39/2165.50	o 8238
2160.90/2167.05	o 8237
2161.99/2168.11	o 8236
2162.99/2169.13	o 8235
2163.28/2169.44	o 8234
2163.89/2170.06	o 8233
2164.67/2170.83	o 8232
2181.03/2187.26	o 8231
2195.19/2201.42	o 8230
2196.98/2203.28	o 8229
2199.67/2205.91	o 8228
2201.17/2207.43	o 8227
2201.47/2207.75	o 8226
2201.57/2207.86	o 8225
2202.26/2208.54	o 8224
2211.54/2217.87	o 8223
2219.12/2225.48	o 8222
2229.09/2235.48	o 8221
2243.45/2249.88	o 8220
2248.14/2254.55	o 8219
2279.05/2285.60	o 8218
2281.24/2287.78	o 8217
2281.65/2288.14	o 8216
2281.65/2288.19	o 8215
2283.04/2289.51	o 8214
2283.14/2289.61	o 8213
2283.73/2290.22	o 8212
2285.43/2291.90	o 8211
2288.42/2294.98	o 8210
2288.82/2295.38	o 8209
2289.53/2296.07	o 8208
2290.01/2296.53	o 8205
2292.31/2298.85	o 8204
2293.62/2300.16	o 8203
2293.81/2300.39	o 8202
2294.01/2300.54	o 8201
2295.30/2301.84	o 8199
2297.00/2303.59	o 8198
2301.60/2308.16	o 8197
2302.60/2309.13	o 8196
2304.08/2310.60	o 8195
2304.18/2310.75	o 8194
2305.27/2311.86	o 8193
2305.77/2312.39	o 8192
2306.67/2313.29	o 8191
2306.77/2313.37	o 8190
2365.32/2372.08	o 8189
2369.49/2376.22	o 8188
2370.40/2377.11	o 8187
2372.68/2379.42	o 8186
2373.58/2380.36	o 8185
2374.29/2381.07	o 8184
2376.57/2383.39	o 8183
2401.21/2408.03	o 8182
2427.42/2434.39	o 8181
2427.62/2434.58	o 8180
2430.41/2437.31	o 8179
2430.61/2437.55	o 8178
2433.80/2440.73	o 8177
2435.40/2442.38	o 8176
2435.90/2442.82	o 8175
2435.90/2442.88	o 8174
2437.90/2444.86	o 8173
2441.98/2448.93	o 8172
2444.77/2451.79	o 8171
2472.69/2479.76	o 8170
2499.81/2506.91	o 8169
2500.11/2507.25	o 8168
2506.39/2513.57	o 8167
2507.79/2515.00	o 8166
2521.25/2528.47	o 8165
2537.82/2545.07	o 8164
2538.70/2545.95	o 8163
2538.81/2546.05	o 8162
2541.39/2548.65	o 8161
2541.69/2549.01	o 8160
2542.49/2549.77	o 8159
2546.29/2553.52	o 8158
2547.68/2554.97	o 8157
2551.97/2559.20	o 8156
2552.78/2560.06	o 8155
2553.47/2560.70	o 8154
2556.76/2564.02	o 8153
2571.91/2579.21	o 8152
2573.30/2580.60	o 8151
2575.01/2582.36	o 8150
2580.39/2587.71	o 8149
2581.09/2588.48	o 8148
2590.96/2598.31	o 8147
2616.38/2623.81	o 8146
2636.33/2643.82	o 8145
2636.83/2644.31	o 8143
2643.21/2650.71	o 8142
2653.77/2661.31	o 8141
2657.06/2664.61	o 8140
2660.57/2668.15	o 8139
2661.86/2669.41	o 8138
2662.85/2670.41	o 8137
2663.25/2670.83	o 8136
2664.65/2672.25	o 8135
2665.05/2672.61	o 8133
2665.85/2673.41	o 8131
2667.74/2675.35	o 8130
2669.04/2676.66	o 8129
2669.73/2677.36	o 8128
2671.23/2678.87	o 8127
2679.80/2687.43	o 8126
2681.70/2689.36	o 8125
2695.66/2703.36	o 8124
2701.94/2709.67	o 8123
2704.03/2711.70	o 8122
2722.88/2730.62	o 8121
2723.88/2731.60	o 8120
2744.62/2752.50	o 8119
2784.80/2792.76	o 8118
2863.08/2871.20	o 8117
2921.51/2929.88	o 8116
2921.82/2930.15	o 8115
2921.91/2930.20	o 8114
2923.60/2931.91	o 8113
2924.59/2933.00	o 8112
2926.29/2934.63	o 8111
2926.99/2935.37	o 8110
2927.39/2935.77	o 8109
2928.38/2936.75	o 8108
2929.79/2938.17	o 8107
2932.08/2940.45	o 8106
2934.57/2942.97	o 8103
2934.79/2943.12	o 8102
2938.56/2946.99	o 8101
2996.79/3005.37	o 8100
3005.17/3013.78	o 8099
3005.77/3014.33	o 8098
3008.47/3017.05	o 8097
3013.34/3021.95	o 8096
3013.84/3022.46	o 8095
3013.94/3022.56	o 8094
3014.04/3022.65	o 8093
3028.10/3036.70	o 8092
3029.69/3038.39	o 8091
3029.79/3038.47	o 8089
3029.89/3038.54	o 8087
3029.89/3038.58	o 8086
3030.29/3038.91	o 8085
3030.79/3039.40	o 8084
3030.79/3039.48	o 8083
3031.00/3039.69	o 8082
3031.10/3039.75	o 8080
3034.40/3043.05	o 8079
3035.40/3044.01	o 8078
3036.28/3044.90	o 8077
3036.88/3045.58	o 8075
3054.52/3063.29	o 8074
3082.95/3091.71	o 8073
3134.39/3143.40	o 8072
3134.49/3143.47	o 8071
3143.86/3152.83	o 8070
3148.25/3157.24	o 8069
3155.34/3164.34	o 8068
3161.22/3170.26	o 8067
3161.42/3170.40	o 8066
3165.90/3174.93	o 8065
3169.49/3178.52	o 8064
3170.39/3179.50	o 8063
3171.59/3180.67	o 8062
3179.37/3188.41	o 8061
3327.14/3336.70	o 8060
3329.43/3338.90	o 8059
3329.83/3339.37	o 8058
3329.93/3339.49	o 8057
3409.07/3418.80	o 8056
3419.03/3428.81	o 8055
3525.49/3535.62	o 8054
3600.06/3610.40	c Program interrupted by user.
3600.06/3610.40	s SATISFIABLE
3600.06/3610.40	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 x9125 -x9126 -x9127 -x9128 x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 x9334 -x9335 -x9336 -x9337 -x9338 x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 x9416 -x9417 -x9418 -x9419 x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 x9674 -x9675 x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 x9747 -x9748 -x9749 -x9750 -x9751 x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 x10008 -x10009 -x10010 -x10011 -x10012 x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 x10091 -x10092 -x10093 -x10094 -x10095 x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 x10280 -x10281 -x10282 -x10283 -x10284 x10285 -x10286 -x10287 -x10288 x10289 -x10290 -x10291 -x10292 x10293 -x10294 -x10295 x10296 -x10297 -x10298 x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 x10501 -x10502 -x10503 -x10504 -x10505 x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 x10684 -x10685 -x10686 -x10687 -x10688 x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724

Verifier Data

OK	8054

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (61796 MiB free)
  memory of node 1: 64507 MiB (48093 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522017-1751586391/watcher-4522017-1751586391 -o /tmp/evaluation-result-4522017-1751586391/solver-4522017-1751586391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751582415-82516 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1165739414 --ls=360 --inp-dombreaklim=0 HOME/instance-4522017-1751586391.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=83049, runsolver pid=83046

[startup+0.100073 s]*
/proc/loadavg: 4.08 4.11 4.09 5/251 83050
/proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=50976 memory=26588 CPUtime=0.1 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6354 0 0 0 9 1 0 0 20 0 1 0 74318487 52199424 6647 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 12744 6647 1024 1200 0 11224 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50976 KiB
Current children cumulated memory: 26588 KiB

[startup+0.213494 s]*
/proc/loadavg: 4.08 4.11 4.09 5/251 83050
/proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=0.21 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 20 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+0.313267 s]*
/proc/loadavg: 4.08 4.11 4.09 5/251 83050
/proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=0.31 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 30 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+0.700318 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 83050
/proc/meminfo: memFree=112514568/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=0.68 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 67 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+1.50037 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 83050
/proc/meminfo: memFree=112510472/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=1.48 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 147 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+3.11291 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 83050
/proc/meminfo: memFree=112099200/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=3.09 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 308 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+6.30033 s]
/proc/loadavg: 4.07 4.11 4.09 5/251 83050
/proc/meminfo: memFree=112083512/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=6.27 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 626 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 83050
/proc/meminfo: memFree=112067632/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=12.65 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 1264 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 83050
/proc/meminfo: memFree=112048924/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=25.41 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 2540 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+51.113 s]
/proc/loadavg: 4.07 4.11 4.09 5/251 83051
/proc/meminfo: memFree=111854340/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=50.95 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 5094 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/252 83054
/proc/meminfo: memFree=111709248/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=28348 CPUtime=102 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 6891 0 0 0 10199 1 0 0 20 0 1 0 74318487 53424128 7087 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7087 1024 1200 0 11523 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 28348 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/253 83146
/proc/meminfo: memFree=127744216/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=161.84 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7523 0 0 0 16183 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7279 1024 1200 0 11523 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 29116 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 83150
/proc/meminfo: memFree=127676956/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=221.7 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7537 0 0 0 22169 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7279 1024 1200 0 11523 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 29116 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/253 83153
/proc/meminfo: memFree=127676392/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=281.56 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7551 0 0 0 28155 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7279 1024 1200 0 11523 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 29116 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/252 83155
/proc/meminfo: memFree=127679164/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=52172 memory=29116 CPUtime=341.42 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 7551 0 0 0 34141 1 0 0 20 0 1 0 74318487 53424128 7279 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 13043 7279 1024 1200 0 11523 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 52172 KiB
Current children cumulated memory: 29116 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/254 83165
/proc/meminfo: memFree=127314484/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=502280 memory=401676 CPUtime=401.25 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 52728 0 0 0 40101 24 0 0 20 0 1 0 74318487 514334720 100419 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 125570 100419 1248 1200 0 124050 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 502280 KiB
Current children cumulated memory: 401676 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/253 83167
/proc/meminfo: memFree=127294576/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=527780 memory=423820 CPUtime=461.08 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 58246 0 0 0 46078 30 0 0 20 0 1 0 74318487 540446720 105955 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 131945 105955 1248 1200 0 130425 0
Current children cumulated CPU time: 461.08 s

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

Current children cumulated memory: 766316 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 83340
/proc/meminfo: memFree=124263072/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=839376 memory=771052 CPUtime=2854.2 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 132030 0 0 0 285231 189 0 0 20 0 1 0 74318487 859521024 192763 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 209844 192763 1280 1200 0 208324 0
Current children cumulated CPU time: 2854.2 s
Current children cumulated vsize: 839376 KiB
Current children cumulated memory: 771052 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 83342
/proc/meminfo: memFree=124255520/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=845608 memory=775916 CPUtime=2914.03 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 133352 0 0 0 291210 193 0 0 20 0 1 0 74318487 865902592 193979 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 211402 193979 1280 1200 0 209882 0
Current children cumulated CPU time: 2914.03 s
Current children cumulated vsize: 845608 KiB
Current children cumulated memory: 775916 KiB

[startup+2982.3 s]
/proc/loadavg: 4.28 4.14 4.10 5/250 83344
/proc/meminfo: memFree=124257064/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=846988 memory=777324 CPUtime=2973.86 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 133872 0 0 0 297189 197 0 0 20 0 1 0 74318487 867315712 194331 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 211747 194331 1280 1200 0 210227 0
Current children cumulated CPU time: 2973.86 s
Current children cumulated vsize: 846988 KiB
Current children cumulated memory: 777324 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/249 83346
/proc/meminfo: memFree=124243068/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=849828 memory=779884 CPUtime=3033.69 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 134600 0 0 0 303167 202 0 0 20 0 1 0 74318487 870223872 194971 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 212457 194971 1280 1200 0 210937 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 849828 KiB
Current children cumulated memory: 779884 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 83349
/proc/meminfo: memFree=124250208/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=858588 memory=786668 CPUtime=3093.51 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 136350 0 0 0 309146 205 0 0 20 0 1 0 74318487 879194112 196667 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 214647 196667 1280 1200 0 213127 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 858588 KiB
Current children cumulated memory: 786668 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 83351
/proc/meminfo: memFree=124234628/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=876984 memory=797164 CPUtime=3153.35 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 139144 0 0 0 315124 211 0 0 20 0 1 0 74318487 898031616 199291 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 219246 199291 1280 1200 0 217726 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 876984 KiB
Current children cumulated memory: 797164 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 83353
/proc/meminfo: memFree=124227392/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=877176 memory=797548 CPUtime=3213.17 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 139313 0 0 0 321103 214 0 0 20 0 1 0 74318487 898228224 199387 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 219294 199387 1280 1200 0 217774 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 877176 KiB
Current children cumulated memory: 797548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 83355
/proc/meminfo: memFree=124223824/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=884704 memory=805400 CPUtime=3272.99 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 139937 0 0 0 327078 221 0 0 20 0 1 0 74318487 905936896 201350 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 221176 201350 1280 1200 0 219656 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 884704 KiB
Current children cumulated memory: 805400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/251 83357
/proc/meminfo: memFree=124232168/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=885248 memory=805912 CPUtime=3332.82 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 140141 0 0 0 333056 226 0 0 20 0 1 0 74318487 906493952 201478 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 221312 201478 1280 1200 0 219792 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 885248 KiB
Current children cumulated memory: 805912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 83359
/proc/meminfo: memFree=124199444/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=893432 memory=814616 CPUtime=3392.62 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 141982 0 0 0 339030 232 0 0 20 0 1 0 74318487 914874368 203654 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 223358 203654 1280 1200 0 221838 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 893432 KiB
Current children cumulated memory: 814616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/250 83367
/proc/meminfo: memFree=124201644/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=896180 memory=824344 CPUtime=3452.42 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 142661 0 0 0 345004 238 0 0 20 0 1 0 74318487 917688320 206086 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 224045 206086 1280 1200 0 222525 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 896180 KiB
Current children cumulated memory: 824344 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/249 83369
/proc/meminfo: memFree=124168844/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=912616 memory=845464 CPUtime=3512.22 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 145848 0 0 0 350978 244 0 0 20 0 1 0 74318487 934518784 211366 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 228154 211366 1280 1200 0 226634 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 912616 KiB
Current children cumulated memory: 845464 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 83371
/proc/meminfo: memFree=124161844/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=919272 memory=867352 CPUtime=3572.05 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 147090 0 0 0 356955 250 0 0 20 0 1 0 74318487 941334528 216838 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 229818 216838 1280 1200 0 228298 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 919272 KiB
Current children cumulated memory: 867352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 83374
/proc/meminfo: memFree=124161720/131382120 swapFree=33010416/33010684
[pid=83049] ppid=83046 vsize=920520 memory=868504 CPUtime=3600.06 cores=0,2
/proc/83049/stat : 83049 (Exact) R 83046 83049 82502 0 -1 4194304 147487 0 0 0 359754 252 0 0 20 0 1 0 74318487 942612480 217126 18446744073709551615 4198400 9112445 140733741629824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38457344 140733741635878 140733741636077 140733741636077 140733741641679 0
/proc/83049/statm: 230130 217126 1280 1200 0 228610 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 920520 KiB
Current children cumulated memory: 868504 KiB

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

[startup+3610.41 s]
# the end of solver process 83049 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3597.56 s, system=2.53182 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.09
CPU user time (s): 3597.56
CPU system time (s): 2.53182
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 920520
Max. memory (cumulated for all children) (KiB): 868504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.56
system time used= 2.53182
maximum resident set size= 868504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147488
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= 135
involuntary context switches= 9279


# summary of solver processes directly reported to runsolver:
#   pid: 83049
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3597.56
#   total CPU system time (s): 2.53182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9 second user time and 34.638 second system time

The end

Launcher Data

Begin job on nodeC006 at 2025-07-04 01:46:31
IDJOB=4522017
IDBENCH=178564
IDSOLVER=3319
FILE ID=nodeC006/4522017-1751586391
RUNJOBID= nodeC006-1751582415-82516
SLURM_JOB_ID= 9598824
Free space on /tmp= 432016 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib3/normalized-mitre.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522017-1751586391/watcher-4522017-1751586391 -o /tmp/evaluation-result-4522017-1751586391/solver-4522017-1751586391 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751582415-82516 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1165739414 --ls=360 --inp-dombreaklim=0 HOME/instance-4522017-1751586391.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= ef3ff3fe247f050efe42854747d2eb97
RANDOM SEED=1165739414

nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.043
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.052
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.138
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.499
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.703
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3660.986
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.747
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        112528240 kB
MemAvailable:   114297272 kB
Buffers:            2128 kB
Cached:          2534068 kB
SwapCached:           12 kB
Active:         16089136 kB
Inactive:        2069156 kB
Active(anon):   15629064 kB
Inactive(anon):    10996 kB
Active(file):     460072 kB
Inactive(file):  2058160 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7696 kB
Writeback:            24 kB
AnonPages:      15620912 kB
Mapped:           118280 kB
Shmem:             17948 kB
KReclaimable:     180472 kB
Slab:             267052 kB
SReclaimable:     180472 kB
SUnreclaim:        86580 kB
KernelStack:        4000 kB
PageTables:        33860 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   18021936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11427840 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432128 MiB
End job on nodeC006 at 2025-07-04 02:46:42