Trace number 1127186

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 NameAnswerCPU timeWall clock time
AbsconMax 112 pc-d? 183.764 185.218

General information on the benchmark

Namemaxcsp/pedigree/
normalized-sheep4nr_ext.xml
MD5SUM93c5d394eb2c2860fd1ad7b3d6066719
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints41
Best CPU time to get the best result obtained on this benchmark3600
Satisfiable
(Un)Satisfiability was proved
Number of variables8991
Number of constraints11213
Maximum constraint arity3
Maximum domain size10
Number of constraints which are defined in extension11213
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.01/0.17	
0.01/0.17	Abscon 112 (May, 2008)
0.19/0.36	
0.19/0.36	   configuration
0.19/0.36	     name=mrdac-ddeg.xml
0.29/0.41	   
0.29/0.41	   instance
0.29/0.41	     name=HOME/instance-1127186-1216188205.xml
0.29/0.45	   
0.29/0.45	   domains being loaded...
0.29/0.46	   
0.29/0.46	   variables being loaded...
0.67/0.87	     nbVariables=8991  nbDomainTypes=2  minDomainSize=1  maxDomainSize=10  nbTotalValues=89901
0.67/0.87	       =>  wckTime=0.504  cpuTime=0.38  mem=41M359
0.67/0.87	   
0.67/0.87	   relations being loaded...
0.67/0.88	   
0.67/0.88	   constraints being loaded...
1.17/1.38	     nbConstraints=11213  nbRelationTypes=12  nbSingletonDomainVariables=1  nbExtensionStructures=12
1.17/1.38	     nbSharedExtensionStructures=11201  nbConflictsStructures=12  nbSharedConflictsStructures=11201
1.17/1.38	     nbSharedBinaryRepresentations=109  minDegree=2  maxDegree=2481  minArity=2  avgArity=2.7  maxArity=3
1.17/1.38	       =>  wckTime=1.015  cpuTime=0.72  mem=46M810
1.36/1.57	   
1.36/1.57	   solver LocalSearchSolver being built... 
1.47/1.62	       =>  wckTime=1.253  cpuTime=0.76  mem=22M253
1.47/1.68	
1.47/1.68	s SATISFIABLE
1.47/1.68	o 8505
1.47/1.69	o 8472
1.57/1.71	o 8441
1.57/1.72	o 8417
1.57/1.74	o 8409
1.57/1.75	o 8386
1.57/1.77	o 8381
1.57/1.78	o 8369
1.57/1.79	o 8351
1.67/1.81	o 8331
1.67/1.82	o 8313
1.67/1.83	o 8296
1.67/1.84	o 8278
1.67/1.85	o 8270
1.67/1.86	o 8262
1.67/1.89	o 8252
1.76/1.91	o 8241
1.76/1.93	o 8226
1.76/1.94	o 8215
1.76/1.95	o 8212
1.76/1.96	o 8207
1.76/1.97	o 8202
1.76/1.99	o 8196
1.86/2.00	o 8182
1.86/2.02	o 8171
1.86/2.03	o 8167
1.96/2.19	o 8166
1.96/2.20	o 8159
2.05/2.22	o 8151
2.05/2.23	o 8141
2.05/2.24	o 8136
2.05/2.26	o 8134
2.05/2.27	o 8123
2.05/2.29	o 8120
2.05/2.30	o 8114
2.16/2.31	o 8111
2.16/2.35	o 8104
2.16/2.37	o 8103
2.16/2.39	o 8092
2.26/2.40	o 8085
2.26/2.41	o 8076
2.26/2.43	o 8069
2.26/2.45	o 8054
2.26/2.46	o 8047
2.26/2.47	o 8043
2.26/2.49	o 8037
2.35/2.50	o 8034
2.35/2.52	o 8029
2.35/2.53	o 8020
2.35/2.54	o 8013
2.35/2.60	o 8006
2.45/2.61	o 8002
2.55/2.75	o 7998
2.55/2.77	o 7996
2.75/2.97	o 7994
2.75/2.99	o 7988
2.84/3.00	o 7969
2.84/3.02	o 7961
2.84/3.05	o 7960
2.84/3.07	o 7955
2.84/3.08	o 7950
2.94/3.13	o 7946
3.05/3.26	o 7940
3.05/3.27	o 7932
3.14/3.34	o 7928
3.14/3.36	o 7922
3.14/3.37	o 7916
3.14/3.38	o 7910
3.14/3.40	o 7904
3.24/3.47	o 7902
3.24/3.48	o 7897
3.24/3.49	o 7892
3.34/3.51	o 7888
3.34/3.52	o 7885
3.34/3.54	o 7882
3.34/3.55	o 7871
3.34/3.57	o 7869
3.34/3.58	o 7867
3.34/3.60	o 7866
3.73/3.95	o 7865
3.73/3.96	o 7860
3.73/3.98	o 7855
3.73/3.99	o 7851
3.83/4.01	o 7847
3.83/4.02	o 7843
3.83/4.04	o 7839
3.83/4.05	o 7832
3.83/4.07	o 7824
3.83/4.08	o 7817
3.93/4.11	o 7814
3.93/4.13	o 7810
3.93/4.14	o 7806
3.93/4.16	o 7802
3.93/4.17	o 7798
3.93/4.19	o 7794
4.03/4.22	o 7791
4.03/4.27	o 7790
4.03/4.29	o 7787
4.13/4.30	o 7784
4.13/4.32	o 7782
4.13/4.33	o 7780
4.13/4.35	o 7779
4.42/4.61	o 7774
4.42/4.62	o 7771
4.53/4.71	o 7770
4.53/4.72	o 7768
4.53/4.75	o 7762
4.53/4.76	o 7755
4.62/4.87	o 7753
4.62/4.88	o 7749
4.72/4.90	o 7745
4.72/4.92	o 7741
4.72/4.93	o 7737
4.72/4.95	o 7733
4.72/4.96	o 7729
4.72/4.98	o 7725
4.82/5.01	o 7723
4.82/5.03	o 7719
4.82/5.04	o 7715
4.82/5.06	o 7711
4.92/5.12	o 7707
4.92/5.14	o 7704
4.92/5.15	o 7701
5.02/5.23	o 7698
5.02/5.24	o 7690
5.02/5.26	o 7689
5.11/5.33	o 7688
5.11/5.35	o 7685
5.11/5.36	o 7682
5.11/5.38	o 7679
5.11/5.39	o 7676
5.22/5.41	o 7673
5.22/5.43	o 7670
5.22/5.49	o 7667
5.32/5.51	o 7664
5.32/5.52	o 7662
5.32/5.54	o 7659
5.32/5.58	o 7658
5.32/5.60	o 7655
5.42/5.61	o 7652
5.42/5.63	o 7649
5.42/5.64	o 7643
5.42/5.66	o 7626
5.42/5.67	o 7624
5.52/5.70	o 7619
5.52/5.72	o 7617
5.52/5.73	o 7615
5.52/5.75	o 7613
5.52/5.76	o 7611
5.52/5.78	o 7610
5.52/5.79	o 7609
5.61/5.81	o 7608
5.61/5.82	o 7607
5.71/5.93	o 7605
5.71/5.94	o 7601
5.71/5.96	o 7600
5.71/5.98	o 7599
5.71/5.99	o 7598
6.21/6.47	o 7596
6.21/6.49	o 7592
6.31/6.50	o 7589
6.31/6.52	o 7587
6.31/6.54	o 7584
6.31/6.55	o 7580
6.31/6.57	o 7575
6.31/6.59	o 7574
6.41/6.61	o 7570
6.41/6.63	o 7568
6.41/6.65	o 7567
6.51/6.71	o 7565
6.51/6.72	o 7556
6.60/6.82	o 7554
6.60/6.83	o 7551
6.80/7.04	o 7548
6.80/7.06	o 7545
6.90/7.10	o 7541
6.90/7.18	o 7537
6.90/7.19	o 7524
7.00/7.21	o 7520
7.00/7.23	o 7515
7.00/7.24	o 7511
7.00/7.27	o 7510
7.00/7.29	o 7507
7.09/7.30	o 7504
7.09/7.32	o 7501
7.09/7.34	o 7498
7.09/7.38	o 7495
7.09/7.39	o 7492
7.19/7.42	o 7489
7.19/7.43	o 7486
7.19/7.46	o 7484
7.19/7.48	o 7481
7.29/7.56	o 7479
7.29/7.57	o 7476
7.29/7.59	o 7473
7.39/7.61	o 7470
7.39/7.64	o 7466
7.39/7.66	o 7456
7.39/7.68	o 7453
7.39/7.69	o 7450
7.49/7.72	o 7447
7.49/7.73	o 7445
7.49/7.75	o 7441
7.59/7.88	o 7438
7.59/7.89	o 7435
7.69/7.91	o 7432
7.69/7.93	o 7429
7.69/7.94	o 7426
7.78/8.04	o 7424
7.78/8.06	o 7421
7.78/8.08	o 7418
7.78/8.09	o 7415
7.88/8.11	o 7404
7.88/8.13	o 7401
7.88/8.14	o 7398
7.88/8.16	o 7395
7.88/8.17	o 7392
7.88/8.19	o 7389
7.99/8.21	o 7386
7.99/8.22	o 7383
7.99/8.24	o 7380
7.99/8.25	o 7377
7.99/8.27	o 7374
7.99/8.29	o 7372
8.08/8.32	o 7370
8.08/8.34	o 7368
8.08/8.36	o 7365
8.08/8.38	o 7362
8.08/8.39	o 7359
8.18/8.41	o 7356
8.18/8.46	o 7353
8.18/8.48	o 7350
8.18/8.49	o 7347
8.28/8.52	o 7344
8.28/8.53	o 7341
8.28/8.55	o 7338
8.28/8.56	o 7335
8.28/8.58	o 7332
8.28/8.60	o 7329
8.37/8.61	o 7324
8.37/8.63	o 7320
8.37/8.67	o 7318
8.37/8.69	o 7315
8.47/8.70	o 7312
8.47/8.72	o 7300
8.47/8.74	o 7297
8.47/8.75	o 7294
8.47/8.77	o 7291
8.47/8.79	o 7288
8.57/8.81	o 7285
8.57/8.83	o 7282
8.57/8.84	o 7279
8.57/8.87	o 7276
8.57/8.90	o 7275
8.67/8.92	o 7272
8.67/8.93	o 7269
8.67/8.95	o 7266
8.67/8.96	o 7263
8.67/8.98	o 7260
8.67/8.99	o 7258
8.77/9.01	o 7256
8.77/9.03	o 7254
8.77/9.04	o 7252
8.77/9.06	o 7245
8.77/9.08	o 7242
8.77/9.09	o 7240
8.86/9.11	o 7236
8.86/9.12	o 7234
8.86/9.14	o 7232
8.86/9.16	o 7230
8.86/9.17	o 7229
8.86/9.19	o 7224
8.97/9.20	o 7222
8.97/9.22	o 7220
8.97/9.24	o 7218
8.97/9.25	o 7216
8.97/9.27	o 7214
8.97/9.28	o 7212
9.07/9.30	o 7204
9.07/9.32	o 7202
9.07/9.33	o 7200
9.07/9.35	o 7198
9.07/9.39	o 7197
9.17/9.40	o 7195
9.17/9.42	o 7193
9.17/9.44	o 7191
9.17/9.45	o 7186
9.27/9.50	o 7184
9.27/9.52	o 7181
9.27/9.54	o 7179
9.27/9.55	o 7178
9.27/9.57	o 7177
9.27/9.59	o 7174
9.37/9.62	o 7172
9.37/9.63	o 7171
9.37/9.65	o 7170
9.37/9.67	o 7169
9.56/9.82	o 7166
9.56/9.83	o 7162
9.56/9.85	o 7159
9.56/9.86	o 7157
9.56/9.88	o 7154
9.56/9.90	o 7151
9.66/9.92	o 7148
9.66/9.96	o 7147
9.76/10.02	o 7145
9.76/10.08	o 7142
9.76/10.09	o 7137
9.86/10.11	o 7133
9.86/10.12	o 7123
9.86/10.14	o 7120
9.86/10.16	o 7117
9.86/10.17	o 7115
9.86/10.19	o 7113
9.95/10.22	o 7108
9.95/10.23	o 7105
9.95/10.25	o 7102
9.95/10.27	o 7101
9.95/10.28	o 7098
9.95/10.30	o 7096
10.05/10.31	o 7093
10.05/10.33	o 7092
10.05/10.35	o 7090
10.05/10.36	o 7087
10.05/10.38	o 7084
10.05/10.39	o 7081
10.15/10.41	o 7078
10.15/10.43	o 7075
10.15/10.44	o 7072
10.15/10.46	o 7070
10.15/10.48	o 7067
10.15/10.49	o 7062
10.25/10.51	o 7059
10.25/10.53	o 7056
10.25/10.54	o 7053
10.25/10.56	o 7050
10.25/10.58	o 7047
10.25/10.59	o 7044
10.35/10.61	o 7041
10.35/10.63	o 7038
10.35/10.64	o 7037
10.35/10.66	o 7031
10.35/10.67	o 7028
10.35/10.69	o 7025
10.45/10.71	o 7022
10.45/10.73	o 7020
10.45/10.75	o 7017
10.45/10.76	o 7014
10.45/10.78	o 7012
10.45/10.80	o 7010
10.54/10.81	o 7008
10.54/10.83	o 7005
10.54/10.85	o 7002
10.54/10.86	o 6999
10.54/10.88	o 6997
10.54/10.90	o 6995
10.64/10.91	o 6992
10.64/10.93	o 6989
10.64/10.97	o 6988
10.64/10.99	o 6985
10.75/11.01	o 6982
10.75/11.03	o 6977
10.75/11.04	o 6975
10.75/11.06	o 6973
10.75/11.09	o 6970
10.94/11.22	o 6967
10.94/11.23	o 6964
10.94/11.26	o 6962
10.94/11.28	o 6960
11.14/11.48	o 6959
11.14/11.49	o 6957
11.24/11.51	o 6955
11.24/11.53	o 6952
11.44/11.71	o 6951
11.44/11.75	o 6950
11.44/11.77	o 6947
11.44/11.78	o 6946
11.54/11.80	o 6943
11.54/11.82	o 6940
11.63/11.94	o 6939
11.63/11.96	o 6936
11.63/11.99	o 6934
11.73/12.01	o 6933
11.73/12.02	o 6930
11.73/12.05	o 6928
11.73/12.07	o 6926
11.73/12.09	o 6925
11.84/12.11	o 6922
11.84/12.18	o 6920
11.94/12.21	o 6918
11.94/12.23	o 6916
11.94/12.25	o 6914
11.94/12.27	o 6912
11.94/12.29	o 6910
12.03/12.36	o 6907
12.03/12.38	o 6904
12.13/12.41	o 6901
12.33/12.66	o 6898
12.33/12.68	o 6896
12.33/12.69	o 6889
12.43/12.71	o 6886
12.43/12.73	o 6885
12.43/12.75	o 6883
12.43/12.77	o 6881
12.43/12.79	o 6879
12.53/12.82	o 6877
12.53/12.84	o 6875
12.53/12.86	o 6873
12.53/12.88	o 6871
12.63/12.90	o 6870
12.63/12.92	o 6868
12.63/12.95	o 6866
12.63/12.97	o 6864
12.63/12.99	o 6862
12.72/13.01	o 6860
12.72/13.03	o 6858
12.72/13.05	o 6856
12.72/13.07	o 6854
12.72/13.09	o 6852
12.92/13.28	o 6849
12.92/13.30	o 6847
13.02/13.32	o 6844
13.02/13.33	o 6843
13.11/13.40	o 6841
13.11/13.42	o 6839
13.11/13.44	o 6837
13.11/13.47	o 6835
13.11/13.49	o 6833
13.21/13.51	o 6831
13.21/13.53	o 6829
13.31/13.62	o 6827
13.31/13.64	o 6825
13.31/13.66	o 6822
13.41/13.75	o 6817
13.41/13.77	o 6811
13.41/13.78	o 6809
13.51/13.81	o 6806
13.51/13.82	o 6803
13.51/13.85	o 6801
13.51/13.87	o 6799
13.61/13.93	o 6796
13.61/13.95	o 6794
13.61/13.97	o 6791
13.61/13.99	o 6790
13.71/14.01	o 6788
13.71/14.04	o 6787
13.71/14.06	o 6785
13.71/14.09	o 6783
13.80/14.11	o 6781
13.80/14.13	o 6779
13.90/14.22	o 6778
13.90/14.24	o 6776
13.90/14.26	o 6774
13.90/14.28	o 6772
14.00/14.31	o 6770
14.00/14.33	o 6768
14.00/14.35	o 6766
14.00/14.37	o 6764
14.00/14.39	o 6762
14.10/14.41	o 6760
14.10/14.43	o 6758
14.10/14.45	o 6756
14.10/14.47	o 6754
14.10/14.50	o 6752
14.19/14.52	o 6750
14.19/14.54	o 6748
14.19/14.56	o 6746
14.19/14.58	o 6744
14.29/14.60	o 6742
14.29/14.62	o 6740
14.29/14.64	o 6729
14.29/14.66	o 6726
14.40/14.74	o 6724
14.40/14.76	o 6722
14.50/14.80	o 6720
14.50/14.81	o 6719
14.50/14.83	o 6717
14.50/14.85	o 6715
14.50/14.87	o 6713
14.50/14.90	o 6711
14.60/14.98	o 6710
14.70/15.00	o 6708
14.70/15.02	o 6706
14.70/15.04	o 6704
14.70/15.05	o 6696
14.70/15.08	o 6694
14.70/15.10	o 6692
14.80/15.12	o 6690
14.80/15.14	o 6688
14.80/15.16	o 6686
14.80/15.18	o 6684
14.89/15.20	o 6682
14.89/15.23	o 6680
14.99/15.35	o 6679
15.09/15.43	o 6678
15.09/15.45	o 6676
15.09/15.47	o 6674
15.09/15.49	o 6672
15.19/15.51	o 6670
15.19/15.53	o 6668
15.19/15.55	o 6666
15.19/15.57	o 6664
15.19/15.59	o 6662
15.28/15.62	o 6660
15.28/15.64	o 6658
15.28/15.66	o 6656
15.28/15.68	o 6654
15.38/15.76	o 6653
15.38/15.78	o 6651
15.48/15.83	o 6650
15.48/15.85	o 6648
15.48/15.87	o 6646
15.48/15.89	o 6644
15.58/15.91	o 6643
15.58/15.98	o 6642
15.68/16.00	o 6640
15.68/16.02	o 6638
15.68/16.04	o 6636
15.78/16.12	o 6634
15.78/16.16	o 6631
15.78/16.18	o 6629
15.88/16.21	o 6627
15.88/16.23	o 6625
15.88/16.25	o 6623
15.88/16.27	o 6621
15.88/16.29	o 6619
15.97/16.31	o 6617
15.97/16.33	o 6615
15.97/16.35	o 6613
15.97/16.37	o 6611
15.97/16.39	o 6609
16.07/16.41	o 6607
16.07/16.43	o 6605
16.07/16.46	o 6604
16.07/16.48	o 6601
16.07/16.50	o 6598
16.17/16.52	o 6596
16.17/16.54	o 6594
16.17/16.56	o 6592
16.17/16.58	o 6590
16.17/16.60	o 6588
16.28/16.62	o 6586
16.37/16.73	o 6579
16.37/16.75	o 6577
16.37/16.77	o 6575
16.37/16.79	o 6573
16.47/16.81	o 6571
16.47/16.83	o 6569
16.47/16.85	o 6567
16.47/16.87	o 6565
16.47/16.89	o 6563
16.57/16.91	o 6561
16.57/16.93	o 6559
16.67/17.02	o 6557
16.67/17.04	o 6555
16.67/17.06	o 6553
16.67/17.08	o 6551
16.67/17.10	o 6549
16.77/17.11	o 6546
16.77/17.13	o 6544
16.77/17.15	o 6539
16.77/17.17	o 6537
16.77/17.19	o 6535
16.87/17.21	o 6533
16.87/17.23	o 6531
16.87/17.25	o 6529
16.87/17.27	o 6527
16.87/17.29	o 6525
16.96/17.32	o 6523
16.96/17.34	o 6521
16.96/17.36	o 6519
16.96/17.38	o 6517
16.96/17.39	o 6515
17.06/17.42	o 6513
17.06/17.44	o 6511
17.06/17.46	o 6509
17.06/17.48	o 6507
17.06/17.50	o 6505
17.16/17.52	o 6503
17.16/17.54	o 6501
17.16/17.56	o 6499
17.16/17.58	o 6497
17.26/17.61	o 6495
17.86/18.20	o 6494
17.86/18.22	o 6492
17.86/18.24	o 6490
17.86/18.26	o 6488
17.86/18.28	o 6486
17.96/18.30	o 6484
17.96/18.32	o 6482
17.96/18.34	o 6480
17.96/18.36	o 6478
17.96/18.38	o 6476
18.06/18.40	o 6474
18.06/18.42	o 6472
18.06/18.47	o 6471
18.15/18.50	o 6468
18.15/18.52	o 6466
18.15/18.54	o 6464
18.15/18.56	o 6462
18.15/18.58	o 6460
18.25/18.60	o 6458
18.25/18.62	o 6456
18.25/18.64	o 6454
18.25/18.66	o 6452
18.25/18.68	o 6450
18.34/18.71	o 6448
18.34/18.73	o 6446
18.34/18.75	o 6444
18.34/18.77	o 6442
18.34/18.79	o 6436
18.34/18.80	o 6435
18.44/18.84	o 6433
18.44/18.85	o 6431
18.44/18.87	o 6429
18.44/18.89	o 6427
18.54/18.91	o 6425
18.54/18.93	o 6423
18.54/18.95	o 6421
18.54/18.97	o 6419
18.54/18.99	o 6417
18.64/19.01	o 6415
18.64/19.03	o 6413
18.64/19.05	o 6411
18.64/19.07	o 6409
18.64/19.09	o 6404
18.74/19.11	o 6402
18.74/19.13	o 6400
18.74/19.15	o 6398
18.74/19.17	o 6396
18.74/19.18	o 6394
18.84/19.21	o 6392
18.84/19.22	o 6390
18.84/19.24	o 6388
18.84/19.26	o 6386
18.84/19.28	o 6384
18.94/19.30	o 6382
18.94/19.32	o 6380
18.94/19.38	o 6378
18.94/19.40	o 6375
19.04/19.46	o 6369
19.04/19.49	o 6358
19.14/19.52	o 6355
19.14/19.53	o 6352
19.14/19.55	o 6350
19.14/19.57	o 6348
19.14/19.59	o 6346
19.23/19.61	o 6343
19.23/19.63	o 6341
19.23/19.65	o 6339
19.23/19.67	o 6337
19.23/19.69	o 6335
19.33/19.71	o 6333
19.33/19.73	o 6331
19.33/19.75	o 6329
19.33/19.76	o 6327
19.33/19.78	o 6325
19.43/19.81	o 6323
19.43/19.83	o 6321
19.43/19.85	o 6319
19.43/19.87	o 6317
19.43/19.89	o 6315
19.53/19.91	o 6313
19.53/19.93	o 6311
19.53/19.95	o 6309
19.53/19.97	o 6307
19.53/19.98	o 6305
19.62/20.00	o 6303
19.62/20.02	o 6301
19.62/20.04	o 6299
19.62/20.06	o 6297
19.62/20.08	o 6295
19.72/20.10	o 6293
19.72/20.12	o 6291
19.72/20.14	o 6289
19.72/20.16	o 6287
19.72/20.18	o 6285
19.72/20.19	o 6283
19.83/20.21	o 6281
19.83/20.23	o 6279
19.83/20.25	o 6277
19.83/20.27	o 6275
19.83/20.29	o 6273
19.93/20.31	o 6271
19.93/20.33	o 6269
19.93/20.35	o 6267
19.93/20.37	o 6264
19.93/20.39	o 6262
20.02/20.41	o 6260
20.02/20.42	o 6258
20.02/20.44	o 6256
20.12/20.50	o 6255
20.12/20.52	o 6253
20.12/20.54	o 6251
20.12/20.56	o 6249
20.12/20.58	o 6248
20.12/20.60	o 6245
20.22/20.62	o 6243
20.22/20.64	o 6241
20.22/20.66	o 6239
20.32/20.72	o 6237
20.32/20.74	o 6235
20.32/20.76	o 6233
20.32/20.78	o 6231
20.32/20.80	o 6229
20.42/20.88	o 6227
20.51/20.91	o 6225
20.51/20.92	o 6221
20.51/20.94	o 6219
20.51/20.96	o 6217
20.51/20.98	o 6215
20.51/21.00	o 6213
20.61/21.02	o 6211
20.61/21.03	o 6209
20.61/21.05	o 6207
20.61/21.07	o 6205
20.61/21.09	o 6203
20.71/21.15	o 6201
20.71/21.17	o 6199
20.71/21.19	o 6197
20.81/21.26	o 6196
20.81/21.28	o 6194
20.91/21.30	o 6192
20.91/21.32	o 6190
20.91/21.34	o 6188
20.91/21.36	o 6186
20.91/21.38	o 6184
21.01/21.40	o 6182
21.01/21.42	o 6180
21.01/21.44	o 6178
21.01/21.46	o 6176
21.01/21.47	o 6174
21.01/21.49	o 6172
21.11/21.51	o 6170
21.11/21.53	o 6168
21.11/21.55	o 6166
21.11/21.57	o 6164
21.11/21.59	o 6162
21.21/21.61	o 6160
21.21/21.63	o 6158
21.21/21.64	o 6156
21.21/21.66	o 6154
21.31/21.70	o 6153
21.31/21.72	o 6150
21.31/21.74	o 6148
21.31/21.76	o 6130
21.31/21.77	o 6128
21.31/21.79	o 6127
21.40/21.81	o 6125
21.40/21.83	o 6123
21.40/21.84	o 6121
21.50/21.91	o 6119
21.50/21.93	o 6117
21.50/21.95	o 6115
21.50/21.97	o 6113
21.50/21.99	o 6111
21.60/22.01	o 6108
21.60/22.03	o 6106
21.60/22.04	o 6104
21.60/22.07	o 6102
21.60/22.09	o 6100
21.70/22.11	o 6098
21.70/22.13	o 6094
21.70/22.15	o 6092
21.70/22.16	o 6087
21.70/22.18	o 6085
21.79/22.20	o 6083
21.79/22.22	o 6081
21.79/22.24	o 6079
21.79/22.26	o 6074
21.79/22.27	o 6072
21.79/22.29	o 6070
21.90/22.31	o 6068
21.90/22.33	o 6066
21.90/22.35	o 6064
21.90/22.37	o 6062
21.90/22.38	o 6060
22.00/22.40	o 6058
22.00/22.42	o 6056
22.00/22.45	o 6055
22.00/22.47	o 6053
22.10/22.50	o 6052
22.10/22.52	o 6050
22.10/22.54	o 6048
22.10/22.56	o 6046
22.10/22.57	o 6044
22.10/22.59	o 6042
22.19/22.61	o 6040
22.19/22.63	o 6038
22.19/22.65	o 6036
22.19/22.66	o 6034
22.19/22.68	o 6032
22.29/22.73	o 6030
22.39/22.82	o 6028
22.39/22.84	o 6026
22.48/22.92	o 6019
22.48/22.94	o 6017
22.48/22.96	o 6011
22.48/22.97	o 6007
22.58/23.06	o 6006
22.58/23.08	o 6004
22.58/23.10	o 6002
22.68/23.12	o 6000
22.68/23.14	o 5998
22.68/23.16	o 5996
22.68/23.17	o 5994
22.68/23.19	o 5992
22.79/23.21	o 5990
22.79/23.23	o 5988
22.79/23.25	o 5986
22.79/23.26	o 5984
22.79/23.28	o 5982
22.88/23.30	o 5980
22.88/23.32	o 5978
22.88/23.34	o 5976
22.88/23.35	o 5974
22.88/23.37	o 5972
22.88/23.39	o 5970
22.98/23.41	o 5968
22.98/23.43	o 5966
22.98/23.44	o 5964
22.98/23.46	o 5962
23.08/23.51	o 5960
23.08/23.53	o 5958
23.08/23.59	o 5956
23.18/23.61	o 5954
23.18/23.62	o 5952
23.18/23.64	o 5950
23.18/23.66	o 5948
23.18/23.68	o 5946
23.18/23.69	o 5944
23.28/23.71	o 5942
23.28/23.73	o 5940
23.28/23.76	o 5939
23.28/23.77	o 5937
23.28/23.79	o 5935
23.38/23.81	o 5933
23.38/23.83	o 5931
23.38/23.85	o 5929
23.38/23.86	o 5927
23.38/23.88	o 5925
23.48/23.90	o 5923
23.48/23.92	o 5920
23.48/23.94	o 5918
23.48/23.95	o 5916
23.48/23.99	o 5914
23.57/24.00	o 5912
23.57/24.02	o 5910
23.57/24.04	o 5908
23.57/24.06	o 5906
23.57/24.07	o 5904
23.57/24.09	o 5902
23.67/24.11	o 5900
23.67/24.13	o 5898
23.67/24.15	o 5896
23.67/24.19	o 5894
23.77/24.21	o 5892
23.77/24.23	o 5890
23.77/24.25	o 5888
23.77/24.27	o 5885
23.77/24.28	o 5883
23.77/24.30	o 5881
23.87/24.32	o 5879
23.87/24.34	o 5877
23.87/24.35	o 5875
23.87/24.37	o 5873
23.87/24.39	o 5871
23.96/24.41	o 5869
23.96/24.43	o 5867
24.16/24.65	o 5865
24.16/24.67	o 5863
24.16/24.69	o 5861
24.26/24.71	o 5859
24.26/24.73	o 5857
24.26/24.74	o 5855
24.36/24.87	o 5854
24.36/24.88	o 5852
24.47/24.90	o 5850
24.47/24.92	o 5848
24.47/24.94	o 5846
24.47/24.96	o 5844
24.47/24.97	o 5842
24.47/24.99	o 5840
24.57/25.02	o 5838
24.57/25.03	o 5836
24.57/25.07	o 5834
24.57/25.08	o 5832
24.66/25.10	o 5830
24.66/25.12	o 5828
24.66/25.14	o 5826
24.66/25.15	o 5824
24.66/25.17	o 5822
24.66/25.19	o 5820
24.76/25.20	o 5818
24.76/25.22	o 5816
24.76/25.24	o 5814
24.76/25.26	o 5812
24.76/25.27	o 5810
24.76/25.29	o 5808
24.86/25.31	o 5806
24.86/25.33	o 5804
24.86/25.35	o 5802
24.86/25.37	o 5800
24.86/25.38	o 5799
24.86/25.40	o 5797
24.95/25.42	o 5795
24.95/25.44	o 5793
24.95/25.45	o 5791
24.95/25.47	o 5789
24.95/25.49	o 5787
25.05/25.51	o 5785
25.05/25.52	o 5783
25.05/25.54	o 5781
25.05/25.56	o 5779
25.05/25.58	o 5777
25.05/25.59	o 5775
25.15/25.61	o 5773
25.15/25.63	o 5771
25.15/25.65	o 5769
25.15/25.66	o 5767
25.15/25.68	o 5765
25.24/25.70	o 5763
25.24/25.72	o 5761
25.24/25.73	o 5759
25.24/25.75	o 5757
25.24/25.77	o 5755
25.24/25.79	o 5753
25.34/25.80	o 5751
25.34/25.85	o 5750
25.34/25.86	o 5748
25.34/25.88	o 5746
25.44/25.90	o 5744
25.44/25.92	o 5742
25.44/25.93	o 5740
25.44/25.95	o 5738
25.44/25.97	o 5736
25.44/25.98	o 5734
25.54/26.00	o 5732
25.54/26.02	o 5730
25.54/26.04	o 5728
25.54/26.05	o 5726
25.54/26.07	o 5724
25.54/26.09	o 5721
25.65/26.10	o 5719
25.65/26.13	o 5717
25.65/26.14	o 5715
25.65/26.19	o 5713
25.74/26.21	o 5711
25.74/26.22	o 5709
25.74/26.24	o 5707
25.74/26.26	o 5705
25.74/26.27	o 5703
25.74/26.29	o 5701
25.84/26.31	o 5699
25.84/26.33	o 5697
25.84/26.34	o 5695
25.84/26.36	o 5693
25.94/26.47	o 5691
25.94/26.49	o 5689
26.04/26.51	o 5687
26.04/26.53	o 5685
26.04/26.54	o 5683
26.04/26.56	o 5681
26.04/26.58	o 5679
26.04/26.59	o 5677
26.13/26.61	o 5675
26.13/26.63	o 5673
26.13/26.64	o 5671
26.13/26.66	o 5669
26.13/26.68	o 5667
26.13/26.70	o 5665
26.23/26.71	o 5663
26.23/26.73	o 5661
26.23/26.75	o 5659
26.23/26.76	o 5657
26.23/26.78	o 5655
26.33/26.80	o 5653
26.33/26.82	o 5651
26.33/26.83	o 5649
26.33/26.85	o 5647
26.33/26.87	o 5645
26.33/26.88	o 5643
26.43/26.90	o 5640
26.43/26.92	o 5638
26.43/26.93	o 5636
26.43/26.95	o 5634
26.43/26.97	o 5619
26.43/26.98	o 5617
26.53/27.00	o 5615
26.53/27.02	o 5612
26.53/27.03	o 5610
26.53/27.05	o 5608
26.53/27.07	o 5604
26.53/27.08	o 5602
26.63/27.10	o 5600
26.63/27.12	o 5598
26.63/27.14	o 5596
26.63/27.15	o 5594
26.63/27.17	o 5592
26.73/27.28	o 5590
26.73/27.30	o 5588
26.83/27.31	o 5586
26.83/27.33	o 5584
26.83/27.35	o 5582
26.83/27.36	o 5580
26.83/27.38	o 5578
26.83/27.40	o 5576
26.93/27.41	o 5574
26.93/27.43	o 5572
26.93/27.44	o 5571
26.93/27.46	o 5569
26.93/27.48	o 5567
26.93/27.49	o 5565
27.03/27.52	o 5563
27.03/27.53	o 5561
27.03/27.55	o 5559
27.03/27.57	o 5557
27.03/27.58	o 5555
27.03/27.60	o 5553
27.13/27.62	o 5551
27.13/27.63	o 5549
27.13/27.65	o 5547
27.13/27.67	o 5545
27.13/27.68	o 5543
27.22/27.70	o 5541
27.22/27.72	o 5539
27.22/27.73	o 5537
27.22/27.75	o 5531
27.22/27.77	o 5528
27.22/27.78	o 5526
27.32/27.80	o 5524
27.32/27.82	o 5522
27.32/27.83	o 5520
27.32/27.86	o 5518
27.32/27.88	o 5516
27.32/27.89	o 5514
27.42/27.91	o 5512
27.42/27.93	o 5510
27.42/27.94	o 5508
27.42/27.96	o 5506
27.42/27.98	o 5504
27.42/27.99	o 5502
27.52/28.01	o 5500
27.52/28.03	o 5498
27.52/28.04	o 5496
27.52/28.06	o 5494
27.52/28.07	o 5492
27.52/28.09	o 5490
27.62/28.11	o 5488
27.62/28.13	o 5486
27.62/28.17	o 5485
27.62/28.18	o 5483
27.71/28.20	o 5481
27.71/28.22	o 5479
27.71/28.23	o 5477
27.71/28.25	o 5475
27.71/28.27	o 5473
27.71/28.28	o 5471
27.81/28.30	o 5469
27.81/28.32	o 5467
27.81/28.34	o 5465
27.81/28.35	o 5463
27.81/28.37	o 5461
27.81/28.39	o 5459
27.91/28.45	o 5456
27.91/28.47	o 5454
27.91/28.48	o 5452
28.01/28.50	o 5450
28.01/28.52	o 5448
28.01/28.53	o 5447
28.01/28.55	o 5444
28.01/28.56	o 5442
28.01/28.58	o 5440
28.01/28.59	o 5438
28.11/28.62	o 5436
28.11/28.63	o 5434
28.11/28.65	o 5432
28.11/28.67	o 5430
28.11/28.68	o 5428
28.11/28.70	o 5426
28.21/28.71	o 5424
28.21/28.73	o 5422
28.21/28.75	o 5420
28.21/28.76	o 5418
28.30/28.80	o 5416
28.30/28.82	o 5414
28.30/28.84	o 5412
28.30/28.85	o 5410
28.30/28.87	o 5408
28.30/28.88	o 5406
28.40/28.90	o 5404
28.40/28.92	o 5402
28.40/28.93	o 5400
28.40/28.95	o 5398
28.40/28.97	o 5396
28.40/28.98	o 5394
28.50/29.00	o 5392
28.50/29.02	o 5390
28.50/29.03	o 5388
28.50/29.07	o 5386
28.50/29.09	o 5384
28.60/29.10	o 5382
28.60/29.12	o 5381
28.60/29.13	o 5379
28.60/29.15	o 5377
28.60/29.17	o 5375
28.60/29.18	o 5373
28.70/29.20	o 5371
28.70/29.22	o 5369
28.70/29.23	o 5367
28.70/29.25	o 5365
28.70/29.26	o 5363
28.70/29.28	o 5361
28.70/29.30	o 5359
28.80/29.31	o 5357
28.80/29.33	o 5355
28.80/29.34	o 5349
28.80/29.38	o 5347
28.80/29.40	o 5345
28.90/29.42	o 5343
28.90/29.43	o 5341
28.90/29.45	o 5339
28.90/29.47	o 5337
28.90/29.48	o 5335
28.99/29.50	o 5333
28.99/29.52	o 5331
28.99/29.53	o 5329
28.99/29.58	o 5327
29.09/29.60	o 5325
29.09/29.62	o 5323
29.09/29.63	o 5321
29.09/29.65	o 5319
29.09/29.66	o 5317
29.09/29.68	o 5315
29.09/29.69	o 5313
29.19/29.72	o 5311
29.19/29.73	o 5309
29.19/29.75	o 5307
29.19/29.76	o 5305
29.19/29.78	o 5303
29.19/29.80	o 5301
29.29/29.81	o 5299
29.29/29.83	o 5297
29.29/29.84	o 5295
29.29/29.86	o 5293
29.29/29.88	o 5291
29.29/29.89	o 5289
29.38/29.91	o 5287
29.38/29.92	o 5285
29.38/29.94	o 5284
29.38/29.95	o 5282
29.38/29.97	o 5279
29.38/29.98	o 5277
29.48/30.00	o 5275
29.48/30.02	o 5274
29.48/30.03	o 5273
29.48/30.05	o 5272
29.48/30.06	o 5271
29.48/30.08	o 5270
29.48/30.10	o 5269
29.58/30.11	o 5268
29.58/30.13	o 5267
29.58/30.14	o 5266
29.58/30.16	o 5265
29.58/30.18	o 5264
29.58/30.19	o 5263
29.67/30.21	o 5262
29.67/30.22	o 5261
29.67/30.24	o 5260
29.67/30.25	o 5259
29.67/30.27	o 5258
29.67/30.29	o 5257
29.77/30.30	o 5256
29.77/30.32	o 5253
29.77/30.33	o 5251
29.77/30.35	o 5250
29.77/30.36	o 5249
29.77/30.38	o 5248
29.77/30.39	o 5247
29.87/30.41	o 5246
29.87/30.43	o 5245
29.87/30.44	o 5243
29.87/30.46	o 5242
29.87/30.50	o 5241
29.97/30.59	o 5240
30.06/30.60	o 5238
30.06/30.62	o 5236
30.06/30.64	o 5235
30.06/30.65	o 5233
30.06/30.67	o 5231
30.06/30.68	o 5230
30.17/30.70	o 5228
30.17/30.72	o 5227
30.17/30.73	o 5224
30.17/30.76	o 5223
30.17/30.77	o 5221
30.17/30.79	o 5219
30.66/31.21	o 5217
30.66/31.22	o 5215
30.66/31.24	o 5213
30.66/31.25	o 5212
30.66/31.27	o 5210
30.66/31.29	o 5205
30.76/31.30	o 5203
30.76/31.39	o 5201
30.86/31.40	o 5199
30.86/31.42	o 5197
30.86/31.43	o 5195
30.86/31.45	o 5193
30.86/31.47	o 5191
30.86/31.48	o 5189
30.95/31.50	o 5187
30.95/31.51	o 5185
30.95/31.53	o 5183
30.95/31.55	o 5181
30.95/31.56	o 5179
30.95/31.58	o 5177
30.95/31.59	o 5175
31.05/31.61	o 5172
31.05/31.63	o 5170
31.05/31.64	o 5168
31.05/31.66	o 5166
31.05/31.67	o 5164
31.05/31.69	o 5162
31.14/31.71	o 5160
31.14/31.72	o 5158
31.14/31.74	o 5156
31.14/31.75	o 5154
31.14/31.77	o 5152
31.14/31.78	o 5150
31.24/31.80	o 5148
31.24/31.81	o 5146
31.24/31.83	o 5144
31.24/31.85	o 5142
31.24/31.86	o 5140
31.24/31.88	o 5138
31.24/31.89	o 5137
31.35/31.91	o 5135
31.35/31.94	o 5134
31.35/31.97	o 5132
31.35/31.99	o 5130
31.45/32.00	o 5128
31.45/32.02	o 5126
31.45/32.04	o 5124
31.45/32.05	o 5122
31.45/32.07	o 5120
31.45/32.08	o 5118
31.45/32.10	o 5116
31.55/32.11	o 5114
31.55/32.13	o 5112
31.55/32.14	o 5110
31.55/32.16	o 5108
31.55/32.17	o 5106
31.55/32.19	o 5104
31.64/32.20	o 5102
31.64/32.22	o 5100
31.64/32.23	o 5098
31.64/32.25	o 5096
31.64/32.27	o 5094
31.64/32.28	o 5092
31.64/32.30	o 5090
31.74/32.31	o 5089
31.74/32.35	o 5087
31.74/32.37	o 5085
31.74/32.38	o 5083
31.74/32.40	o 5081
31.84/32.41	o 5079
31.84/32.43	o 5077
31.84/32.44	o 5075
31.84/32.46	o 5073
31.84/32.47	o 5071
31.84/32.49	o 5069
31.94/32.50	o 5067
31.94/32.52	o 5065
31.94/32.54	o 5063
31.94/32.55	o 5061
31.94/32.57	o 5060
31.94/32.58	o 5058
31.94/32.60	o 5056
32.04/32.61	o 5054
32.04/32.63	o 5052
32.04/32.64	o 5050
32.04/32.66	o 5048
32.04/32.67	o 5046
32.04/32.69	o 5044
32.14/32.72	o 5043
32.14/32.74	o 5041
32.14/32.75	o 5039
32.14/32.77	o 5037
32.14/32.78	o 5035
32.14/32.80	o 5033
32.23/32.81	o 5031
32.23/32.83	o 5029
32.23/32.85	o 5028
32.23/32.87	o 5027
32.23/32.88	o 5025
32.34/32.90	o 5023
32.34/32.91	o 5021
32.34/32.93	o 5020
32.34/32.95	o 5017
32.34/32.96	o 5015
32.34/32.98	o 5013
32.34/32.99	o 5011
32.44/33.01	o 5010
32.44/33.02	o 5007
32.44/33.04	o 5005
32.44/33.06	o 5003
32.44/33.07	o 5002
32.44/33.09	o 5000
32.44/33.10	o 4998
32.53/33.12	o 4996
32.53/33.13	o 4994
32.53/33.15	o 4992
32.53/33.16	o 4990
32.53/33.18	o 4988
32.53/33.19	o 4986
32.63/33.21	o 4984
32.63/33.22	o 4982
32.63/33.24	o 4980
32.63/33.25	o 4979
32.63/33.27	o 4977
32.63/33.28	o 4975
32.73/33.30	o 4973
32.73/33.32	o 4971
32.73/33.33	o 4969
32.73/33.35	o 4967
32.73/33.36	o 4965
32.73/33.38	o 4963
32.73/33.39	o 4961
32.83/33.41	o 4960
32.83/33.45	o 4958
32.83/33.46	o 4956
32.83/33.48	o 4954
32.92/33.52	o 4953
32.92/33.53	o 4951
32.92/33.55	o 4949
32.92/33.56	o 4947
32.92/33.58	o 4945
32.92/33.59	o 4943
33.02/33.61	o 4941
33.02/33.62	o 4935
33.02/33.64	o 4934
33.02/33.65	o 4933
33.02/33.67	o 4931
33.02/33.68	o 4930
33.12/33.70	o 4928
33.12/33.72	o 4927
33.12/33.73	o 4925
33.12/33.75	o 4923
33.12/33.76	o 4921
33.12/33.78	o 4919
33.12/33.79	o 4917
33.22/33.81	o 4915
33.22/33.83	o 4913
33.22/33.84	o 4911
33.22/33.86	o 4910
33.22/33.87	o 4909
33.22/33.89	o 4908
33.31/33.90	o 4906
33.31/33.92	o 4904
33.31/33.93	o 4903
33.31/33.95	o 4901
33.31/33.96	o 4899
33.31/33.98	o 4898
33.31/33.99	o 4896
33.41/34.01	o 4894
33.41/34.03	o 4892
33.41/34.04	o 4890
33.41/34.06	o 4888
33.41/34.07	o 4886
33.41/34.09	o 4884
33.51/34.11	o 4882
33.51/34.12	o 4880
33.51/34.14	o 4878
33.51/34.15	o 4876
33.51/34.17	o 4874
33.60/34.22	o 4873
33.60/34.23	o 4871
33.60/34.25	o 4870
33.60/34.26	o 4868
33.60/34.28	o 4866
33.60/34.29	o 4864
33.70/34.31	o 4862
33.70/34.33	o 4860
33.70/34.34	o 4858
33.70/34.36	o 4856
33.70/34.37	o 4854
33.70/34.39	o 4852
33.79/34.40	o 4850
33.79/34.42	o 4848
33.79/34.43	o 4846
33.79/34.45	o 4844
33.79/34.46	o 4842
33.79/34.48	o 4840
33.79/34.49	o 4838
33.89/34.51	o 4836
33.89/34.54	o 4835
33.89/34.55	o 4833
33.89/34.57	o 4831
33.89/34.58	o 4829
34.00/34.60	o 4827
34.00/34.61	o 4825
34.00/34.63	o 4823
34.00/34.64	o 4821
34.00/34.66	o 4819
34.00/34.67	o 4817
34.00/34.69	o 4815
34.10/34.71	o 4813
34.10/34.72	o 4811
34.10/34.74	o 4809
34.10/34.75	o 4807
34.10/34.77	o 4805
34.10/34.78	o 4803
34.10/34.80	o 4801
34.20/34.81	o 4800
34.20/34.83	o 4798
34.20/34.84	o 4796
34.20/34.87	o 4794
34.20/34.88	o 4793
34.29/34.90	o 4791
34.29/34.92	o 4789
34.29/34.93	o 4787
34.29/34.95	o 4785
34.29/34.96	o 4783
34.29/34.98	o 4781
34.29/34.99	o 4779
34.39/35.01	o 4777
34.39/35.03	o 4775
34.39/35.04	o 4773
34.39/35.06	o 4771
34.39/35.07	o 4769
34.39/35.09	o 4767
34.49/35.10	o 4765
34.49/35.12	o 4763
34.49/35.13	o 4761
34.49/35.15	o 4759
34.49/35.16	o 4757
34.49/35.18	o 4755
34.49/35.19	o 4753
34.59/35.21	o 4751
34.59/35.23	o 4749
34.59/35.24	o 4747
34.59/35.26	o 4745
34.59/35.27	o 4743
34.59/35.29	o 4742
34.69/35.30	o 4740
34.69/35.32	o 4738
34.69/35.33	o 4736
34.69/35.35	o 4734
34.69/35.36	o 4732
34.69/35.38	o 4730
34.69/35.39	o 4728
34.78/35.41	o 4726
34.78/35.43	o 4724
34.78/35.44	o 4722
34.78/35.46	o 4720
34.78/35.47	o 4718
34.78/35.48	o 4716
34.89/35.50	o 4714
34.89/35.52	o 4712
34.89/35.53	o 4710
34.89/35.55	o 4708
34.89/35.56	o 4706
34.89/35.58	o 4704
34.89/35.59	o 4702
34.99/35.61	o 4701
34.99/35.62	o 4699
34.99/35.64	o 4697
34.99/35.65	o 4695
34.99/35.67	o 4693
34.99/35.68	o 4691
35.08/35.70	o 4689
35.08/35.71	o 4687
35.08/35.73	o 4685
35.08/35.74	o 4683
35.08/35.76	o 4681
35.08/35.77	o 4679
35.08/35.79	o 4677
35.18/35.81	o 4675
35.18/35.82	o 4673
35.18/35.84	o 4671
35.18/35.85	o 4669
35.18/35.87	o 4667
35.28/35.93	o 4666
35.28/35.94	o 4664
35.28/35.96	o 4662
35.28/35.97	o 4660
35.28/35.99	o 4658
35.38/36.00	o 4656
35.38/36.02	o 4654
35.38/36.04	o 4652
35.38/36.05	o 4650
35.38/36.07	o 4648
35.38/36.08	o 4646
35.47/36.10	o 4644
35.47/36.11	o 4642
35.47/36.13	o 4640
35.47/36.14	o 4638
35.47/36.16	o 4636
35.47/36.17	o 4634
35.47/36.19	o 4632
35.57/36.21	o 4630
35.57/36.22	o 4629
35.57/36.24	o 4627
35.57/36.28	o 4626
35.67/36.30	o 4624
35.67/36.32	o 4622
35.67/36.33	o 4620
35.67/36.35	o 4618
35.67/36.36	o 4616
35.67/36.38	o 4614
35.67/36.39	o 4612
35.77/36.41	o 4610
35.77/36.43	o 4608
35.77/36.44	o 4607
35.77/36.46	o 4605
35.77/36.47	o 4603
35.77/36.49	o 4601
35.87/36.50	o 4599
35.87/36.52	o 4597
35.87/36.53	o 4595
35.87/36.55	o 4593
35.87/36.56	o 4591
35.87/36.58	o 4589
35.87/36.59	o 4587
35.97/36.61	o 4586
35.97/36.62	o 4584
35.97/36.64	o 4582
35.97/36.65	o 4580
35.97/36.67	o 4578
35.97/36.68	o 4576
36.06/36.70	o 4574
36.06/36.71	o 4572
36.06/36.73	o 4570
36.06/36.74	o 4568
36.06/36.76	o 4566
36.06/36.77	o 4564
36.06/36.79	o 4562
36.16/36.81	o 4560
36.16/36.82	o 4558
36.16/36.83	o 4556
36.16/36.85	o 4554
36.16/36.86	o 4552
36.16/36.88	o 4550
36.16/36.89	o 4548
36.26/36.91	o 4546
36.26/36.93	o 4545
36.26/36.94	o 4543
36.26/36.96	o 4541
36.26/36.97	o 4539
36.26/36.99	o 4537
36.35/37.00	o 4535
36.35/37.02	o 4533
36.35/37.03	o 4531
36.35/37.05	o 4529
36.35/37.06	o 4528
36.35/37.08	o 4526
36.35/37.09	o 4524
36.45/37.11	o 4522
36.45/37.13	o 4520
36.45/37.14	o 4518
36.45/37.16	o 4516
36.45/37.17	o 4514
36.45/37.19	o 4512
36.55/37.20	o 4511
36.55/37.22	o 4509
36.55/37.23	o 4507
36.55/37.25	o 4505
36.55/37.26	o 4503
36.55/37.28	o 4501
36.55/37.29	o 4499
36.65/37.31	o 4497
36.65/37.33	o 4496
36.65/37.34	o 4494
36.65/37.35	o 4492
36.76/37.41	o 4490
36.76/37.42	o 4489
36.76/37.44	o 4488
36.76/37.45	o 4486
36.76/37.47	o 4484
36.76/37.48	o 4482
36.76/37.50	o 4480
36.85/37.51	o 4478
36.85/37.53	o 4476
36.85/37.54	o 4474
36.85/37.56	o 4465
36.85/37.57	o 4463
36.85/37.59	o 4461
36.95/37.60	o 4459
36.95/37.62	o 4457
36.95/37.63	o 4455
36.95/37.65	o 4453
36.95/37.66	o 4451
37.05/37.74	o 4450
37.05/37.75	o 4448
37.05/37.77	o 4447
37.14/37.80	o 4446
37.14/37.82	o 4444
37.14/37.83	o 4442
37.14/37.85	o 4440
37.14/37.86	o 4438
37.14/37.88	o 4436
37.14/37.89	o 4434
37.24/37.91	o 4432
37.24/37.92	o 4430
37.24/37.94	o 4428
37.24/37.95	o 4426
37.24/37.97	o 4424
37.24/37.98	o 4422
37.34/38.00	o 4420
37.34/38.02	o 4418
37.34/38.03	o 4416
37.34/38.04	o 4414
37.34/38.06	o 4412
37.34/38.07	o 4410
37.34/38.09	o 4408
37.44/38.11	o 4406
37.44/38.14	o 4405
37.44/38.16	o 4404
37.44/38.17	o 4402
37.44/38.19	o 4400
37.54/38.20	o 4399
37.54/38.22	o 4397
37.54/38.24	o 4396
37.54/38.25	o 4394
37.54/38.27	o 4392
37.54/38.28	o 4390
37.64/38.30	o 4381
37.64/38.31	o 4379
37.64/38.33	o 4377
37.64/38.34	o 4375
37.64/38.35	o 4373
37.64/38.37	o 4371
37.64/38.38	o 4369
37.64/38.40	o 4367
37.73/38.41	o 4365
37.73/38.43	o 4363
37.73/38.44	o 4361
37.73/38.46	o 4359
37.73/38.47	o 4357
37.73/38.49	o 4355
37.83/38.51	o 4353
37.83/38.52	o 4351
37.83/38.54	o 4349
37.83/38.55	o 4347
37.83/38.57	o 4345
37.83/38.58	o 4343
37.83/38.60	o 4341
37.93/38.61	o 4339
37.93/38.63	o 4337
37.93/38.64	o 4336
37.93/38.66	o 4335
37.93/38.67	o 4333
37.93/38.69	o 4331
38.03/38.70	o 4329
38.03/38.72	o 4328
38.03/38.73	o 4327
38.03/38.75	o 4325
38.03/38.76	o 4324
38.03/38.78	o 4322
38.03/38.79	o 4320
38.13/38.81	o 4318
38.13/38.83	o 4317
38.13/38.85	o 4315
38.13/38.86	o 4313
38.13/38.88	o 4311
38.13/38.89	o 4309
38.23/38.91	o 4308
38.23/38.92	o 4306
38.23/38.94	o 4304
38.23/38.95	o 4302
38.23/38.97	o 4300
38.23/38.98	o 4298
38.23/39.00	o 4296
38.32/39.01	o 4294
38.32/39.03	o 4292
38.32/39.04	o 4291
38.32/39.06	o 4289
38.32/39.07	o 4287
38.32/39.09	o 4285
38.42/39.10	o 4283
38.42/39.12	o 4281
38.42/39.13	o 4279
38.42/39.15	o 4277
38.42/39.16	o 4275
38.42/39.18	o 4273
38.42/39.19	o 4271
38.53/39.21	o 4269
38.53/39.22	o 4267
38.53/39.24	o 4265
38.53/39.25	o 4263
38.53/39.27	o 4261
38.53/39.28	o 4259
38.53/39.30	o 4257
38.63/39.32	o 4254
38.63/39.33	o 4253
38.63/39.35	o 4251
38.63/39.36	o 4249
38.63/39.37	o 4247
38.63/39.39	o 4245
38.72/39.41	o 4243
38.72/39.43	o 4241
38.72/39.44	o 4239
38.72/39.46	o 4237
38.72/39.47	o 4236
38.72/39.49	o 4234
38.82/39.50	o 4232
38.82/39.52	o 4230
38.82/39.53	o 4228
38.82/39.55	o 4226
38.92/39.61	o 4224
38.92/39.63	o 4222
38.92/39.64	o 4220
38.92/39.66	o 4219
38.92/39.67	o 4217
38.92/39.69	o 4215
38.92/39.70	o 4213
39.01/39.72	o 4211
39.01/39.73	o 4209
39.01/39.75	o 4207
39.01/39.76	o 4205
39.01/39.78	o 4203
39.01/39.79	o 4201
39.11/39.81	o 4199
39.11/39.82	o 4197
39.11/39.84	o 4195
39.11/39.85	o 4193
39.11/39.87	o 4191
39.11/39.88	o 4189
39.21/39.91	o 4187
39.21/39.92	o 4185
39.21/39.94	o 4183
39.21/39.95	o 4181
39.21/39.97	o 4180
39.21/39.98	o 4178
39.31/40.01	o 4177
39.31/40.02	o 4175
39.31/40.04	o 4174
39.31/40.05	o 4172
39.31/40.07	o 4170
39.31/40.08	o 4168
39.40/40.10	o 4166
39.40/40.11	o 4164
39.40/40.13	o 4162
39.40/40.14	o 4160
39.40/40.16	o 4158
39.40/40.17	o 4156
39.50/40.23	o 4155
39.50/40.25	o 4153
39.50/40.26	o 4151
39.50/40.28	o 4150
39.50/40.29	o 4148
39.60/40.31	o 4146
39.60/40.32	o 4144
39.60/40.34	o 4142
39.60/40.35	o 4141
39.60/40.36	o 4138
39.60/40.38	o 4136
39.60/40.39	o 4134
39.71/40.42	o 4132
39.71/40.43	o 4130
39.71/40.44	o 4128
39.71/40.46	o 4126
39.71/40.47	o 4124
39.80/40.50	o 4122
39.80/40.52	o 4121
39.80/40.53	o 4119
39.80/40.55	o 4118
39.80/40.56	o 4116
39.80/40.58	o 4114
39.80/40.59	o 4112
39.90/40.63	o 4111
39.90/40.64	o 4109
39.90/40.66	o 4107
39.90/40.67	o 4106
39.90/40.69	o 4104
40.00/40.71	o 4103
40.00/40.72	o 4101
40.00/40.74	o 4099
40.10/40.85	o 4097
40.10/40.88	o 4096
40.10/40.89	o 4095
40.19/40.91	o 4093
40.19/40.92	o 4091
40.19/40.94	o 4089
40.19/40.95	o 4088
40.19/40.97	o 4086
40.19/40.98	o 4084
40.19/41.00	o 4082
40.29/41.01	o 4081
40.29/41.07	o 4080
40.29/41.08	o 4078
40.29/41.10	o 4076
40.40/41.19	o 4075
40.50/41.20	o 4073
40.50/41.22	o 4072
40.50/41.23	o 4071
40.50/41.25	o 4069
40.50/41.26	o 4067
40.50/41.28	o 4066
40.50/41.29	o 4065
40.60/41.31	o 4063
40.60/41.32	o 4061
40.60/41.34	o 4059
40.60/41.35	o 4058
40.60/41.37	o 4057
40.60/41.38	o 4055
40.70/41.48	o 4053
40.80/41.50	o 4051
40.80/41.52	o 4049
40.80/41.53	o 4047
40.80/41.55	o 4045
40.80/41.56	o 4043
40.80/41.58	o 4041
40.80/41.59	o 4039
40.89/41.61	o 4037
40.89/41.62	o 4035
40.89/41.64	o 4033
40.89/41.65	o 4031
40.89/41.68	o 4029
40.89/41.69	o 4027
40.99/41.71	o 4025
40.99/41.72	o 4023
40.99/41.74	o 4021
40.99/41.75	o 4019
40.99/41.77	o 4017
40.99/41.78	o 4015
40.99/41.80	o 4013
41.09/41.82	o 4012
41.09/41.83	o 4010
41.09/41.85	o 4009
41.09/41.86	o 4007
41.09/41.89	o 4005
41.19/41.96	o 4004
41.19/41.97	o 4002
41.19/41.99	o 4001
41.28/42.04	o 4000
41.28/42.05	o 3998
41.28/42.10	o 3996
41.38/42.11	o 3994
41.38/42.13	o 3992
41.38/42.14	o 3991
41.38/42.16	o 3989
41.38/42.17	o 3987
41.38/42.19	o 3985
41.48/42.22	o 3983
41.48/42.27	o 3982
41.48/42.29	o 3980
41.58/42.34	o 3978
41.58/42.35	o 3976
41.58/42.37	o 3974
41.58/42.38	o 3972
41.58/42.40	o 3971
41.69/42.41	o 3969
41.69/42.43	o 3967
41.78/42.54	o 3965
41.78/42.57	o 3963
41.88/42.66	o 3961
41.88/42.67	o 3960
41.88/42.69	o 3959
41.98/42.72	o 3958
41.98/42.74	o 3956
41.98/42.75	o 3954
41.98/42.77	o 3952
41.98/42.78	o 3950
42.07/42.80	o 3948
42.07/42.82	o 3947
42.07/42.83	o 3946
42.07/42.85	o 3944
42.07/42.86	o 3942
42.07/42.88	o 3940
42.07/42.89	o 3939
42.17/42.91	o 3937
42.17/42.93	o 3935
42.17/42.96	o 3934
42.17/42.98	o 3932
42.17/42.99	o 3930
42.27/43.02	o 3928
42.27/43.07	o 3927
42.27/43.09	o 3926
42.36/43.11	o 3925
42.36/43.14	o 3924
42.36/43.16	o 3923
42.36/43.18	o 3922
42.46/43.20	o 3921
42.46/43.22	o 3920
42.46/43.24	o 3919
42.46/43.27	o 3918
42.46/43.29	o 3917
42.56/43.31	o 3915
42.56/43.33	o 3914
42.56/43.35	o 3913
42.66/43.49	o 3912
42.76/43.51	o 3911
42.76/43.53	o 3910
42.76/43.55	o 3909
42.76/43.58	o 3908
42.76/43.60	o 3907
42.86/43.62	o 3906
42.86/43.64	o 3905
42.86/43.66	o 3904
42.86/43.68	o 3903
42.96/43.71	o 3902
42.96/43.73	o 3901
42.96/43.75	o 3900
42.96/43.78	o 3899
42.96/43.80	o 3898
43.06/43.82	o 3897
43.06/43.84	o 3895
43.06/43.86	o 3894
43.06/43.89	o 3893
43.16/43.92	o 3892
43.16/43.94	o 3891
43.16/43.96	o 3890
43.16/43.98	o 3889
43.16/44.00	o 3887
43.26/44.02	o 3886
43.26/44.04	o 3884
43.26/44.05	o 3882
43.26/44.07	o 3881
43.26/44.09	o 3880
43.36/44.12	o 3879
43.36/44.14	o 3878
43.36/44.16	o 3877
43.36/44.18	o 3876
43.46/44.20	o 3875
43.46/44.22	o 3874
43.46/44.25	o 3873
43.46/44.27	o 3872
43.46/44.29	o 3871
43.55/44.31	o 3870
43.55/44.33	o 3869
43.55/44.35	o 3868
43.55/44.37	o 3867
43.65/44.40	o 3866
43.65/44.43	o 3865
43.65/44.45	o 3864
43.65/44.47	o 3863
43.65/44.49	o 3862
43.75/44.51	o 3861
43.75/44.53	o 3860
43.75/44.55	o 3859
43.75/44.58	o 3858
43.75/44.60	o 3857
43.85/44.62	o 3856
43.85/44.64	o 3855
43.85/44.66	o 3854
43.85/44.68	o 3853
43.95/44.70	o 3852
43.95/44.72	o 3850
43.95/44.74	o 3849
43.95/44.76	o 3848
43.95/44.78	o 3847
44.05/44.80	o 3846
44.05/44.83	o 3845
44.05/44.85	o 3844
44.05/44.87	o 3843
44.05/44.89	o 3842
44.14/44.95	o 3841
44.14/44.97	o 3840
44.14/44.99	o 3839
44.24/45.01	o 3838
44.24/45.03	o 3837
44.24/45.05	o 3835
44.24/45.07	o 3834
44.24/45.10	o 3833
44.34/45.12	o 3832
44.34/45.14	o 3831
44.34/45.16	o 3830
44.34/45.19	o 3829
44.44/45.21	o 3828
44.44/45.23	o 3827
44.44/45.25	o 3826
44.44/45.27	o 3825
44.44/45.29	o 3824
44.54/45.31	o 3823
44.54/45.34	o 3822
44.54/45.36	o 3821
44.54/45.38	o 3820
44.64/45.40	o 3819
44.64/45.43	o 3817
44.64/45.44	o 3815
44.64/45.46	o 3814
44.64/45.48	o 3813
44.74/45.51	o 3811
44.74/45.53	o 3810
44.74/45.55	o 3809
44.74/45.57	o 3808
44.74/45.59	o 3807
44.84/45.61	o 3806
44.84/45.63	o 3805
44.84/45.65	o 3804
44.84/45.68	o 3803
44.84/45.70	o 3802
44.94/45.72	o 3801
44.94/45.74	o 3800
44.94/45.76	o 3799
44.94/45.78	o 3798
45.04/45.80	o 3796
45.04/45.82	o 3795
45.04/45.84	o 3794
45.04/45.86	o 3793
45.04/45.88	o 3792
45.14/45.91	o 3791
45.14/45.93	o 3790
45.14/45.96	o 3789
45.14/45.97	o 3787
45.14/45.98	o 3785
45.23/46.00	o 3783
45.23/46.02	o 3781
45.23/46.04	o 3779
45.23/46.05	o 3777
45.23/46.08	o 3776
45.23/46.10	o 3775
45.33/46.12	o 3774
45.33/46.14	o 3773
45.33/46.16	o 3772
45.33/46.18	o 3771
45.43/46.21	o 3770
45.43/46.23	o 3769
45.43/46.25	o 3768
45.43/46.27	o 3767
45.43/46.29	o 3765
45.52/46.31	o 3764
45.52/46.33	o 3763
45.52/46.35	o 3762
45.52/46.37	o 3761
45.52/46.39	o 3759
45.62/46.41	o 3758
45.62/46.43	o 3757
45.62/46.45	o 3756
45.62/46.47	o 3755
45.62/46.49	o 3754
45.72/46.51	o 3753
45.72/46.53	o 3752
45.72/46.56	o 3751
45.72/46.58	o 3750
45.82/46.60	o 3749
45.82/46.63	o 3748
45.82/46.65	o 3747
45.82/46.67	o 3746
45.82/46.70	o 3745
45.92/46.72	o 3744
45.92/46.74	o 3743
45.92/46.76	o 3742
45.92/46.78	o 3741
46.02/46.80	o 3740
46.02/46.82	o 3739
46.02/46.84	o 3738
46.02/46.86	o 3737
46.02/46.88	o 3736
46.12/46.91	o 3735
46.12/46.93	o 3734
46.12/46.95	o 3733
46.12/46.97	o 3732
46.12/46.99	o 3731
46.22/47.03	o 3730
46.22/47.05	o 3729
46.22/47.07	o 3728
46.22/47.09	o 3727
46.32/47.11	o 3726
46.32/47.14	o 3725
46.32/47.16	o 3724
46.32/47.18	o 3723
46.41/47.20	o 3722
46.41/47.22	o 3721
46.41/47.24	o 3719
46.41/47.26	o 3718
46.41/47.27	o 3716
46.41/47.30	o 3715
46.51/47.32	o 3714
46.51/47.34	o 3713
46.51/47.36	o 3712
46.51/47.38	o 3711
46.61/47.41	o 3710
46.61/47.43	o 3709
46.61/47.45	o 3708
46.61/47.47	o 3707
46.61/47.49	o 3706
46.71/47.51	o 3705
46.71/47.53	o 3704
46.71/47.55	o 3703
46.71/47.57	o 3702
46.71/47.59	o 3700
46.81/47.64	o 3699
46.81/47.66	o 3698
46.81/47.68	o 3697
46.91/47.70	o 3696
46.91/47.72	o 3695
46.91/47.74	o 3694
46.91/47.76	o 3693
46.91/47.78	o 3692
47.01/47.80	o 3690
47.01/47.82	o 3689
47.10/47.90	o 3687
47.10/47.92	o 3686
47.10/47.94	o 3685
47.10/47.96	o 3684
47.10/47.98	o 3683
47.20/48.02	o 3682
47.20/48.03	o 3681
47.20/48.05	o 3679
47.20/48.08	o 3678
47.30/48.10	o 3677
47.30/48.13	o 3676
47.30/48.15	o 3675
47.30/48.17	o 3674
47.30/48.19	o 3673
47.40/48.21	o 3672
47.40/48.23	o 3671
47.40/48.25	o 3669
47.40/48.27	o 3668
47.40/48.29	o 3667
47.50/48.31	o 3666
47.50/48.33	o 3665
47.50/48.35	o 3664
47.50/48.37	o 3663
47.50/48.39	o 3662
47.60/48.41	o 3660
47.60/48.43	o 3659
47.60/48.45	o 3658
47.60/48.47	o 3657
47.60/48.49	o 3656
47.70/48.52	o 3655
47.70/48.54	o 3654
47.70/48.56	o 3653
47.70/48.58	o 3652
47.70/48.60	o 3651
47.79/48.62	o 3650
47.79/48.64	o 3649
47.79/48.66	o 3648
47.79/48.68	o 3647
47.89/48.70	o 3646
47.89/48.72	o 3645
47.89/48.74	o 3644
47.89/48.76	o 3643
47.89/48.78	o 3642
47.99/48.80	o 3641
47.99/48.82	o 3640
47.99/48.84	o 3639
47.99/48.86	o 3638
47.99/48.88	o 3637
48.09/48.90	o 3636
48.09/48.93	o 3635
48.09/48.95	o 3634
48.09/48.97	o 3633
48.09/48.99	o 3632
48.19/49.01	o 3631
48.19/49.03	o 3630
48.19/49.05	o 3629
48.19/49.07	o 3628
48.29/49.13	o 3627
48.29/49.15	o 3626
48.29/49.17	o 3625
48.29/49.19	o 3624
48.39/49.21	o 3623
48.39/49.23	o 3622
48.39/49.25	o 3621
48.39/49.27	o 3620
48.39/49.29	o 3619
48.48/49.31	o 3618
48.48/49.33	o 3617
48.48/49.37	o 3615
48.48/49.39	o 3614
48.58/49.41	o 3613
48.58/49.43	o 3612
48.58/49.45	o 3611
48.58/49.47	o 3610
48.58/49.49	o 3609
48.68/49.52	o 3608
48.68/49.54	o 3607
48.68/49.56	o 3606
48.68/49.57	o 3604
48.68/49.59	o 3603
48.78/49.62	o 3602
48.78/49.64	o 3601
48.78/49.66	o 3600
48.78/49.68	o 3599
48.78/49.69	o 3597
48.88/49.71	o 3596
48.88/49.73	o 3595
48.88/49.75	o 3594
48.88/49.77	o 3593
48.88/49.79	o 3592
48.98/49.81	o 3591
48.98/49.83	o 3590
48.98/49.85	o 3589
48.98/49.87	o 3588
48.98/49.89	o 3587
49.08/49.91	o 3586
49.08/49.93	o 3584
49.08/49.95	o 3583
49.08/49.97	o 3582
49.08/49.99	o 3581
49.18/50.01	o 3580
49.18/50.03	o 3578
49.18/50.05	o 3577
49.18/50.06	o 3576
49.18/50.08	o 3575
49.28/50.11	o 3574
49.28/50.13	o 3573
49.28/50.15	o 3572
49.28/50.17	o 3571
49.28/50.19	o 3570
49.38/50.21	o 3569
49.38/50.23	o 3568
49.38/50.26	o 3567
49.38/50.28	o 3566
49.48/50.30	o 3565
49.48/50.33	o 3564
49.48/50.35	o 3563
49.48/50.37	o 3562
49.48/50.39	o 3560
49.57/50.41	o 3558
49.57/50.43	o 3557
49.57/50.45	o 3556
49.57/50.47	o 3555
49.57/50.49	o 3554
49.67/50.51	o 3552
49.67/50.53	o 3551
49.67/50.55	o 3550
49.67/50.57	o 3549
49.67/50.59	o 3548
49.77/50.61	o 3547
49.77/50.63	o 3546
49.77/50.65	o 3545
49.77/50.67	o 3544
49.77/50.69	o 3543
49.87/50.71	o 3541
49.87/50.73	o 3540
49.87/50.75	o 3538
49.87/50.76	o 3536
49.87/50.78	o 3534
49.87/50.79	o 3533
49.96/50.82	o 3532
49.96/50.84	o 3531
49.96/50.85	o 3530
49.96/50.87	o 3529
49.96/50.89	o 3528
50.06/50.92	o 3527
50.06/50.93	o 3526
50.06/50.95	o 3525
50.06/50.97	o 3524
50.06/50.99	o 3523
50.16/51.01	o 3522
50.16/51.03	o 3521
50.16/51.05	o 3520
50.16/51.07	o 3519
50.16/51.09	o 3518
50.26/51.11	o 3517
50.26/51.13	o 3516
50.26/51.15	o 3515
50.26/51.17	o 3514
50.26/51.19	o 3513
50.36/51.21	o 3512
50.36/51.23	o 3511
50.36/51.25	o 3510
50.36/51.27	o 3509
50.36/51.29	o 3508
50.46/51.31	o 3507
50.46/51.33	o 3506
50.46/51.35	o 3505
50.46/51.37	o 3504
50.46/51.39	o 3503
50.56/51.42	o 3502
50.56/51.44	o 3501
50.56/51.46	o 3500
50.56/51.47	o 3499
50.56/51.49	o 3498
50.66/51.52	o 3497
50.66/51.53	o 3496
50.66/51.55	o 3495
50.66/51.57	o 3494
50.66/51.59	o 3493
50.76/51.61	o 3492
50.76/51.63	o 3491
50.76/51.65	o 3490
50.76/51.67	o 3489
50.76/51.69	o 3488
50.86/51.72	o 3487
50.86/51.76	o 3485
50.86/51.78	o 3484
50.86/51.80	o 3483
50.96/51.81	o 3481
50.96/51.83	o 3480
50.96/51.85	o 3479
50.96/51.87	o 3473
50.96/51.89	o 3472
51.05/51.91	o 3470
51.05/51.93	o 3469
51.05/51.95	o 3468
51.05/51.97	o 3467
51.05/51.99	o 3465
51.15/52.01	o 3464
51.15/52.02	o 3462
51.15/52.04	o 3461
51.15/52.06	o 3460
51.15/52.08	o 3459
51.15/52.10	o 3458
51.25/52.12	o 3457
51.25/52.14	o 3456
51.25/52.16	o 3455
51.25/52.17	o 3454
51.25/52.19	o 3453
51.35/52.21	o 3452
51.35/52.23	o 3451
51.35/52.25	o 3450
51.35/52.27	o 3449
51.35/52.29	o 3448
51.44/52.31	o 3447
51.44/52.33	o 3445
51.44/52.35	o 3444
51.44/52.37	o 3443
51.44/52.39	o 3442
51.54/52.41	o 3441
51.54/52.43	o 3440
51.54/52.45	o 3439
51.54/52.48	o 3438
51.54/52.49	o 3437
51.64/52.52	o 3436
51.64/52.54	o 3435
51.64/52.55	o 3434
51.64/52.57	o 3433
51.64/52.59	o 3432
51.75/52.61	o 3431
51.75/52.63	o 3430
51.75/52.65	o 3429
51.75/52.67	o 3428
51.75/52.69	o 3427
51.84/52.71	o 3426
51.84/52.73	o 3425
51.84/52.75	o 3424
51.84/52.76	o 3422
51.84/52.78	o 3421
51.94/52.81	o 3420
51.94/52.83	o 3419
51.94/52.85	o 3418
51.94/52.86	o 3417
51.94/52.88	o 3416
52.04/52.90	o 3415
52.04/52.92	o 3414
52.04/52.94	o 3413
52.04/52.96	o 3412
52.04/52.98	o 3411
52.13/53.00	o 3410
52.13/53.02	o 3409
52.13/53.04	o 3408
52.13/53.06	o 3407
52.13/53.08	o 3406
52.13/53.10	o 3405
52.23/53.12	o 3404
52.23/53.14	o 3403
52.23/53.15	o 3402
52.23/53.17	o 3401
52.23/53.19	o 3399
52.33/53.21	o 3398
52.33/53.23	o 3397
52.33/53.25	o 3396
52.33/53.27	o 3395
52.33/53.28	o 3394
52.43/53.30	o 3393
52.43/53.32	o 3392
52.43/53.34	o 3391
52.43/53.35	o 3389
52.43/53.37	o 3388
52.43/53.39	o 3387
52.53/53.41	o 3386
52.53/53.43	o 3385
52.53/53.45	o 3384
52.53/53.47	o 3383
52.53/53.49	o 3382
52.63/53.51	o 3381
52.63/53.53	o 3380
52.63/53.54	o 3379
52.63/53.56	o 3378
52.63/53.58	o 3377
52.72/53.60	o 3376
52.72/53.63	o 3375
52.72/53.64	o 3374
52.72/53.66	o 3373
52.72/53.68	o 3372
52.82/53.70	o 3371
52.82/53.72	o 3370
52.82/53.74	o 3369
52.82/53.76	o 3368
52.82/53.78	o 3367
52.92/53.80	o 3366
52.92/53.82	o 3364
52.92/53.84	o 3363
52.92/53.85	o 3362
52.92/53.87	o 3361
52.92/53.89	o 3360
53.01/53.92	o 3359
53.01/53.94	o 3358
53.01/53.96	o 3357
53.01/53.97	o 3356
53.01/53.99	o 3355
53.11/54.01	o 3354
53.11/54.03	o 3353
53.11/54.05	o 3352
53.11/54.07	o 3351
53.11/54.09	o 3350
53.22/54.11	o 3348
53.22/54.13	o 3347
53.22/54.15	o 3346
53.22/54.16	o 3345
53.22/54.18	o 3344
53.31/54.20	o 3343
53.31/54.22	o 3342
53.31/54.24	o 3341
53.31/54.26	o 3340
53.31/54.28	o 3339
53.31/54.30	o 3338
53.41/54.32	o 3337
53.41/54.34	o 3336
53.41/54.35	o 3335
53.41/54.37	o 3334
53.41/54.39	o 3333
53.51/54.41	o 3332
53.51/54.43	o 3331
53.51/54.45	o 3330
53.51/54.47	o 3329
53.51/54.49	o 3328
53.61/54.51	o 3327
53.61/54.53	o 3326
53.61/54.54	o 3325
53.61/54.56	o 3324
53.61/54.57	o 3322
53.61/54.59	o 3321
53.71/54.61	o 3320
53.71/54.63	o 3319
53.71/54.65	o 3318
53.71/54.67	o 3317
53.71/54.69	o 3316
53.81/54.73	o 3315
53.81/54.74	o 3314
53.81/54.76	o 3313
53.81/54.78	o 3311
53.81/54.79	o 3309
53.90/54.81	o 3308
53.90/54.83	o 3307
53.90/54.85	o 3306
53.90/54.87	o 3305
53.90/54.89	o 3304
54.00/54.91	o 3303
54.00/54.92	o 3302
54.00/54.94	o 3300
54.00/54.96	o 3299
54.00/54.98	o 3298
54.00/54.99	o 3297
54.10/55.02	o 3296
54.10/55.04	o 3295
54.10/55.06	o 3294
54.10/55.07	o 3293
54.10/55.09	o 3292
54.20/55.11	o 3291
54.20/55.13	o 3290
54.20/55.15	o 3289
54.20/55.16	o 3287
54.20/55.18	o 3286
54.29/55.20	o 3285
54.29/55.22	o 3284
54.29/55.24	o 3283
54.29/55.25	o 3282
54.29/55.27	o 3280
54.29/55.29	o 3279
54.39/55.31	o 3278
54.39/55.33	o 3277
54.39/55.35	o 3276
54.39/55.36	o 3275
54.39/55.38	o 3274
54.50/55.40	o 3273
54.50/55.42	o 3272
54.50/55.44	o 3271
54.50/55.46	o 3270
54.50/55.48	o 3269
54.50/55.49	o 3268
54.60/55.51	o 3267
54.60/55.53	o 3266
54.60/55.55	o 3265
54.60/55.57	o 3264
54.60/55.59	o 3263
54.70/55.60	o 3261
54.70/55.62	o 3260
54.70/55.64	o 3259
54.70/55.65	o 3258
54.70/55.67	o 3257
54.70/55.69	o 3255
54.79/55.71	o 3254
54.79/55.73	o 3253
54.79/55.75	o 3252
54.79/55.76	o 3251
54.79/55.78	o 3250
54.89/55.80	o 3249
54.89/55.82	o 3248
54.89/55.84	o 3247
54.89/55.86	o 3246
54.89/55.88	o 3245
54.89/55.90	o 3244
54.98/55.92	o 3243
54.98/55.93	o 3242
54.98/55.95	o 3241
54.98/55.97	o 3240
54.98/55.99	o 3239
55.08/56.01	o 3238
55.08/56.02	o 3237
55.08/56.04	o 3236
55.08/56.06	o 3235
55.08/56.08	o 3234
55.08/56.09	o 3232
55.18/56.12	o 3231
55.18/56.14	o 3230
55.18/56.15	o 3229
55.18/56.17	o 3228
55.18/56.19	o 3227
55.29/56.21	o 3226
55.29/56.22	o 3224
55.29/56.24	o 3223
55.29/56.26	o 3222
55.29/56.28	o 3221
55.29/56.30	o 3220
55.38/56.32	o 3219
55.38/56.33	o 3218
55.38/56.35	o 3217
55.38/56.37	o 3215
55.38/56.38	o 3214
55.48/56.40	o 3213
55.48/56.42	o 3212
55.48/56.44	o 3211
55.48/56.46	o 3210
55.48/56.47	o 3209
55.48/56.49	o 3208
55.58/56.51	o 3206
55.58/56.52	o 3205
55.58/56.54	o 3204
55.58/56.57	o 3203
55.58/56.58	o 3202
55.68/56.60	o 3201
55.68/56.67	o 3200
55.68/56.69	o 3199
55.78/56.71	o 3197
55.78/56.72	o 3196
55.78/56.74	o 3195
55.78/56.76	o 3194
55.78/56.78	o 3193
55.78/56.80	o 3192
55.88/56.81	o 3190
55.88/56.83	o 3189
55.88/56.85	o 3188
55.88/56.86	o 3187
55.88/56.88	o 3186
55.98/56.90	o 3185
55.98/56.92	o 3183
55.98/56.94	o 3182
55.98/56.97	o 3181
55.98/56.99	o 3179
56.07/57.01	o 3177
56.07/57.02	o 3175
56.07/57.04	o 3174
56.07/57.06	o 3173
56.07/57.08	o 3172
56.07/57.09	o 3171
56.17/57.11	o 3170
56.17/57.13	o 3169
56.17/57.15	o 3168
56.17/57.16	o 3167
56.17/57.18	o 3166
56.27/57.21	o 3165
56.27/57.22	o 3164
56.27/57.24	o 3163
56.27/57.26	o 3162
56.27/57.28	o 3161
56.27/57.29	o 3160
56.37/57.31	o 3159
56.37/57.33	o 3158
56.37/57.35	o 3157
56.37/57.36	o 3155
56.37/57.38	o 3154
56.46/57.40	o 3153
56.46/57.42	o 3152
56.46/57.44	o 3151
56.46/57.45	o 3150
56.46/57.47	o 3149
56.46/57.49	o 3148
56.56/57.51	o 3147
56.56/57.53	o 3146
56.56/57.54	o 3145
56.56/57.56	o 3144
56.56/57.58	o 3143
56.56/57.60	o 3142
56.66/57.62	o 3141
56.66/57.63	o 3140
56.66/57.65	o 3138
56.66/57.66	o 3137
56.66/57.68	o 3136
56.76/57.70	o 3134
56.76/57.72	o 3133
56.76/57.74	o 3132
56.76/57.75	o 3131
56.76/57.77	o 3130
56.76/57.79	o 3129
56.85/57.81	o 3128
56.85/57.82	o 3127
56.85/57.84	o 3125
56.85/57.85	o 3124
56.85/57.87	o 3123
56.85/57.89	o 3122
56.96/57.91	o 3121
56.96/57.92	o 3119
56.96/57.93	o 3118
56.96/57.95	o 3117
56.96/57.97	o 3116
56.96/57.99	o 3115
57.06/58.00	o 3114
57.06/58.03	o 3113
57.06/58.05	o 3112
57.06/58.06	o 3111
57.06/58.08	o 3110
57.06/58.10	o 3109
57.15/58.12	o 3108
57.15/58.13	o 3107
57.15/58.15	o 3106
57.15/58.17	o 3105
57.15/58.18	o 3103
57.25/58.20	o 3102
57.25/58.22	o 3101
57.25/58.24	o 3100
57.25/58.25	o 3099
57.25/58.27	o 3098
57.25/58.29	o 3097
57.35/58.31	o 3096
57.35/58.33	o 3095
57.35/58.35	o 3094
57.35/58.36	o 3093
57.35/58.38	o 3092
57.35/58.40	o 3091
57.45/58.44	o 3089
57.45/58.46	o 3087
57.45/58.47	o 3085
57.45/58.48	o 3083
57.54/58.50	o 3081
57.54/58.52	o 3080
57.54/58.53	o 3079
57.54/58.55	o 3078
57.54/58.57	o 3077
57.54/58.59	o 3076
57.64/58.60	o 3075
57.64/58.62	o 3074
57.64/58.64	o 3073
57.64/58.66	o 3072
57.64/58.67	o 3071
57.64/58.69	o 3070
57.74/58.71	o 3069
57.74/58.72	o 3068
57.74/58.74	o 3067
57.74/58.76	o 3066
57.74/58.78	o 3065
57.74/58.79	o 3064
57.84/58.81	o 3063
57.84/58.83	o 3062
57.84/58.85	o 3061
57.84/58.86	o 3060
57.84/58.88	o 3059
57.84/58.90	o 3058
57.94/58.92	o 3057
57.94/58.93	o 3056
57.94/58.95	o 3055
57.94/58.97	o 3054
57.94/58.98	o 3053
58.04/59.00	o 3052
58.04/59.02	o 3051
58.04/59.04	o 3050
58.04/59.05	o 3049
58.04/59.07	o 3048
58.04/59.09	o 3047
58.14/59.11	o 3046
58.14/59.13	o 3045
58.14/59.14	o 3044
58.14/59.16	o 3043
58.14/59.18	o 3042
58.14/59.20	o 3041
58.24/59.21	o 3040
58.24/59.23	o 3039
58.24/59.25	o 3038
58.34/59.31	o 3037
58.34/59.33	o 3036
58.34/59.35	o 3035
58.34/59.36	o 3033
58.34/59.38	o 3032
58.34/59.40	o 3031
58.43/59.42	o 3030
58.43/59.44	o 3029
58.43/59.45	o 3028
58.43/59.47	o 3027
58.43/59.49	o 3026
58.53/59.50	o 3025
58.53/59.52	o 3024
58.53/59.54	o 3023
58.53/59.56	o 3022
58.53/59.57	o 3021
58.53/59.59	o 3020
58.63/59.61	o 3019
58.63/59.62	o 3018
58.63/59.64	o 3017
58.63/59.65	o 3016
58.63/59.67	o 3015
58.63/59.69	o 3014
58.73/59.70	o 3013
58.73/59.72	o 3012
58.73/59.74	o 3011
58.73/59.75	o 3010
58.73/59.77	o 3009
58.73/59.79	o 3008
58.83/59.81	o 3007
58.83/59.82	o 3006
58.83/59.84	o 3005
58.83/59.86	o 3004
58.83/59.87	o 3003
58.83/59.89	o 3002
58.93/59.91	o 3001
58.93/59.92	o 3000
58.93/59.94	o 2999
58.93/59.96	o 2998
58.93/59.97	o 2996
58.93/59.99	o 2995
59.03/60.01	o 2994
59.03/60.02	o 2993
59.03/60.04	o 2991
59.03/60.05	o 2989
59.03/60.07	o 2988
59.03/60.08	o 2987
59.13/60.10	o 2986
59.13/60.12	o 2985
59.13/60.13	o 2984
59.13/60.15	o 2983
59.13/60.17	o 2982
59.13/60.18	o 2981
59.23/60.20	o 2980
59.23/60.22	o 2979
59.23/60.24	o 2978
59.23/60.26	o 2977
59.23/60.27	o 2976
59.23/60.29	o 2975
59.32/60.31	o 2974
59.32/60.32	o 2973
59.32/60.34	o 2972
59.32/60.36	o 2971
59.32/60.37	o 2970
59.32/60.39	o 2969
59.42/60.45	o 2968
59.42/60.46	o 2967
59.42/60.47	o 2966
59.42/60.49	o 2965
59.53/60.51	o 2963
59.53/60.53	o 2962
59.53/60.55	o 2961
59.53/60.56	o 2960
59.53/60.58	o 2959
59.53/60.60	o 2958
59.63/60.61	o 2957
59.63/60.63	o 2956
59.63/60.65	o 2955
59.63/60.66	o 2954
59.63/60.68	o 2953
59.63/60.70	o 2952
59.72/60.71	o 2951
59.72/60.73	o 2950
59.72/60.75	o 2949
59.72/60.76	o 2948
59.72/60.78	o 2947
59.72/60.80	o 2946
59.82/60.81	o 2945
59.82/60.83	o 2944
59.82/60.85	o 2943
59.82/60.86	o 2942
59.82/60.88	o 2941
59.82/60.90	o 2940
59.91/60.91	o 2939
59.91/60.93	o 2938
59.91/60.95	o 2937
59.91/60.96	o 2935
59.91/60.97	o 2934
59.91/60.99	o 2933
60.01/61.01	o 2932
60.01/61.02	o 2931
60.01/61.04	o 2930
60.01/61.06	o 2929
60.01/61.07	o 2928
60.01/61.09	o 2927
60.11/61.11	o 2926
60.11/61.12	o 2925
60.11/61.14	o 2924
60.11/61.16	o 2923
60.11/61.17	o 2922
60.21/61.23	o 2921
60.21/61.25	o 2920
60.21/61.27	o 2919
60.31/61.31	o 2918
60.31/61.33	o 2917
60.31/61.35	o 2916
60.31/61.36	o 2915
60.31/61.38	o 2914
60.31/61.40	o 2913
60.41/61.41	o 2912
60.41/61.43	o 2911
60.41/61.45	o 2910
60.41/61.46	o 2909
60.41/61.48	o 2908
60.41/61.49	o 2907
60.50/61.51	o 2906
60.50/61.53	o 2905
60.50/61.54	o 2904
60.50/61.56	o 2903
60.50/61.58	o 2902
60.50/61.59	o 2901
60.60/61.62	o 2900
60.60/61.63	o 2899
60.60/61.65	o 2898
60.60/61.66	o 2897
60.60/61.68	o 2896
60.60/61.70	o 2895
60.70/61.71	o 2894
60.70/61.73	o 2893
60.70/61.75	o 2892
60.70/61.76	o 2891
60.70/61.78	o 2890
60.70/61.79	o 2889
60.80/61.81	o 2888
60.80/61.83	o 2887
60.80/61.89	o 2886
60.90/61.90	o 2885
60.90/61.92	o 2883
60.90/61.93	o 2882
60.90/61.95	o 2881
60.90/61.97	o 2880
60.90/61.98	o 2879
61.00/62.04	o 2878
61.00/62.05	o 2877
61.00/62.07	o 2876
61.00/62.08	o 2874
61.10/62.10	o 2873
61.10/62.12	o 2872
61.10/62.13	o 2871
61.10/62.15	o 2870
61.10/62.16	o 2868
61.10/62.18	o 2867
61.10/62.19	o 2866
61.20/62.20	o 2864
61.20/62.22	o 2863
61.20/62.24	o 2862
61.20/62.25	o 2861
61.20/62.27	o 2860
61.20/62.28	o 2859
61.30/62.30	o 2858
61.30/62.32	o 2857
61.30/62.33	o 2856
61.30/62.35	o 2855
61.30/62.37	o 2854
61.30/62.38	o 2853
61.40/62.40	o 2852
61.40/62.42	o 2851
61.40/62.44	o 2850
61.40/62.45	o 2848
61.40/62.47	o 2846
61.40/62.48	o 2844
61.40/62.49	o 2843
61.49/62.51	o 2842
61.49/62.53	o 2841
61.49/62.54	o 2840
61.49/62.56	o 2839
61.49/62.57	o 2838
61.49/62.59	o 2837
61.59/62.61	o 2836
61.59/62.62	o 2835
61.59/62.64	o 2834
61.59/62.65	o 2833
61.59/62.67	o 2832
61.59/62.69	o 2831
61.69/62.71	o 2830
61.69/62.72	o 2829
61.69/62.74	o 2828
61.69/62.76	o 2827
61.69/62.77	o 2826
61.69/62.79	o 2825
61.79/62.80	o 2824
61.79/62.82	o 2823
61.79/62.84	o 2822
61.79/62.85	o 2821
61.79/62.86	o 2819
61.79/62.88	o 2818
61.98/63.02	o 2817
61.98/63.03	o 2816
61.98/63.05	o 2815
61.98/63.07	o 2814
61.98/63.08	o 2813
61.98/63.09	o 2812
62.09/63.11	o 2811
62.09/63.12	o 2810
62.09/63.14	o 2809
62.09/63.16	o 2808
62.09/63.17	o 2807
62.09/63.19	o 2806
62.19/63.20	o 2804
62.19/63.21	o 2802
62.29/63.30	o 2801
62.29/63.32	o 2800
62.29/63.34	o 2799
62.29/63.35	o 2798
62.29/63.37	o 2797
62.29/63.38	o 2796
62.39/63.40	o 2795
62.39/63.42	o 2794
62.39/63.43	o 2793
62.39/63.44	o 2791
62.39/63.46	o 2790
62.39/63.47	o 2789
62.39/63.49	o 2788
62.48/63.51	o 2787
62.48/63.53	o 2786
62.48/63.54	o 2785
62.48/63.56	o 2784
62.48/63.57	o 2782
62.48/63.59	o 2781
62.58/63.61	o 2780
62.58/63.62	o 2779
62.58/63.63	o 2777
62.58/63.65	o 2776
62.58/63.67	o 2775
62.58/63.68	o 2774
62.58/63.70	o 2773
62.68/63.71	o 2772
62.68/63.77	o 2771
62.68/63.79	o 2770
62.78/63.81	o 2769
62.78/63.83	o 2768
62.78/63.84	o 2767
62.78/63.86	o 2766
62.78/63.87	o 2765
62.78/63.89	o 2764
62.88/63.91	o 2763
62.88/63.92	o 2762
62.88/63.94	o 2761
62.88/63.95	o 2759
62.88/63.97	o 2758
62.88/63.98	o 2757
62.97/64.00	o 2756
62.97/64.02	o 2755
62.97/64.03	o 2754
62.97/64.04	o 2752
62.97/64.05	o 2751
62.97/64.07	o 2750
62.97/64.09	o 2749
63.07/64.10	o 2748
63.07/64.12	o 2747
63.07/64.13	o 2746
63.07/64.15	o 2744
63.07/64.16	o 2743
63.07/64.18	o 2742
63.07/64.19	o 2740
63.17/64.21	o 2739
63.17/64.23	o 2738
63.17/64.24	o 2737
63.17/64.26	o 2736
63.17/64.27	o 2735
63.17/64.29	o 2734
63.27/64.30	o 2733
63.27/64.32	o 2732
63.27/64.33	o 2731
63.27/64.35	o 2730
63.27/64.37	o 2729
63.27/64.38	o 2728
63.27/64.40	o 2727
63.37/64.41	o 2726
63.37/64.43	o 2725
63.37/64.44	o 2724
63.37/64.46	o 2723
63.37/64.47	o 2722
63.37/64.49	o 2721
63.47/64.51	o 2720
63.47/64.52	o 2719
63.47/64.54	o 2718
63.47/64.55	o 2717
63.47/64.57	o 2716
63.47/64.58	o 2715
63.57/64.60	o 2714
63.57/64.62	o 2713
63.57/64.64	o 2712
63.57/64.65	o 2711
63.57/64.67	o 2710
63.57/64.68	o 2709
63.57/64.70	o 2708
63.66/64.71	o 2707
63.66/64.73	o 2706
63.66/64.74	o 2705
63.66/64.76	o 2704
63.66/64.78	o 2702
63.66/64.79	o 2701
63.76/64.81	o 2700
63.76/64.82	o 2699
63.76/64.84	o 2698
63.76/64.85	o 2697
63.76/64.87	o 2696
63.76/64.88	o 2695
63.86/64.91	o 2694
63.86/64.92	o 2693
63.86/64.94	o 2692
63.86/64.95	o 2691
63.86/64.97	o 2690
63.86/64.98	o 2689
63.86/65.00	o 2688
63.96/65.01	o 2687
63.96/65.03	o 2686
63.96/65.05	o 2685
63.96/65.06	o 2684
63.96/65.08	o 2683
63.96/65.09	o 2682
64.05/65.11	o 2681
64.05/65.12	o 2680
64.05/65.14	o 2679
64.05/65.15	o 2678
64.05/65.17	o 2677
64.05/65.18	o 2676
64.15/65.20	o 2675
64.15/65.25	o 2674
64.15/65.26	o 2673
64.15/65.28	o 2672
64.15/65.29	o 2671
64.25/65.31	o 2670
64.25/65.32	o 2669
64.25/65.34	o 2668
64.25/65.35	o 2667
64.25/65.37	o 2666
64.25/65.39	o 2665
64.36/65.40	o 2664
64.36/65.42	o 2663
64.36/65.43	o 2662
64.36/65.45	o 2661
64.36/65.46	o 2660
64.36/65.48	o 2659
64.36/65.49	o 2658
64.46/65.51	o 2657
64.46/65.52	o 2656
64.46/65.54	o 2655
64.46/65.55	o 2654
64.46/65.57	o 2653
64.46/65.59	o 2652
64.55/65.60	o 2651
64.55/65.62	o 2650
64.55/65.63	o 2649
64.55/65.64	o 2647
64.55/65.66	o 2646
64.55/65.67	o 2645
64.55/65.69	o 2644
64.65/65.70	o 2643
64.65/65.72	o 2642
64.65/65.74	o 2641
64.65/65.75	o 2640
64.65/65.77	o 2639
64.65/65.78	o 2638
64.74/65.80	o 2637
64.74/65.82	o 2636
64.74/65.83	o 2635
64.74/65.85	o 2634
64.74/65.86	o 2633
64.74/65.88	o 2631
64.74/65.89	o 2630
64.84/65.91	o 2629
64.84/65.92	o 2628
64.84/65.94	o 2627
64.84/65.95	o 2626
64.84/65.97	o 2625
64.84/65.98	o 2624
64.94/66.00	o 2623
64.94/66.02	o 2622
64.94/66.03	o 2621
64.94/66.05	o 2620
64.94/66.07	o 2619
64.94/66.08	o 2618
64.94/66.10	o 2617
65.04/66.11	o 2616
65.04/66.13	o 2614
65.04/66.15	o 2612
65.04/66.16	o 2611
65.04/66.18	o 2610
65.04/66.19	o 2609
65.13/66.21	o 2608
65.13/66.22	o 2607
65.13/66.24	o 2606
65.13/66.25	o 2605
65.13/66.27	o 2604
65.13/66.28	o 2603
65.23/66.30	o 2602
65.23/66.32	o 2601
65.23/66.33	o 2600
65.23/66.35	o 2599
65.23/66.36	o 2598
65.23/66.38	o 2597
65.23/66.39	o 2596
65.33/66.41	o 2595
65.33/66.42	o 2594
65.33/66.44	o 2593
65.33/66.45	o 2592
65.33/66.47	o 2591
65.33/66.48	o 2590
65.43/66.50	o 2589
65.43/66.51	o 2588
65.43/66.53	o 2587
65.43/66.54	o 2586
65.43/66.56	o 2585
65.43/66.57	o 2584
65.43/66.59	o 2583
65.54/66.60	o 2582
65.54/66.62	o 2580
65.54/66.63	o 2579
65.54/66.65	o 2578
65.54/66.66	o 2577
65.54/66.68	o 2576
65.54/66.69	o 2575
65.64/66.71	o 2574
65.64/66.72	o 2573
65.64/66.74	o 2572
65.64/66.75	o 2571
65.64/66.77	o 2570
65.64/66.78	o 2569
65.73/66.80	o 2568
65.73/66.82	o 2567
65.73/66.83	o 2566
65.73/66.85	o 2564
65.73/66.86	o 2563
65.73/66.88	o 2562
65.73/66.89	o 2561
65.83/66.91	o 2560
65.83/66.92	o 2559
65.83/66.94	o 2558
65.83/66.95	o 2557
65.83/66.97	o 2556
65.83/66.98	o 2555
65.83/67.00	o 2554
65.93/67.01	o 2553
65.93/67.03	o 2552
65.93/67.04	o 2551
65.93/67.06	o 2550
65.93/67.07	o 2548
66.03/67.11	o 2547
66.03/67.12	o 2546
66.03/67.14	o 2545
66.03/67.15	o 2544
66.03/67.16	o 2543
66.03/67.18	o 2541
66.03/67.20	o 2539
66.12/67.22	o 2538
66.12/67.23	o 2537
66.12/67.25	o 2536
66.12/67.26	o 2535
66.12/67.27	o 2534
66.12/67.29	o 2533
66.22/67.31	o 2532
66.22/67.32	o 2531
66.22/67.34	o 2530
66.22/67.35	o 2529
66.22/67.36	o 2528
66.22/67.38	o 2527
66.22/67.39	o 2526
66.32/67.41	o 2525
66.32/67.42	o 2524
66.32/67.44	o 2523
66.32/67.45	o 2522
66.32/67.47	o 2521
66.32/67.48	o 2520
66.43/67.50	o 2519
66.43/67.51	o 2518
66.43/67.53	o 2517
66.43/67.54	o 2516
66.43/67.60	o 2515
66.52/67.61	o 2514
66.52/67.63	o 2513
66.52/67.64	o 2512
66.52/67.65	o 2511
66.52/67.67	o 2510
66.52/67.68	o 2509
66.62/67.70	o 2508
66.62/67.71	o 2507
66.62/67.73	o 2505
66.62/67.74	o 2504
66.62/67.75	o 2502
66.62/67.77	o 2501
66.62/67.78	o 2500
66.62/67.80	o 2499
66.72/67.81	o 2498
66.72/67.83	o 2497
66.72/67.84	o 2496
66.72/67.85	o 2495
66.72/67.87	o 2494
66.72/67.88	o 2493
66.82/67.90	o 2492
66.82/67.92	o 2491
66.82/67.94	o 2490
66.82/67.95	o 2489
66.82/67.97	o 2488
66.82/67.98	o 2487
66.91/68.00	o 2486
66.91/68.01	o 2485
66.91/68.03	o 2484
66.91/68.04	o 2483
66.91/68.06	o 2482
66.91/68.07	o 2481
66.91/68.09	o 2480
67.01/68.10	o 2479
67.01/68.12	o 2478
67.01/68.13	o 2477
67.01/68.15	o 2476
67.01/68.16	o 2475
67.01/68.17	o 2474
67.01/68.19	o 2473
67.11/68.21	o 2472
67.11/68.22	o 2471
67.11/68.24	o 2470
67.11/68.25	o 2469
67.11/68.27	o 2468
67.11/68.28	o 2467
67.11/68.30	o 2466
67.21/68.31	o 2465
67.21/68.33	o 2464
67.21/68.34	o 2463
67.21/68.36	o 2462
67.21/68.37	o 2461
67.21/68.38	o 2460
67.30/68.40	o 2459
67.30/68.41	o 2458
67.30/68.43	o 2457
67.30/68.44	o 2456
67.30/68.46	o 2455
67.30/68.47	o 2454
67.30/68.49	o 2453
67.40/68.50	o 2452
67.40/68.52	o 2451
67.40/68.53	o 2449
67.40/68.54	o 2448
67.40/68.56	o 2447
67.40/68.57	o 2446
67.40/68.58	o 2445
67.51/68.60	o 2443
67.51/68.61	o 2442
67.51/68.63	o 2441
67.51/68.64	o 2440
67.51/68.66	o 2439
67.51/68.67	o 2438
67.51/68.68	o 2437
67.61/68.70	o 2436
67.61/68.71	o 2435
67.61/68.73	o 2434
67.61/68.74	o 2433
67.61/68.76	o 2432
67.61/68.77	o 2431
67.61/68.79	o 2430
67.70/68.80	o 2429
67.70/68.82	o 2428
67.70/68.83	o 2427
67.70/68.84	o 2426
67.80/68.94	o 2425
67.80/68.95	o 2424
67.80/68.96	o 2423
67.80/68.98	o 2422
67.80/68.99	o 2421
67.90/69.01	o 2420
67.90/69.03	o 2419
67.90/69.04	o 2418
67.90/69.06	o 2417
67.90/69.07	o 2416
67.90/69.08	o 2415
67.99/69.10	o 2414
67.99/69.11	o 2413
67.99/69.13	o 2412
67.99/69.14	o 2410
67.99/69.15	o 2409
67.99/69.17	o 2408
67.99/69.18	o 2407
67.99/69.19	o 2406
68.09/69.21	o 2405
68.09/69.22	o 2404
68.09/69.24	o 2403
68.09/69.25	o 2402
68.09/69.26	o 2401
68.09/69.28	o 2399
68.09/69.29	o 2398
68.20/69.31	o 2396
68.20/69.32	o 2395
68.20/69.34	o 2394
68.20/69.35	o 2393
68.20/69.37	o 2391
68.20/69.38	o 2390
68.20/69.39	o 2389
68.30/69.41	o 2388
68.30/69.42	o 2387
68.30/69.44	o 2386
68.30/69.45	o 2385
68.30/69.47	o 2384
68.30/69.48	o 2383
68.30/69.49	o 2382
68.39/69.51	o 2381
68.39/69.52	o 2380
68.39/69.54	o 2379
68.39/69.55	o 2378
68.39/69.57	o 2377
68.39/69.58	o 2376
68.39/69.59	o 2375
68.49/69.61	o 2374
68.49/69.62	o 2373
68.49/69.64	o 2372
68.49/69.65	o 2371
68.49/69.67	o 2370
68.49/69.68	o 2369
68.49/69.69	o 2367
68.59/69.71	o 2366
68.59/69.72	o 2365
68.59/69.74	o 2364
68.59/69.75	o 2363
68.59/69.76	o 2362
68.59/69.78	o 2361
68.59/69.79	o 2360
68.69/69.81	o 2359
68.69/69.82	o 2358
68.69/69.84	o 2357
68.69/69.85	o 2356
68.69/69.86	o 2354
68.69/69.87	o 2353
68.69/69.89	o 2352
68.79/69.90	o 2351
68.79/69.92	o 2350
68.79/69.93	o 2349
68.79/69.94	o 2348
68.79/69.96	o 2347
68.79/69.98	o 2346
68.79/69.99	o 2344
68.90/70.02	o 2343
68.90/70.04	o 2342
68.90/70.05	o 2341
68.90/70.07	o 2340
68.90/70.08	o 2339
68.90/70.09	o 2338
68.99/70.12	o 2337
68.99/70.13	o 2336
68.99/70.14	o 2335
68.99/70.16	o 2334
68.99/70.17	o 2333
68.99/70.18	o 2332
68.99/70.20	o 2331
69.08/70.21	o 2330
69.08/70.22	o 2329
69.08/70.24	o 2328
69.08/70.25	o 2327
69.08/70.27	o 2326
69.18/70.31	o 2325
69.18/70.33	o 2324
69.18/70.34	o 2323
69.18/70.35	o 2322
69.18/70.37	o 2321
69.18/70.38	o 2320
69.18/70.39	o 2319
69.28/70.41	o 2318
69.28/70.43	o 2317
69.28/70.44	o 2316
69.28/70.50	o 2315
69.38/70.51	o 2314
69.38/70.53	o 2313
69.38/70.54	o 2312
69.38/70.55	o 2311
69.38/70.57	o 2310
69.38/70.58	o 2309
69.38/70.59	o 2308
69.47/70.61	o 2306
69.47/70.62	o 2305
69.47/70.63	o 2304
69.47/70.65	o 2303
69.47/70.66	o 2302
69.47/70.68	o 2301
69.47/70.69	o 2300
69.57/70.70	o 2299
69.57/70.72	o 2297
69.57/70.73	o 2296
69.57/70.75	o 2295
69.57/70.76	o 2293
69.57/70.77	o 2292
69.57/70.78	o 2291
69.67/70.80	o 2290
69.67/70.81	o 2289
69.67/70.83	o 2288
69.67/70.84	o 2287
69.67/70.85	o 2285
69.67/70.86	o 2284
69.67/70.88	o 2283
69.67/70.89	o 2282
69.78/70.91	o 2281
69.78/70.92	o 2279
69.78/70.93	o 2278
69.78/70.95	o 2277
69.78/70.96	o 2276
69.78/70.97	o 2275
69.78/70.99	o 2274
69.88/71.00	o 2273
69.88/71.02	o 2272
69.88/71.03	o 2271
69.88/71.04	o 2269
69.88/71.05	o 2268
69.88/71.07	o 2267
69.88/71.08	o 2265
69.88/71.09	o 2264
69.98/71.11	o 2263
69.98/71.12	o 2262
69.98/71.13	o 2261
70.08/71.21	o 2260
70.08/71.25	o 2259
70.08/71.27	o 2258
70.08/71.28	o 2256
70.08/71.29	o 2255
70.17/71.30	o 2254
70.17/71.32	o 2253
70.17/71.33	o 2252
70.17/71.35	o 2251
70.17/71.36	o 2250
70.17/71.37	o 2249
70.17/71.39	o 2248
70.27/71.40	o 2247
70.27/71.42	o 2246
70.27/71.43	o 2245
70.27/71.44	o 2244
70.27/71.46	o 2243
70.27/71.47	o 2242
70.27/71.48	o 2241
70.27/71.50	o 2240
70.37/71.52	o 2239
70.37/71.53	o 2238
70.37/71.54	o 2237
70.37/71.56	o 2236
70.37/71.57	o 2235
70.37/71.58	o 2234
70.37/71.60	o 2233
70.47/71.61	o 2232
70.47/71.63	o 2231
70.47/71.64	o 2230
70.47/71.65	o 2229
70.47/71.67	o 2228
70.47/71.68	o 2227
70.47/71.69	o 2226
70.56/71.71	o 2225
70.56/71.72	o 2224
70.56/71.73	o 2222
70.56/71.75	o 2221
70.56/71.76	o 2220
70.56/71.77	o 2219
70.56/71.79	o 2218
70.67/71.80	o 2217
70.67/71.81	o 2216
70.67/71.83	o 2215
70.67/71.84	o 2214
70.67/71.85	o 2213
70.67/71.87	o 2212
70.67/71.88	o 2211
70.67/71.89	o 2210
70.77/71.91	o 2209
70.77/71.92	o 2208
70.77/71.94	o 2207
70.77/71.95	o 2205
70.77/71.96	o 2204
70.77/71.97	o 2203
70.77/71.99	o 2202
70.86/72.00	o 2201
70.86/72.01	o 2200
70.86/72.03	o 2199
70.86/72.04	o 2198
70.86/72.06	o 2197
70.86/72.07	o 2196
70.86/72.08	o 2195
70.86/72.10	o 2194
70.96/72.11	o 2193
70.96/72.12	o 2192
70.96/72.14	o 2191
70.96/72.15	o 2190
70.96/72.16	o 2189
70.96/72.17	o 2188
70.96/72.19	o 2187
71.06/72.20	o 2186
71.06/72.21	o 2185
71.06/72.23	o 2184
71.06/72.24	o 2183
71.06/72.26	o 2182
71.06/72.27	o 2181
71.06/72.28	o 2180
71.06/72.30	o 2179
71.16/72.31	o 2178
71.16/72.33	o 2177
71.16/72.34	o 2176
71.16/72.35	o 2175
71.16/72.37	o 2174
71.16/72.38	o 2173
71.16/72.39	o 2171
71.25/72.41	o 2169
71.25/72.42	o 2168
71.25/72.43	o 2167
71.25/72.45	o 2166
71.25/72.46	o 2164
71.25/72.47	o 2163
71.25/72.48	o 2162
71.25/72.50	o 2161
71.35/72.51	o 2160
71.35/72.52	o 2159
71.35/72.54	o 2158
71.35/72.55	o 2157
71.35/72.56	o 2156
71.35/72.58	o 2155
71.35/72.59	o 2154
71.45/72.61	o 2153
71.45/72.62	o 2152
71.45/72.64	o 2151
71.45/72.65	o 2150
71.45/72.66	o 2149
71.45/72.68	o 2141
71.45/72.69	o 2140
71.55/72.70	o 2139
71.55/72.72	o 2138
71.55/72.73	o 2137
71.55/72.74	o 2136
71.55/72.76	o 2135
71.55/72.77	o 2134
71.55/72.78	o 2133
71.55/72.80	o 2132
71.65/72.81	o 2131
71.65/72.82	o 2130
71.65/72.84	o 2129
71.65/72.85	o 2128
71.65/72.86	o 2127
71.65/72.87	o 2125
71.65/72.89	o 2124
71.75/72.90	o 2123
71.75/72.92	o 2122
71.75/72.93	o 2120
71.75/72.94	o 2119
71.75/72.95	o 2118
71.75/72.97	o 2116
71.75/72.98	o 2115
71.75/72.99	o 2114
71.84/73.01	o 2113
71.84/73.02	o 2112
71.84/73.03	o 2111
71.84/73.04	o 2110
71.84/73.06	o 2109
71.84/73.07	o 2108
71.84/73.09	o 2107
71.94/73.10	o 2106
71.94/73.12	o 2105
71.94/73.13	o 2104
71.94/73.14	o 2103
71.94/73.15	o 2101
71.94/73.17	o 2100
71.94/73.18	o 2099
71.94/73.19	o 2098
72.04/73.21	o 2097
72.04/73.22	o 2096
72.04/73.23	o 2095
72.04/73.25	o 2094
72.04/73.26	o 2093
72.04/73.27	o 2092
72.04/73.29	o 2091
72.14/73.30	o 2090
72.14/73.31	o 2089
72.14/73.33	o 2088
72.14/73.34	o 2087
72.14/73.35	o 2086
72.14/73.37	o 2085
72.14/73.38	o 2084
72.14/73.39	o 2083
72.24/73.41	o 2082
72.24/73.43	o 2081
72.43/73.61	o 2080
72.43/73.62	o 2078
72.43/73.63	o 2076
72.43/73.64	o 2074
72.43/73.65	o 2072
72.43/73.66	o 2070
72.43/73.67	o 2068
72.43/73.68	o 2066
72.43/73.69	o 2064
72.53/73.71	o 2062
72.53/73.72	o 2060
72.63/73.81	o 2059
72.63/73.82	o 2058
72.63/73.83	o 2057
72.63/73.85	o 2056
72.63/73.86	o 2055
72.63/73.87	o 2054
72.63/73.89	o 2053
72.72/73.90	o 2052
72.72/73.91	o 2051
72.72/73.93	o 2050
72.72/73.94	o 2049
72.72/73.95	o 2048
72.72/73.96	o 2047
72.72/73.98	o 2046
72.72/73.99	o 2045
72.83/74.08	o 2044
72.83/74.10	o 2043
72.93/74.11	o 2042
72.93/74.12	o 2041
72.93/74.14	o 2040
72.93/74.15	o 2039
72.93/74.16	o 2038
72.93/74.17	o 2037
72.93/74.19	o 2036
73.03/74.20	o 2035
73.03/74.21	o 2034
73.03/74.23	o 2033
73.03/74.24	o 2032
73.03/74.25	o 2031
73.03/74.26	o 2030
73.03/74.28	o 2029
73.03/74.29	o 2028
73.12/74.30	o 2027
73.12/74.32	o 2026
73.12/74.33	o 2025
73.12/74.34	o 2024
73.12/74.35	o 2023
73.12/74.37	o 2022
73.22/74.43	o 2021
73.22/74.47	o 2020
73.32/74.51	o 2019
73.51/74.76	o 2018
73.51/74.77	o 2017
73.62/74.81	o 2015
73.81/75.08	o 2013
73.91/75.11	o 2011
73.91/75.16	o 2010
73.91/75.18	o 2009
74.01/75.23	o 2008
74.01/75.29	o 2007
74.11/75.30	o 2006
74.11/75.31	o 2005
74.11/75.34	o 2004
74.11/75.35	o 2003
74.11/75.36	o 2002
74.11/75.38	o 2001
74.11/75.39	o 1999
74.21/75.47	o 1998
74.21/75.48	o 1997
74.21/75.49	o 1995
74.31/75.50	o 1994
74.31/75.52	o 1993
74.31/75.55	o 1992
74.31/75.57	o 1990
74.31/75.59	o 1989
74.41/75.60	o 1988
74.41/75.65	o 1987
74.41/75.66	o 1985
74.41/75.67	o 1984
74.41/75.68	o 1983
74.41/75.69	o 1982
74.51/75.72	o 1981
74.51/75.73	o 1980
74.51/75.74	o 1979
74.51/75.75	o 1978
74.51/75.78	o 1977
74.61/75.88	o 1976
74.61/75.89	o 1975
74.71/75.90	o 1974
74.71/75.93	o 1973
74.71/75.96	o 1972
74.81/76.05	o 1971
74.81/76.06	o 1969
74.81/76.10	o 1968
74.90/76.12	o 1967
74.90/76.13	o 1966
74.90/76.14	o 1965
74.90/76.15	o 1964
74.90/76.17	o 1963
74.90/76.18	o 1961
74.99/76.21	o 1960
75.09/76.31	o 1959
75.09/76.32	o 1957
75.09/76.34	o 1956
75.19/76.45	o 1955
75.19/76.47	o 1954
75.19/76.48	o 1953
75.19/76.49	o 1952
75.29/76.50	o 1951
75.29/76.51	o 1950
75.29/76.52	o 1949
75.29/76.54	o 1948
75.29/76.55	o 1947
75.29/76.56	o 1946
75.29/76.59	o 1944
75.39/76.65	o 1943
75.48/76.70	o 1941
75.48/76.72	o 1940
75.48/76.73	o 1938
75.69/76.90	o 1937
75.69/76.91	o 1936
75.69/76.92	o 1935
75.69/76.95	o 1934
75.69/76.96	o 1933
75.69/76.99	o 1932
75.79/77.02	o 1931
75.79/77.03	o 1929
75.79/77.04	o 1928
75.79/77.05	o 1927
75.79/77.08	o 1926
75.79/77.09	o 1924
75.89/77.11	o 1923
75.89/77.12	o 1922
75.89/77.14	o 1921
75.89/77.15	o 1920
75.89/77.17	o 1919
75.89/77.18	o 1918
75.89/77.19	o 1917
75.99/77.20	o 1915
75.99/77.22	o 1914
75.99/77.25	o 1913
75.99/77.26	o 1912
75.99/77.28	o 1911
75.99/77.29	o 1910
76.08/77.31	o 1908
76.08/77.33	o 1907
76.08/77.35	o 1905
76.08/77.37	o 1904
76.08/77.38	o 1902
76.08/77.40	o 1900
76.18/77.45	o 1899
76.18/77.47	o 1898
76.18/77.48	o 1897
76.18/77.49	o 1896
76.28/77.50	o 1895
76.28/77.51	o 1893
76.28/77.55	o 1892
76.28/77.56	o 1891
76.28/77.58	o 1889
76.38/77.60	o 1888
76.38/77.61	o 1887
76.38/77.62	o 1886
76.38/77.63	o 1885
76.38/77.64	o 1884
76.38/77.65	o 1883
76.38/77.67	o 1882
76.38/77.69	o 1881
76.48/77.71	o 1880
76.48/77.73	o 1878
76.48/77.79	o 1877
76.58/77.80	o 1876
76.58/77.82	o 1875
76.58/77.83	o 1874
76.58/77.84	o 1873
76.58/77.85	o 1872
76.58/77.86	o 1871
76.58/77.87	o 1869
76.58/77.89	o 1867
76.69/77.90	o 1866
76.69/77.91	o 1865
76.69/77.94	o 1863
76.69/77.95	o 1861
76.69/77.96	o 1860
76.69/77.97	o 1859
76.69/77.98	o 1857
76.69/77.99	o 1856
76.79/78.00	o 1854
76.79/78.02	o 1853
76.79/78.05	o 1852
76.89/78.15	o 1850
76.89/78.20	o 1847
76.98/78.21	o 1846
76.98/78.24	o 1845
76.98/78.25	o 1844
76.98/78.29	o 1843
77.09/78.31	o 1841
77.09/78.32	o 1840
77.09/78.33	o 1839
77.09/78.36	o 1837
77.09/78.37	o 1836
77.19/78.45	o 1835
77.29/78.55	o 1833
77.29/78.57	o 1832
77.29/78.58	o 1831
77.39/78.61	o 1830
77.39/78.62	o 1829
77.39/78.64	o 1828
77.39/78.67	o 1827
77.39/78.68	o 1826
77.39/78.69	o 1825
77.48/78.70	o 1824
77.48/78.71	o 1823
77.48/78.72	o 1822
77.48/78.77	o 1820
77.48/78.77	o 1818
77.48/78.78	o 1817
77.48/78.79	o 1816
77.58/78.81	o 1815
77.58/78.82	o 1814
77.58/78.83	o 1813
77.58/78.84	o 1812
77.58/78.85	o 1811
77.58/78.86	o 1810
77.58/78.87	o 1809
77.58/78.88	o 1808
77.58/78.89	o 1807
77.68/78.90	o 1806
77.68/78.91	o 1804
77.68/78.93	o 1802
77.68/78.94	o 1801
77.68/78.95	o 1800
77.68/78.96	o 1796
77.68/78.97	o 1794
77.68/78.98	o 1793
77.68/78.99	o 1792
77.78/79.00	o 1791
77.78/79.01	o 1790
77.78/79.03	o 1789
77.78/79.04	o 1788
77.78/79.07	o 1787
77.78/79.08	o 1786
77.78/79.09	o 1785
77.89/79.10	o 1784
77.89/79.12	o 1783
77.89/79.15	o 1779
77.89/79.16	o 1778
77.89/79.17	o 1776
77.89/79.18	o 1774
77.89/79.19	o 1773
77.99/79.21	o 1772
77.99/79.24	o 1771
78.09/79.37	o 1769
78.18/79.42	o 1768
78.18/79.43	o 1767
78.18/79.45	o 1766
78.18/79.48	o 1764
78.28/79.51	o 1763
78.28/79.54	o 1761
78.28/79.56	o 1760
78.28/79.58	o 1758
78.28/79.59	o 1757
78.38/79.60	o 1756
78.38/79.62	o 1755
78.38/79.63	o 1754
78.38/79.65	o 1753
78.38/79.66	o 1752
78.38/79.67	o 1751
78.38/79.68	o 1749
78.47/79.71	o 1748
78.47/79.72	o 1747
78.47/79.74	o 1746
78.47/79.75	o 1745
78.47/79.76	o 1743
78.47/79.77	o 1741
78.47/79.79	o 1740
78.47/79.80	o 1739
78.57/79.81	o 1738
78.57/79.83	o 1736
78.57/79.85	o 1735
78.57/79.86	o 1734
78.66/79.92	o 1733
78.66/79.94	o 1731
78.77/80.06	o 1729
78.77/80.08	o 1728
78.77/80.09	o 1725
78.87/80.10	o 1724
78.87/80.11	o 1723
78.87/80.13	o 1722
78.87/80.14	o 1721
78.87/80.16	o 1720
78.97/80.20	o 1718
78.97/80.23	o 1716
78.97/80.24	o 1714
78.97/80.29	o 1712
79.07/80.31	o 1711
79.07/80.33	o 1710
79.07/80.34	o 1709
79.07/80.35	o 1708
79.07/80.36	o 1707
79.07/80.37	o 1706
79.07/80.38	o 1704
79.17/80.43	o 1703
79.17/80.44	o 1702
79.17/80.45	o 1701
79.17/80.45	o 1700
79.17/80.46	o 1699
79.17/80.47	o 1698
79.17/80.48	o 1697
79.17/80.49	o 1696
79.26/80.50	o 1695
79.26/80.51	o 1694
79.26/80.52	o 1693
79.26/80.53	o 1692
79.26/80.54	o 1691
79.26/80.55	o 1690
79.26/80.56	o 1689
79.26/80.57	o 1688
79.26/80.58	o 1686
79.26/80.59	o 1685
79.36/80.60	o 1684
79.36/80.62	o 1683
79.36/80.66	o 1682
79.36/80.67	o 1681
79.36/80.68	o 1680
79.46/80.70	o 1679
79.46/80.71	o 1678
79.46/80.75	o 1677
79.46/80.79	o 1675
79.56/80.81	o 1673
79.56/80.84	o 1672
79.56/80.85	o 1671
79.56/80.86	o 1670
79.56/80.88	o 1669
79.56/80.89	o 1667
79.66/80.91	o 1666
79.66/80.93	o 1665
79.66/80.94	o 1664
79.66/80.96	o 1662
79.66/80.97	o 1661
79.76/81.01	o 1660
79.76/81.02	o 1659
79.76/81.03	o 1658
79.76/81.06	o 1657
79.76/81.08	o 1656
79.76/81.09	o 1655
79.76/81.10	o 1654
79.85/81.13	o 1653
79.85/81.15	o 1652
79.85/81.17	o 1651
79.85/81.18	o 1650
79.85/81.19	o 1649
79.95/81.21	o 1648
79.95/81.22	o 1647
79.95/81.24	o 1646
79.95/81.25	o 1645
79.95/81.28	o 1642
79.95/81.29	o 1640
80.05/81.30	o 1638
80.05/81.31	o 1636
80.05/81.32	o 1635
80.05/81.33	o 1634
80.05/81.34	o 1633
80.05/81.35	o 1632
80.05/81.36	o 1631
80.05/81.37	o 1630
80.05/81.38	o 1629
80.05/81.39	o 1627
80.16/81.41	o 1626
80.16/81.44	o 1624
80.16/81.49	o 1623
80.26/81.51	o 1622
80.26/81.52	o 1621
80.26/81.55	o 1620
80.26/81.56	o 1619
80.26/81.57	o 1618
80.26/81.58	o 1617
80.26/81.59	o 1616
80.26/81.59	o 1615
80.35/81.61	o 1614
80.35/81.62	o 1613
80.35/81.63	o 1612
80.35/81.64	o 1610
80.35/81.65	o 1609
80.35/81.66	o 1608
80.35/81.67	o 1607
80.35/81.68	o 1606
80.45/81.70	o 1604
80.45/81.72	o 1602
80.45/81.73	o 1601
80.45/81.75	o 1599
80.45/81.78	o 1597
80.45/81.79	o 1596
80.54/81.81	o 1595
80.54/81.83	o 1594
80.54/81.84	o 1593
80.54/81.86	o 1592
80.54/81.89	o 1591
80.54/81.90	o 1590
80.65/81.91	o 1589
80.65/81.92	o 1587
80.65/81.94	o 1586
80.65/81.95	o 1585
80.65/81.97	o 1584
80.65/81.98	o 1583
80.65/81.99	o 1582
80.75/82.00	o 1581
80.75/82.01	o 1580
80.75/82.02	o 1579
80.75/82.04	o 1578
80.75/82.05	o 1577
80.75/82.06	o 1575
80.75/82.07	o 1574
80.75/82.08	o 1573
80.85/82.10	o 1572
80.85/82.11	o 1571
80.85/82.12	o 1570
80.85/82.13	o 1568
80.85/82.19	o 1567
80.95/82.20	o 1566
80.95/82.21	o 1565
80.95/82.23	o 1563
80.95/82.25	o 1561
80.95/82.29	o 1559
81.04/82.32	o 1558
81.04/82.33	o 1557
81.04/82.34	o 1556
81.04/82.37	o 1555
81.04/82.39	o 1554
81.14/82.40	o 1553
81.14/82.41	o 1552
81.14/82.42	o 1551
81.14/82.43	o 1550
81.14/82.44	o 1549
81.14/82.47	o 1548
81.14/82.47	o 1546
81.14/82.50	o 1545
81.25/82.52	o 1544
81.25/82.53	o 1543
81.25/82.55	o 1542
81.25/82.57	o 1540
81.25/82.58	o 1539
81.25/82.59	o 1537
81.25/82.60	o 1536
81.35/82.61	o 1535
81.35/82.63	o 1534
81.35/82.66	o 1533
81.35/82.67	o 1532
81.35/82.67	o 1531
81.44/82.70	o 1530
81.44/82.72	o 1529
81.44/82.73	o 1527
81.44/82.74	o 1526
81.44/82.76	o 1525
81.44/82.77	o 1524
81.44/82.79	o 1522
81.54/82.80	o 1521
81.54/82.83	o 1520
81.54/82.84	o 1519
81.54/82.85	o 1518
81.54/82.88	o 1516
81.54/82.89	o 1515
81.63/82.91	o 1513
81.63/82.92	o 1511
81.63/82.94	o 1510
81.63/82.98	o 1508
81.63/82.99	o 1507
81.74/83.00	o 1506
81.74/83.01	o 1504
81.74/83.02	o 1503
81.74/83.03	o 1502
81.74/83.05	o 1501
81.74/83.06	o 1499
81.74/83.07	o 1498
81.84/83.12	o 1497
81.84/83.13	o 1496
81.84/83.20	o 1495
81.94/83.21	o 1494
81.94/83.21	o 1493
81.94/83.24	o 1492
81.94/83.25	o 1491
81.94/83.26	o 1490
81.94/83.27	o 1489
81.94/83.28	o 1487
82.04/83.30	o 1486
82.04/83.31	o 1484
82.04/83.33	o 1483
82.04/83.37	o 1482
82.04/83.37	o 1481
82.04/83.39	o 1480
82.14/83.40	o 1479
82.14/83.42	o 1478
82.14/83.43	o 1477
82.14/83.43	o 1476
82.14/83.44	o 1473
82.14/83.45	o 1472
82.14/83.46	o 1471
82.14/83.47	o 1470
82.14/83.49	o 1469
82.23/83.50	o 1468
82.23/83.52	o 1467
82.23/83.54	o 1466
82.23/83.55	o 1465
82.23/83.57	o 1464
82.34/83.61	o 1463
82.34/83.62	o 1462
82.34/83.63	o 1461
82.34/83.64	o 1459
82.34/83.66	o 1458
82.34/83.68	o 1457
82.34/83.68	o 1456
82.34/83.69	o 1455
82.44/83.71	o 1453
82.44/83.72	o 1452
82.44/83.72	o 1451
82.44/83.74	o 1450
82.44/83.75	o 1449
82.44/83.76	o 1448
82.44/83.77	o 1447
82.44/83.77	o 1446
82.44/83.78	o 1445
82.44/83.79	o 1444
82.53/83.80	o 1443
82.53/83.82	o 1442
82.53/83.83	o 1441
82.53/83.87	o 1440
82.53/83.88	o 1439
82.53/83.89	o 1438
82.53/83.90	o 1437
82.63/83.91	o 1435
82.63/83.92	o 1434
82.63/83.93	o 1433
82.63/83.94	o 1432
82.63/83.96	o 1431
82.63/83.97	o 1430
82.63/83.98	o 1429
82.63/83.99	o 1428
82.73/84.01	o 1427
82.73/84.02	o 1425
82.73/84.05	o 1424
82.73/84.06	o 1423
82.73/84.07	o 1422
82.84/84.10	o 1421
82.84/84.13	o 1419
82.84/84.15	o 1417
82.84/84.16	o 1415
82.93/84.23	o 1413
82.93/84.24	o 1412
82.93/84.25	o 1410
82.93/84.27	o 1409
82.93/84.27	o 1408
82.93/84.28	o 1407
82.93/84.29	o 1405
83.03/84.30	o 1404
83.03/84.33	o 1403
83.13/84.40	o 1402
83.13/84.41	o 1401
83.13/84.43	o 1400
83.13/84.44	o 1398
83.13/84.45	o 1397
83.13/84.46	o 1396
83.13/84.48	o 1394
83.13/84.49	o 1393
83.23/84.51	o 1392
83.23/84.52	o 1391
83.23/84.53	o 1390
83.23/84.53	o 1389
83.23/84.55	o 1388
83.33/84.61	o 1387
83.33/84.63	o 1386
83.33/84.64	o 1385
83.33/84.65	o 1384
83.33/84.66	o 1383
83.33/84.67	o 1382
83.33/84.68	o 1381
83.33/84.69	o 1380
83.33/84.70	o 1379
83.43/84.71	o 1377
83.43/84.73	o 1376
83.43/84.74	o 1375
83.43/84.74	o 1374
83.43/84.75	o 1373
83.43/84.76	o 1371
83.43/84.78	o 1370
83.53/84.81	o 1368
83.53/84.81	o 1367
83.53/84.85	o 1366
83.53/84.86	o 1365
83.53/84.86	o 1364
83.53/84.87	o 1363
83.53/84.90	o 1362
83.62/84.90	o 1361
83.62/84.91	o 1360
83.62/84.92	o 1359
83.62/84.93	o 1358
83.62/84.94	o 1356
83.62/84.95	o 1355
83.62/84.96	o 1354
83.62/84.97	o 1353
83.62/84.98	o 1352
83.62/84.99	o 1350
83.73/85.00	o 1349
83.73/85.01	o 1348
83.73/85.02	o 1347
83.73/85.03	o 1346
83.73/85.04	o 1343
83.73/85.05	o 1342
83.73/85.07	o 1340
83.73/85.09	o 1339
83.83/85.11	o 1337
83.83/85.13	o 1336
83.83/85.14	o 1335
83.83/85.15	o 1334
83.83/85.17	o 1332
83.83/85.19	o 1331
83.93/85.20	o 1330
83.93/85.21	o 1329
83.93/85.22	o 1327
83.93/85.23	o 1326
83.93/85.24	o 1325
83.93/85.29	o 1324
83.93/85.29	o 1322
84.03/85.32	o 1320
84.03/85.32	o 1319
84.03/85.34	o 1318
84.03/85.35	o 1315
84.03/85.36	o 1313
84.03/85.38	o 1312
84.03/85.38	o 1311
84.03/85.40	o 1310
84.12/85.46	o 1309
84.12/85.47	o 1307
84.12/85.50	o 1305
84.22/85.51	o 1303
84.22/85.52	o 1302
84.22/85.52	o 1301
84.22/85.53	o 1300
84.22/85.54	o 1299
84.22/85.55	o 1297
84.22/85.57	o 1296
84.22/85.58	o 1295
84.22/85.59	o 1294
84.22/85.59	o 1293
84.33/85.60	o 1292
84.33/85.61	o 1291
84.33/85.62	o 1289
84.33/85.63	o 1288
84.33/85.64	o 1287
84.33/85.65	o 1285
84.33/85.67	o 1284
84.33/85.67	o 1283
84.33/85.69	o 1281
84.43/85.71	o 1280
84.43/85.72	o 1279
84.43/85.73	o 1278
84.43/85.74	o 1277
84.43/85.75	o 1276
84.43/85.76	o 1275
84.43/85.77	o 1274
84.43/85.78	o 1273
84.43/85.79	o 1272
84.43/85.80	o 1271
84.53/85.80	o 1270
84.53/85.83	o 1269
84.53/85.84	o 1268
84.53/85.85	o 1267
84.53/85.85	o 1266
84.53/85.87	o 1264
84.53/85.88	o 1262
84.53/85.90	o 1261
84.63/85.92	o 1259
84.63/85.92	o 1258
84.63/85.94	o 1257
84.63/85.94	o 1256
84.63/85.95	o 1255
84.63/85.96	o 1254
84.63/85.97	o 1253
84.72/86.00	o 1251
84.72/86.01	o 1249
84.72/86.02	o 1247
84.72/86.03	o 1245
84.82/86.11	o 1243
84.82/86.12	o 1242
84.82/86.15	o 1241
84.82/86.16	o 1240
84.82/86.17	o 1237
84.82/86.18	o 1236
84.82/86.19	o 1234
84.92/86.20	o 1233
84.92/86.21	o 1231
84.92/86.21	o 1230
84.92/86.24	o 1229
84.92/86.25	o 1227
84.92/86.26	o 1226
84.92/86.27	o 1225
84.92/86.28	o 1224
84.92/86.29	o 1222
85.02/86.30	o 1220
85.02/86.31	o 1219
85.02/86.32	o 1218
85.02/86.33	o 1217
85.02/86.34	o 1216
85.02/86.35	o 1215
85.02/86.36	o 1214
85.02/86.36	o 1213
85.02/86.38	o 1212
85.12/86.40	o 1211
85.12/86.42	o 1210
85.12/86.42	o 1209
85.12/86.43	o 1207
85.12/86.44	o 1205
85.12/86.45	o 1204
85.12/86.46	o 1202
85.12/86.46	o 1201
85.12/86.47	o 1200
85.12/86.48	o 1198
85.12/86.49	o 1197
85.21/86.50	o 1196
85.21/86.51	o 1195
85.21/86.51	o 1193
85.21/86.52	o 1192
85.21/86.53	o 1190
85.21/86.54	o 1188
85.21/86.56	o 1183
85.21/86.56	o 1182
85.21/86.57	o 1181
85.21/86.58	o 1179
85.21/86.59	o 1178
85.21/86.60	o 1177
85.31/86.61	o 1176
85.31/86.62	o 1175
85.31/86.62	o 1174
85.31/86.63	o 1173
85.31/86.64	o 1171
85.31/86.65	o 1169
85.31/86.67	o 1168
85.31/86.67	o 1167
85.31/86.69	o 1166
85.41/86.71	o 1165
85.41/86.71	o 1163
85.41/86.72	o 1162
85.41/86.73	o 1161
85.41/86.74	o 1159
85.41/86.74	o 1158
85.41/86.76	o 1157
85.41/86.76	o 1156
85.41/86.78	o 1155
85.41/86.79	o 1154
85.52/86.80	o 1153
85.52/86.82	o 1152
85.52/86.82	o 1151
85.52/86.84	o 1149
85.52/86.85	o 1148
85.52/86.87	o 1147
85.52/86.87	o 1145
85.52/86.88	o 1144
85.52/86.90	o 1143
85.62/86.91	o 1142
85.62/86.92	o 1141
85.62/86.92	o 1139
85.62/86.93	o 1138
85.62/86.94	o 1137
85.62/86.97	o 1136
85.62/86.98	o 1134
85.62/87.00	o 1133
85.62/87.00	o 1131
85.72/87.01	o 1129
85.72/87.02	o 1128
85.72/87.03	o 1127
85.72/87.04	o 1125
85.72/87.06	o 1123
85.72/87.07	o 1121
85.72/87.08	o 1119
85.72/87.08	o 1117
85.72/87.10	o 1116
85.81/87.10	o 1115
85.81/87.11	o 1114
85.81/87.12	o 1112
85.81/87.13	o 1111
85.81/87.14	o 1110
85.81/87.15	o 1109
85.81/87.17	o 1107
85.81/87.19	o 1106
85.91/87.20	o 1105
85.91/87.21	o 1104
85.91/87.22	o 1103
85.91/87.22	o 1102
85.91/87.24	o 1101
85.91/87.24	o 1100
85.91/87.26	o 1099
85.91/87.27	o 1097
85.91/87.27	o 1096
85.91/87.28	o 1095
85.91/87.29	o 1094
85.91/87.30	o 1093
86.00/87.31	o 1092
86.00/87.32	o 1090
86.00/87.33	o 1089
86.00/87.33	o 1087
86.00/87.34	o 1086
86.00/87.35	o 1085
86.00/87.36	o 1084
86.00/87.38	o 1082
86.00/87.39	o 1081
86.00/87.39	o 1080
86.10/87.40	o 1078
86.10/87.41	o 1076
86.10/87.42	o 1074
86.10/87.42	o 1073
86.10/87.43	o 1072
86.10/87.44	o 1070
86.10/87.45	o 1068
86.10/87.45	o 1067
86.10/87.46	o 1066
86.10/87.47	o 1065
86.10/87.48	o 1064
86.10/87.49	o 1063
86.21/87.51	o 1062
86.21/87.52	o 1061
86.21/87.53	o 1060
86.21/87.53	o 1059
86.21/87.55	o 1058
86.21/87.55	o 1057
86.21/87.56	o 1056
86.21/87.57	o 1054
86.21/87.58	o 1053
86.21/87.59	o 1052
86.21/87.60	o 1051
86.30/87.61	o 1050
86.30/87.62	o 1048
86.30/87.63	o 1047
86.30/87.64	o 1046
86.30/87.65	o 1045
86.30/87.66	o 1044
86.30/87.67	o 1043
86.30/87.68	o 1042
86.30/87.69	o 1041
86.40/87.70	o 1040
86.40/87.71	o 1039
86.40/87.72	o 1038
86.40/87.74	o 1037
86.40/87.74	o 1036
86.40/87.77	o 1035
86.40/87.78	o 1033
86.40/87.79	o 1032
86.51/87.80	o 1031
86.51/87.81	o 1030
86.51/87.82	o 1029
86.51/87.84	o 1028
86.51/87.85	o 1027
86.51/87.86	o 1026
86.51/87.87	o 1025
86.51/87.88	o 1023
86.51/87.89	o 1022
86.60/87.90	o 1021
86.60/87.92	o 1019
86.60/87.93	o 1018
86.60/87.93	o 1017
86.60/87.94	o 1016
86.60/87.95	o 1015
86.60/87.96	o 1014
86.60/87.96	o 1013
86.60/87.97	o 1012
86.60/87.98	o 1011
86.60/87.99	o 1010
86.60/87.99	o 1009
86.70/88.00	o 1008
86.70/88.02	o 1007
86.70/88.03	o 1006
86.70/88.04	o 1005
86.70/88.05	o 1004
86.70/88.06	o 1003
86.70/88.07	o 1002
86.70/88.08	o 1001
86.70/88.09	o 1000
86.70/88.10	o 999
86.80/88.11	o 998
86.80/88.12	o 997
86.80/88.13	o 996
86.80/88.14	o 995
86.80/88.17	o 993
86.80/88.18	o 991
86.90/88.20	o 990
86.90/88.21	o 989
86.90/88.22	o 987
86.90/88.23	o 986
86.90/88.24	o 985
86.90/88.25	o 984
86.90/88.25	o 982
86.90/88.27	o 981
86.90/88.28	o 980
86.90/88.29	o 979
87.00/88.30	o 977
87.00/88.31	o 976
87.00/88.32	o 975
87.00/88.33	o 973
87.00/88.34	o 971
87.00/88.35	o 970
87.00/88.36	o 969
87.00/88.37	o 968
87.00/88.38	o 967
87.00/88.39	o 965
87.00/88.40	o 964
87.10/88.40	o 963
87.10/88.42	o 962
87.10/88.43	o 961
87.10/88.43	o 960
87.10/88.44	o 959
87.10/88.45	o 958
87.10/88.46	o 957
87.10/88.47	o 956
87.10/88.47	o 955
87.20/88.51	o 954
87.20/88.52	o 953
87.20/88.53	o 951
87.20/88.54	o 950
87.20/88.54	o 949
87.20/88.55	o 948
87.20/88.57	o 947
87.20/88.59	o 946
87.20/88.59	o 944
87.30/88.60	o 943
87.30/88.61	o 941
87.30/88.62	o 940
87.30/88.63	o 939
87.30/88.64	o 938
87.30/88.65	o 937
87.30/88.65	o 936
87.30/88.66	o 935
87.30/88.67	o 934
87.30/88.68	o 933
87.30/88.69	o 932
87.30/88.70	o 931
87.40/88.70	o 930
87.40/88.71	o 929
87.40/88.72	o 928
87.40/88.73	o 927
87.40/88.74	o 926
87.40/88.75	o 925
87.40/88.76	o 924
87.40/88.77	o 923
87.40/88.77	o 922
87.40/88.78	o 921
87.40/88.79	o 920
87.49/88.80	o 919
87.49/88.81	o 918
87.49/88.81	o 917
87.49/88.82	o 915
87.49/88.84	o 914
87.49/88.85	o 913
87.49/88.87	o 912
87.49/88.88	o 911
87.49/88.89	o 909
87.59/88.90	o 908
87.59/88.92	o 907
87.59/88.93	o 906
87.59/88.94	o 905
87.59/88.96	o 904
87.59/88.97	o 903
87.59/88.98	o 902
87.59/88.99	o 901
87.69/89.00	o 900
87.69/89.01	o 899
87.69/89.02	o 898
87.69/89.03	o 897
87.69/89.04	o 896
87.69/89.05	o 895
87.69/89.06	o 894
87.69/89.06	o 888
87.69/89.07	o 887
87.69/89.08	o 886
87.69/89.09	o 885
87.69/89.10	o 884
87.80/89.10	o 883
87.80/89.11	o 882
87.80/89.13	o 881
87.80/89.13	o 880
87.80/89.14	o 879
87.80/89.15	o 878
87.80/89.16	o 876
87.80/89.17	o 875
87.80/89.18	o 874
87.80/89.19	o 873
87.80/89.20	o 872
87.90/89.21	o 871
87.90/89.22	o 870
87.90/89.22	o 869
87.90/89.23	o 868
87.90/89.24	o 867
87.90/89.25	o 866
87.90/89.26	o 865
87.90/89.27	o 864
87.90/89.28	o 862
87.90/89.29	o 861
87.90/89.30	o 860
87.99/89.30	o 859
87.99/89.31	o 858
87.99/89.32	o 857
87.99/89.33	o 856
87.99/89.34	o 855
87.99/89.35	o 853
87.99/89.36	o 852
87.99/89.37	o 851
87.99/89.37	o 850
87.99/89.38	o 848
87.99/89.39	o 847
88.09/89.40	o 846
88.09/89.41	o 845
88.09/89.41	o 844
88.09/89.42	o 843
88.09/89.43	o 841
88.09/89.44	o 839
88.09/89.45	o 837
88.09/89.45	o 836
88.09/89.46	o 834
88.09/89.47	o 832
88.09/89.48	o 831
88.09/89.49	o 829
88.19/89.50	o 828
88.19/89.51	o 827
88.19/89.52	o 826
88.19/89.53	o 825
88.19/89.54	o 824
88.19/89.54	o 823
88.19/89.55	o 822
88.19/89.56	o 821
88.19/89.57	o 820
88.19/89.58	o 818
88.28/89.60	o 817
88.28/89.61	o 816
88.28/89.62	o 815
88.28/89.63	o 812
88.28/89.64	o 811
88.28/89.64	o 810
88.28/89.65	o 809
88.28/89.66	o 808
88.28/89.67	o 807
88.28/89.68	o 806
88.28/89.69	o 805
88.28/89.69	o 804
88.39/89.70	o 803
88.39/89.71	o 802
88.39/89.72	o 800
88.39/89.73	o 798
88.39/89.74	o 797
88.39/89.75	o 796
88.39/89.75	o 795
88.39/89.76	o 793
88.39/89.79	o 792
88.39/89.79	o 791
88.49/89.80	o 790
88.49/89.81	o 789
88.49/89.82	o 788
88.49/89.83	o 787
88.49/89.83	o 786
88.49/89.84	o 785
88.49/89.85	o 784
88.49/89.86	o 783
88.49/89.86	o 782
88.49/89.88	o 781
88.49/89.89	o 780
88.49/89.90	o 779
88.59/89.90	o 778
88.59/89.91	o 777
88.59/89.92	o 776
88.59/89.93	o 774
88.59/89.94	o 773
88.59/89.95	o 772
88.59/89.96	o 771
88.59/89.97	o 770
88.59/89.97	o 769
88.59/89.98	o 768
88.59/89.99	o 767
88.68/90.00	o 766
88.68/90.01	o 765
88.68/90.02	o 764
88.68/90.03	o 763
88.68/90.04	o 762
88.68/90.05	o 761
88.68/90.06	o 760
88.68/90.06	o 759
88.68/90.08	o 758
88.68/90.08	o 757
88.68/90.09	o 756
88.78/90.10	o 755
88.78/90.11	o 754
88.78/90.12	o 753
88.78/90.13	o 752
88.78/90.14	o 751
88.78/90.15	o 750
88.78/90.15	o 749
88.78/90.16	o 748
88.78/90.18	o 747
88.78/90.19	o 746
88.78/90.20	o 745
88.88/90.22	o 744
88.88/90.23	o 743
88.88/90.24	o 742
88.88/90.24	o 741
88.88/90.25	o 740
88.88/90.26	o 739
88.88/90.27	o 738
88.88/90.28	o 737
88.88/90.28	o 736
88.88/90.29	o 735
88.88/90.30	o 734
88.99/90.31	o 733
88.99/90.32	o 732
88.99/90.33	o 731
88.99/90.33	o 730
88.99/90.34	o 729
88.99/90.35	o 728
88.99/90.36	o 727
88.99/90.38	o 726
88.99/90.39	o 725
88.99/90.40	o 724
89.08/90.40	o 723
89.08/90.41	o 722
89.08/90.42	o 721
89.08/90.43	o 720
89.08/90.43	o 719
89.08/90.44	o 718
89.08/90.45	o 715
89.08/90.45	o 714
89.08/90.46	o 713
89.08/90.47	o 712
89.08/90.48	o 711
89.08/90.49	o 710
89.18/90.50	o 709
89.18/90.51	o 708
89.18/90.51	o 707
89.18/90.52	o 706
89.18/90.53	o 705
89.18/90.54	o 704
89.18/90.54	o 703
89.18/90.55	o 702
89.18/90.56	o 701
89.18/90.57	o 700
89.18/90.57	o 699
89.18/90.58	o 698
89.18/90.59	o 697
89.18/90.59	o 696
89.28/90.60	o 695
89.28/90.61	o 694
89.28/90.62	o 693
89.28/90.62	o 692
89.28/90.63	o 691
89.28/90.64	o 690
89.28/90.65	o 689
89.28/90.66	o 688
89.28/90.66	o 687
89.28/90.67	o 686
89.28/90.68	o 685
89.28/90.69	o 684
89.28/90.69	o 683
89.37/90.70	o 682
89.37/90.71	o 681
89.37/90.72	o 680
89.37/90.73	o 679
89.37/90.74	o 678
89.37/90.75	o 677
89.37/90.76	o 676
89.37/90.76	o 675
89.37/90.77	o 674
89.37/90.78	o 672
89.37/90.78	o 671
89.37/90.79	o 670
89.47/90.80	o 669
89.47/90.81	o 668
89.47/90.81	o 667
89.47/90.82	o 666
89.47/90.83	o 665
89.47/90.84	o 664
89.47/90.84	o 663
89.47/90.85	o 662
89.47/90.86	o 661
89.47/90.86	o 660
89.47/90.87	o 659
89.47/90.88	o 658
89.47/90.89	o 657
89.47/90.89	o 656
89.58/90.90	o 655
89.58/90.91	o 654
89.58/90.92	o 653
89.58/90.92	o 652
89.58/90.93	o 651
89.58/90.94	o 650
89.58/90.95	o 649
89.58/90.95	o 648
89.58/90.96	o 647
89.58/90.97	o 646
89.58/90.97	o 645
89.58/90.98	o 644
89.58/90.99	o 643
89.58/91.00	o 642
89.67/91.00	o 641
89.67/91.01	o 640
89.67/91.02	o 639
89.67/91.03	o 638
89.67/91.03	o 637
89.67/91.04	o 636
89.67/91.05	o 635
89.67/91.06	o 634
89.67/91.07	o 633
89.67/91.07	o 632
89.67/91.08	o 631
89.67/91.09	o 630
89.67/91.09	o 629
89.77/91.10	o 628
89.77/91.11	o 627
89.77/91.12	o 626
89.77/91.12	o 625
89.77/91.13	o 624
89.77/91.14	o 623
89.77/91.15	o 622
89.77/91.16	o 621
89.77/91.16	o 620
89.77/91.17	o 619
89.77/91.18	o 618
89.77/91.19	o 617
89.77/91.19	o 616
89.87/91.20	o 615
89.87/91.21	o 614
89.87/91.21	o 613
89.87/91.22	o 612
89.87/91.23	o 611
89.87/91.24	o 610
89.87/91.24	o 609
89.87/91.25	o 608
89.87/91.26	o 607
89.87/91.27	o 606
89.87/91.27	o 605
89.87/91.28	o 604
89.87/91.29	o 603
89.87/91.29	o 602
89.97/91.30	o 601
89.97/91.31	o 600
89.97/91.32	o 599
89.97/91.33	o 598
89.97/91.33	o 597
89.97/91.34	o 596
89.97/91.35	o 595
89.97/91.35	o 594
89.97/91.36	o 593
89.97/91.37	o 592
89.97/91.38	o 591
89.97/91.38	o 589
89.97/91.39	o 588
89.97/91.40	o 587
89.97/91.40	o 586
90.08/91.41	o 585
90.08/91.42	o 584
90.08/91.43	o 583
90.08/91.43	o 582
90.08/91.44	o 581
90.08/91.45	o 580
90.08/91.46	o 579
90.08/91.47	o 578
90.08/91.47	o 577
90.08/91.48	o 576
90.08/91.49	o 575
90.08/91.49	o 573
90.17/91.50	o 572
90.17/91.51	o 571
90.17/91.52	o 570
90.17/91.52	o 569
90.17/91.53	o 568
90.17/91.54	o 567
90.17/91.55	o 566
90.17/91.55	o 565
90.17/91.56	o 564
90.17/91.57	o 563
90.17/91.57	o 562
90.17/91.58	o 561
90.17/91.59	o 560
90.17/91.60	o 559
90.26/91.60	o 558
90.26/91.61	o 557
90.26/91.62	o 556
90.26/91.63	o 555
90.26/91.64	o 554
90.26/91.65	o 553
90.26/91.65	o 552
90.26/91.66	o 551
90.26/91.68	o 550
90.26/91.68	o 549
90.26/91.69	o 548
90.37/91.70	o 547
90.37/91.70	o 546
90.37/91.71	o 545
90.37/91.72	o 544
90.37/91.73	o 543
90.37/91.74	o 542
90.37/91.75	o 541
90.37/91.76	o 540
90.37/91.76	o 539
90.37/91.78	o 538
90.37/91.79	o 537
90.46/91.80	o 536
90.46/91.83	o 535
90.46/91.84	o 534
90.46/91.85	o 533
90.46/91.86	o 532
90.46/91.87	o 530
90.46/91.87	o 529
90.46/91.88	o 528
90.56/91.91	o 527
90.56/91.91	o 526
90.56/91.92	o 525
90.56/91.93	o 524
90.56/91.94	o 523
90.56/91.95	o 522
90.56/91.96	o 521
90.56/91.97	o 520
90.56/91.99	o 519
90.66/92.00	o 518
90.66/92.01	o 517
90.66/92.03	o 516
90.66/92.04	o 515
90.66/92.06	o 514
90.66/92.07	o 513
90.66/92.09	o 512
90.76/92.10	o 511
90.76/92.10	o 510
90.76/92.11	o 509
90.76/92.12	o 508
90.76/92.13	o 507
90.76/92.14	o 506
90.76/92.14	o 505
90.76/92.15	o 504
90.76/92.16	o 503
90.76/92.17	o 502
90.76/92.18	o 501
90.76/92.19	o 500
90.76/92.20	o 499
90.86/92.21	o 498
90.86/92.22	o 497
90.86/92.22	o 496
90.86/92.23	o 495
90.86/92.24	o 494
90.86/92.25	o 493
90.86/92.25	o 492
90.86/92.26	o 491
90.86/92.27	o 490
90.86/92.28	o 489
90.86/92.29	o 488
90.96/92.30	o 487
90.96/92.31	o 486
90.96/92.32	o 485
90.96/92.33	o 484
90.96/92.34	o 483
90.96/92.36	o 482
90.96/92.37	o 481
90.96/92.38	o 480
90.96/92.39	o 479
91.06/92.40	o 478
91.06/92.41	o 477
91.06/92.42	o 476
91.06/92.43	o 475
91.06/92.44	o 474
91.06/92.44	o 473
91.06/92.45	o 472
91.06/92.46	o 471
91.06/92.48	o 470
91.06/92.49	o 469
91.06/92.50	o 468
91.06/92.50	o 467
91.16/92.52	o 466
91.16/92.54	o 465
91.16/92.55	o 464
91.16/92.56	o 463
91.16/92.57	o 462
91.16/92.58	o 461
91.16/92.59	o 460
91.16/92.60	o 459
91.25/92.60	o 458
91.25/92.61	o 457
91.25/92.63	o 456
91.25/92.64	o 455
91.25/92.66	o 454
91.25/92.67	o 453
91.25/92.67	o 452
91.25/92.68	o 451
91.25/92.69	o 450
91.35/92.70	o 449
91.35/92.71	o 448
91.35/92.72	o 447
91.35/92.74	o 446
91.35/92.75	o 445
91.35/92.76	o 444
91.35/92.77	o 443
91.35/92.78	o 442
91.35/92.79	o 440
91.35/92.79	o 439
91.46/92.80	o 438
91.46/92.81	o 437
91.46/92.83	o 436
91.46/92.84	o 435
91.46/92.85	o 434
91.46/92.85	o 433
91.46/92.86	o 432
91.46/92.87	o 431
91.46/92.88	o 429
91.46/92.88	o 428
91.55/92.90	o 427
91.55/92.91	o 426
91.55/92.92	o 425
91.55/92.95	o 424
91.55/92.96	o 423
91.55/92.97	o 422
91.55/92.97	o 421
91.55/92.98	o 420
91.55/92.99	o 419
91.55/93.00	o 418
91.65/93.00	o 417
91.65/93.01	o 416
91.65/93.02	o 415
91.65/93.02	o 414
91.65/93.03	o 413
91.65/93.06	o 412
91.65/93.07	o 411
91.65/93.08	o 410
91.65/93.09	o 409
91.65/93.09	o 408
91.75/93.10	o 407
91.75/93.11	o 406
91.75/93.12	o 405
91.75/93.14	o 404
91.75/93.14	o 403
91.75/93.15	o 402
91.75/93.16	o 401
91.75/93.16	o 400
91.75/93.17	o 399
91.75/93.18	o 398
91.75/93.19	o 397
91.85/93.20	o 396
91.85/93.21	o 395
91.85/93.22	o 394
91.85/93.25	o 393
91.85/93.26	o 392
91.85/93.27	o 391
91.85/93.27	o 390
91.85/93.28	o 389
91.85/93.29	o 388
91.95/93.31	o 387
91.95/93.32	o 386
91.95/93.34	o 385
91.95/93.35	o 384
91.95/93.35	o 383
91.95/93.37	o 382
91.95/93.37	o 381
91.95/93.38	o 380
91.95/93.39	o 379
92.05/93.40	o 378
92.05/93.41	o 377
92.05/93.42	o 376
92.05/93.43	o 375
92.05/93.44	o 374
92.05/93.44	o 373
92.05/93.45	o 372
92.05/93.46	o 371
92.05/93.46	o 370
92.05/93.47	o 369
92.05/93.48	o 368
92.05/93.49	o 367
92.05/93.49	o 366
92.15/93.51	o 365
92.15/93.51	o 364
92.15/93.52	o 363
92.15/93.53	o 362
92.15/93.54	o 361
92.15/93.54	o 360
92.15/93.55	o 359
92.15/93.56	o 358
92.15/93.56	o 357
92.15/93.57	o 356
92.15/93.58	o 355
92.15/93.59	o 354
92.15/93.60	o 353
92.15/93.60	o 352
92.25/93.61	o 351
92.25/93.63	o 350
92.25/93.64	o 349
92.25/93.65	o 348
92.25/93.65	o 347
92.25/93.66	o 346
92.25/93.67	o 345
92.25/93.68	o 344
92.25/93.69	o 343
92.25/93.70	o 342
92.34/93.72	o 341
92.34/93.73	o 340
92.34/93.78	o 339
92.34/93.79	o 338
92.45/93.80	o 337
92.45/93.81	o 336
92.45/93.82	o 335
92.45/93.83	o 334
92.45/93.84	o 333
92.45/93.84	o 332
92.45/93.85	o 331
92.45/93.86	o 330
92.45/93.86	o 329
92.45/93.87	o 328
92.45/93.88	o 327
92.45/93.89	o 326
92.45/93.90	o 325
92.55/93.90	o 324
92.55/93.92	o 323
92.55/93.92	o 322
92.55/93.94	o 321
92.55/93.95	o 320
92.55/93.96	o 319
92.55/93.98	o 318
92.55/93.99	o 317
92.55/93.99	o 316
92.65/94.00	o 315
92.65/94.01	o 314
92.65/94.02	o 313
92.65/94.03	o 312
92.65/94.04	o 311
92.65/94.08	o 310
92.65/94.09	o 309
92.74/94.15	o 308
92.74/94.16	o 307
92.74/94.17	o 306
92.74/94.18	o 305
92.74/94.19	o 304
92.84/94.20	o 303
92.84/94.21	o 302
92.84/94.22	o 301
92.84/94.23	o 300
92.84/94.24	o 299
92.84/94.25	o 298
92.84/94.25	o 297
92.84/94.26	o 296
92.84/94.27	o 295
92.84/94.28	o 294
92.84/94.29	o 293
92.95/94.30	o 292
92.95/94.32	o 291
92.95/94.33	o 290
92.95/94.34	o 289
92.95/94.35	o 288
92.95/94.36	o 287
92.95/94.37	o 286
92.95/94.38	o 285
92.95/94.39	o 284
92.95/94.40	o 283
93.04/94.40	o 282
93.04/94.41	o 281
93.04/94.43	o 280
93.04/94.44	o 279
93.04/94.45	o 278
93.14/94.54	o 277
93.14/94.59	o 276
93.24/94.64	o 275
93.24/94.67	o 274
93.35/94.72	o 273
93.54/94.90	o 272
93.54/94.96	o 271
93.54/94.97	o 270
93.54/94.98	o 269
93.64/95.03	o 268
93.64/95.07	o 267
93.74/95.18	o 266
93.94/95.36	o 265
93.94/95.38	o 264
94.24/95.66	o 263
94.34/95.78	o 262
94.34/95.79	o 261
94.54/95.93	o 260
94.64/96.09	o 259
94.74/96.18	o 258
94.74/96.18	o 257
94.83/96.26	o 256
95.03/96.47	o 255
95.03/96.48	o 254
95.13/96.51	o 253
95.23/96.63	o 252
95.33/96.75	o 251
95.33/96.77	o 250
95.33/96.77	o 249
95.44/96.85	o 248
95.54/96.99	o 247
95.63/97.00	o 246
95.63/97.03	o 245
95.93/97.33	o 244
95.93/97.36	o 243
95.93/97.39	o 242
96.23/97.62	o 241
96.33/97.76	o 240
96.43/97.83	o 239
96.53/97.97	o 238
96.53/97.99	o 237
96.64/98.06	o 236
96.74/98.19	o 235
96.83/98.20	o 234
96.83/98.21	o 233
96.83/98.26	o 232
96.83/98.27	o 231
96.93/98.30	o 229
96.93/98.39	o 228
97.04/98.50	o 227
97.13/98.57	o 225
97.13/98.58	o 224
97.13/98.59	o 223
97.23/98.67	o 222
97.33/98.79	o 221
97.44/98.81	o 220
97.63/99.09	o 219
97.63/99.10	o 218
97.73/99.12	o 217
97.73/99.13	o 216
97.73/99.15	o 215
97.73/99.18	o 214
97.83/99.23	o 213
97.83/99.24	o 212
98.03/99.46	o 211
98.03/99.47	o 210
98.03/99.48	o 209
98.13/99.50	o 208
98.13/99.51	o 207
98.13/99.54	o 206
98.13/99.55	o 205
98.23/99.61	o 204
98.23/99.67	o 203
98.23/99.69	o 202
98.33/99.70	o 201
98.33/99.71	o 200
98.33/99.74	o 199
98.43/99.86	o 197
98.43/99.87	o 196
98.43/99.89	o 195
98.53/99.98	o 194
98.53/99.99	o 193
98.53/99.99	o 192
98.62/100.00	o 191
98.62/100.01	o 190
98.62/100.01	o 189
98.62/100.02	o 188
98.62/100.03	o 187
98.62/100.04	o 186
98.62/100.04	o 185
98.62/100.05	o 184
98.62/100.06	o 183
98.62/100.06	o 182
98.62/100.07	o 181
98.62/100.08	o 180
98.62/100.09	o 179
98.73/100.11	o 178
98.73/100.14	o 177
98.73/100.15	o 176
98.73/100.18	o 175
98.73/100.19	o 174
98.83/100.21	o 173
98.92/100.31	o 172
99.03/100.40	o 171
99.03/100.42	o 170
99.12/100.58	o 169
99.22/100.63	o 168
99.22/100.64	o 167
99.33/100.74	o 166
99.33/100.75	o 165
99.33/100.76	o 164
99.33/100.77	o 163
99.42/100.81	o 162
99.62/101.08	o 161
99.62/101.09	o 160
99.73/101.10	o 159
99.83/101.27	   
99.83/101.27	   search
99.83/101.27	     run=0  nbConstraintChecks=357190652  nbAssignments=10000
99.83/101.27	       =>  wckTime=99.649  cpuTime=98.35  mem=23M234
99.93/101.34	o 158
99.93/101.35	o 157
99.93/101.39	o 156
100.13/101.53	o 155
100.33/101.77	o 154
100.42/101.84	o 153
100.52/101.95	o 152
100.52/101.99	o 151
100.62/102.05	o 150
100.73/102.11	o 149
100.73/102.14	o 148
100.73/102.15	o 147
100.82/102.21	o 146
101.12/102.57	o 145
101.32/102.73	o 144
101.42/102.86	o 143
101.42/102.88	o 142
101.42/102.89	o 141
101.52/102.92	o 140
101.52/102.93	o 139
101.72/103.15	o 138
101.82/103.21	o 137
102.13/103.55	o 135
102.62/104.02	o 134
102.62/104.09	o 133
102.92/104.31	o 132
102.92/104.33	o 131
103.12/104.56	o 130
103.12/104.57	o 129
103.12/104.57	o 128
103.12/104.58	o 127
103.22/104.65	o 126
103.22/104.69	o 125
103.42/104.81	o 123
103.52/104.90	o 122
104.02/105.43	o 121
104.02/105.44	o 120
104.12/105.57	o 119
104.32/105.77	o 118
104.42/105.86	o 117
104.42/105.88	o 116
104.51/105.93	o 115
105.11/106.54	o 114
105.21/106.68	o 113
105.31/106.74	o 112
105.51/106.93	o 111
105.82/107.22	o 110
106.21/107.61	o 109
106.21/107.68	o 108
106.32/107.70	o 107
106.42/107.83	o 106
106.42/107.89	o 104
106.52/107.93	o 103
106.71/108.17	o 100
107.21/108.67	o 99
107.21/108.68	o 98
107.31/108.75	o 97
107.71/109.11	o 96
107.71/109.12	o 95
107.81/109.20	o 94
107.81/109.28	o 93
108.11/109.53	o 92
108.21/109.65	o 91
108.72/110.13	o 90
108.82/110.24	o 89
109.11/110.55	o 88
109.31/110.75	o 87
109.51/110.94	o 86
109.61/111.08	o 85
109.61/111.08	o 84
109.91/111.39	o 83
110.11/111.55	o 82
110.31/111.79	o 81
110.41/111.81	o 80
110.71/112.15	o 79
111.71/113.11	o 78
112.11/113.59	o 77
112.31/113.74	o 76
112.41/113.82	o 75
112.60/114.03	o 74
113.30/114.70	o 72
114.00/115.45	   
114.00/115.45	   search
114.00/115.45	     run=1  nbConstraintChecks=426870835  nbAssignments=20000
114.00/115.45	       =>  wckTime=113.836  cpuTime=112.52  mem=23M234
114.00/115.47	o 71
116.60/118.07	o 70
116.60/118.07	o 69
116.60/118.09	o 68
117.41/118.87	o 67
117.41/118.88	o 66
117.51/118.98	o 64
117.70/119.14	o 63
117.81/119.21	o 60
117.81/119.21	o 59
117.81/119.23	o 54
117.81/119.24	o 53
117.81/119.24	o 52
117.81/119.25	o 51
118.11/119.57	o 49
118.11/119.59	o 48
118.31/119.70	o 46
118.31/119.70	o 45
118.90/120.38	o 44
119.01/120.40	o 43
119.01/120.41	o 42
119.61/121.01	o 41
119.61/121.02	o 40
119.61/121.03	o 39
119.90/121.30	o 38
120.10/121.54	o 37
120.10/121.54	o 36
123.01/124.43	o 35
123.01/124.47	o 34
123.40/124.87	o 33
123.60/125.05	   
123.60/125.05	   search
123.60/125.05	     run=2  nbConstraintChecks=477518513  nbAssignments=30000
123.60/125.05	       =>  wckTime=123.438  cpuTime=122.11  mem=23M234
123.70/125.15	o 32
123.70/125.17	o 31
124.60/126.07	o 30
125.00/126.41	o 29
125.00/126.42	o 28
126.70/128.14	o 27
126.80/128.24	o 26
127.00/128.48	o 25
130.80/132.29	   
130.80/132.29	   search
130.80/132.29	     run=3  nbConstraintChecks=515945868  nbAssignments=40000
130.80/132.29	       =>  wckTime=130.669  cpuTime=129.34  mem=23M234
131.50/132.91	o 24
138.40/139.86	   
138.40/139.86	   search
138.40/139.86	     run=4  nbConstraintChecks=556266780  nbAssignments=50000
138.40/139.86	       =>  wckTime=138.246  cpuTime=136.92  mem=23M234
145.59/147.00	   
145.59/147.00	   search
145.59/147.00	     run=5  nbConstraintChecks=594235010  nbAssignments=60000
145.59/147.00	       =>  wckTime=145.383  cpuTime=144.05  mem=23M234
149.18/150.70	o 23
153.09/154.50	   
153.09/154.50	   search
153.09/154.50	     run=6  nbConstraintChecks=634117409  nbAssignments=70000
153.09/154.50	       =>  wckTime=152.888  cpuTime=151.54  mem=23M234
159.69/161.17	   
159.69/161.17	   search
159.69/161.17	     run=7  nbConstraintChecks=669714962  nbAssignments=80000
159.69/161.17	       =>  wckTime=159.558  cpuTime=158.22  mem=23M234
167.18/168.69	   
167.18/168.69	   search
167.18/168.69	     run=8  nbConstraintChecks=709427761  nbAssignments=90000
167.18/168.69	       =>  wckTime=167.078  cpuTime=165.73  mem=23M234
173.78/175.25	   
173.78/175.25	   search
173.78/175.25	     run=9  nbConstraintChecks=744523368  nbAssignments=100000
173.78/175.25	       =>  wckTime=173.634  cpuTime=172.28  mem=23M234
179.28/180.73	   
179.28/180.73	   search
179.28/180.73	     run=10  nbConstraintChecks=773214125  nbAssignments=107383
179.28/180.73	       =>  wckTime=179.111  cpuTime=177.76  mem=23M234
179.28/180.73	   
179.28/180.73	   global
179.28/180.73	     nbConstraintChecks=773214125  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
179.28/180.73	     solvingWckTime=179.099  solvingCpuTime=177.75  expiredTime=no  totalExploration=no  nbFoundSolutions=0
179.28/180.73	     globalCpuTime=178.56
179.28/180.73	       =>  wckTime=180.363  cpuTime=178.52  mem=23M234
179.28/180.73	   
179.28/180.73	   solver DecomposerSolver being built... 
183.57/185.06	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127186-1216188205/watcher-1127186-1216188205 -o /tmp/evaluation-result-1127186-1216188205/solver-1127186-1216188205 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1127186-1216188205.xml 

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): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved

[startup+0 s]
/proc/loadavg: 2.21 2.22 2.18 3/81 3326
/proc/meminfo: memFree=1898904/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=18572 CPUtime=0
/proc/3326/stat : 3326 (runsolver) R 3324 32351 32351 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 1 0 75523333 19017728 290 996147200 4194304 4296836 548682068336 18446744073709551615 215621182049 0 0 4096 24578 0 0 0 17 1 0 0
/proc/3326/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.107342 s]
/proc/loadavg: 2.21 2.22 2.18 3/81 3326
/proc/meminfo: memFree=1898904/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=861880 CPUtime=0.01
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 1899 0 1 0 0 1 0 0 18 0 5 0 75523333 882565120 1584 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 215470 1584 703 9 0 210449 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861880

[startup+0.202353 s]
/proc/loadavg: 2.21 2.22 2.18 3/81 3326
/proc/meminfo: memFree=1898904/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=865984 CPUtime=0.1
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 3915 0 1 0 8 2 0 0 18 0 9 0 75523333 886767616 3356 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 216496 3356 1759 9 0 211051 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865984

[startup+0.302364 s]
/proc/loadavg: 2.21 2.22 2.18 3/81 3326
/proc/meminfo: memFree=1898904/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=866012 CPUtime=0.19
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 4524 0 3 0 16 3 0 0 18 0 9 0 75523333 886796288 3957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 216503 3957 1856 9 0 211051 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866012

[startup+0.701413 s]
/proc/loadavg: 2.21 2.22 2.18 3/81 3326
/proc/meminfo: memFree=1898904/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868356 CPUtime=0.58
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 8284 0 4 0 52 6 0 0 18 0 9 0 75523333 889196544 7658 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217089 7658 1972 9 0 211617 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 868356

[startup+1.50251 s]
/proc/loadavg: 2.21 2.22 2.18 4/90 3335
/proc/meminfo: memFree=1831696/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868636 CPUtime=1.36
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 20860 0 4 0 123 13 0 0 18 0 9 0 75523333 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217159 20039 2613 9 0 211687 0
[pid=3326/tid=3328] ppid=3324 vsize=868636 CPUtime=0.92
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15738 0 3 0 82 10 0 0 24 0 9 0 75523337 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868636 CPUtime=0.21
/proc/3326/task/3329/stat : 3329 (java) R 3324 3326 32351 0 -1 64 3788 0 0 0 20 1 0 0 17 0 9 0 75523343 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 102731890 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 75523344 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868636 CPUtime=0.2
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 637 0 1 0 20 0 0 0 16 0 9 0 75523346 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889483264 20039 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 868636

[startup+3.1017 s]
/proc/loadavg: 2.19 2.22 2.18 3/90 3335
/proc/meminfo: memFree=1815952/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=2.94
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23607 0 4 0 278 16 0 0 18 0 9 0 75523333 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22783 2638 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=2.4
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15778 0 3 0 228 12 0 0 25 0 9 0 75523337 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4127013620 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868632 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 17 0 9 0 75523343 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.23
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 658 0 1 0 23 0 0 0 15 0 9 0 75523346 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 868632

[startup+6.30207 s]
/proc/loadavg: 2.19 2.22 2.18 3/90 3335
/proc/meminfo: memFree=1815888/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=6.11
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23608 0 4 0 590 21 0 0 18 0 9 0 75523333 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22783 2638 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=5.57
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15779 0 3 0 541 16 0 0 25 0 9 0 75523337 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4126989075 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868632 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 16 0 9 0 75523343 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.23
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 658 0 1 0 23 0 0 0 16 0 9 0 75523346 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889479168 22783 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 868632

[startup+12.7018 s]
/proc/loadavg: 2.16 2.21 2.17 3/90 3335
/proc/meminfo: memFree=1815952/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=12.43
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23610 0 4 0 1217 26 0 0 18 0 9 0 75523333 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22784 2638 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=11.88
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15780 0 3 0 1167 21 0 0 25 0 9 0 75523337 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4126984819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868632 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 16 0 9 0 75523343 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.23
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 659 0 1 0 23 0 0 0 16 0 9 0 75523346 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889479168 22784 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 868632

[startup+25.5023 s]
/proc/loadavg: 2.14 2.20 2.17 3/90 3335
/proc/meminfo: memFree=1816144/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=25.05
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23622 0 4 0 2469 36 0 0 18 0 9 0 75523333 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22794 2638 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=24.48
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15782 0 3 0 2417 31 0 0 25 0 9 0 75523337 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4127009001 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868632 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 16 0 9 0 75523343 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.26
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 669 0 1 0 26 0 0 0 16 0 9 0 75523346 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889479168 22794 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 868632

[startup+51.1023 s]
/proc/loadavg: 2.09 2.18 2.17 3/90 3335
/proc/meminfo: memFree=1816144/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=50.26
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23625 0 4 0 4970 56 0 0 18 0 9 0 75523333 889479168 22797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22797 2638 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=49.69
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15782 0 3 0 4917 52 0 0 25 0 9 0 75523337 889479168 22797 996147200 134512640 134550740 4294955952 18446744073709551615 4127001311 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868632 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 16 0 9 0 75523343 889479168 22797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889479168 22797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.26
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 672 0 1 0 26 0 0 0 15 0 9 0 75523346 889479168 22797 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0

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

/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.28
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 680 0 1 0 28 0 0 0 16 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889483264 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 868632

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

[startup+166.402 s]
/proc/loadavg: 1.99 2.11 2.14 3/90 3376
/proc/meminfo: memFree=1847704/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=164.98
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23633 0 4 0 16008 490 0 0 18 0 9 0 75523333 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22805 2639 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=164.39
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15782 0 3 0 15954 485 0 0 25 0 9 0 75523337 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4127001311 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868636 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 16 0 9 0 75523343 889483264 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.28
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 680 0 1 0 28 0 0 0 16 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.98
Current children cumulated vsize (KiB) 868632

[startup+172.809 s]
/proc/loadavg: 1.99 2.11 2.14 3/90 3376
/proc/meminfo: memFree=1847640/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=171.38
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23633 0 4 0 16607 531 0 0 18 0 9 0 75523333 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22805 2639 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=170.8
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15782 0 3 0 16553 527 0 0 25 0 9 0 75523337 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868632 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 16 0 9 0 75523343 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.28
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 680 0 1 0 28 0 0 0 16 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889483264 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.38
Current children cumulated vsize (KiB) 868632

[startup+179.202 s]
/proc/loadavg: 1.99 2.10 2.14 3/90 3376
/proc/meminfo: memFree=1847640/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868632 CPUtime=177.78
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 23633 0 4 0 17206 572 0 0 18 0 9 0 75523333 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217158 22805 2639 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868632 CPUtime=177.19
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15782 0 3 0 17152 567 0 0 25 0 9 0 75523337 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4127001264 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868632 CPUtime=0.27
/proc/3326/task/3329/stat : 3329 (java) S 3324 3326 32351 0 -1 64 6474 0 0 0 25 2 0 0 16 0 9 0 75523343 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868636 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75523344 889483264 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868632 CPUtime=0.28
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 680 0 1 0 28 0 0 0 16 0 9 0 75523346 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868632 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889479168 22805 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.78
Current children cumulated vsize (KiB) 868632

[startup+182.402 s]
/proc/loadavg: 2.07 2.12 2.14 3/90 3376
/proc/meminfo: memFree=1755672/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868544 CPUtime=180.97
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 145264 0 4 0 17468 629 0 0 18 0 9 0 75523333 889389056 144363 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217136 144370 2618 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868544 CPUtime=179.47
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15870 0 3 0 17369 578 0 0 25 0 9 0 75523337 889389056 144375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868544 CPUtime=1.16
/proc/3326/task/3329/stat : 3329 (java) R 3324 3326 32351 0 -1 64 127998 0 0 0 67 49 0 0 16 0 9 0 75523343 889389056 144382 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889389056 144389 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 75523344 889389056 144396 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889389056 144402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868544 CPUtime=0.31
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 704 0 1 0 31 0 0 0 15 0 9 0 75523346 889389056 144409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889389056 144416 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889389056 144425 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 180.97
Current children cumulated vsize (KiB) 868544

[startup+184.002 s]
/proc/loadavg: 2.07 2.12 2.14 4/90 3376
/proc/meminfo: memFree=1140056/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868544 CPUtime=182.57
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 200283 0 4 0 17605 652 0 0 18 0 9 0 75523333 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217136 199374 2616 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868544 CPUtime=179.61
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15876 0 3 0 17383 578 0 0 25 0 9 0 75523337 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868544 CPUtime=2.61
/proc/3326/task/3329/stat : 3329 (java) R 3324 3326 32351 0 -1 64 182992 0 0 0 189 72 0 0 17 0 9 0 75523343 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 75523344 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868544 CPUtime=0.31
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 704 0 1 0 31 0 0 0 15 0 9 0 75523346 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889389056 199374 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 182.57
Current children cumulated vsize (KiB) 868544

[startup+184.802 s]
/proc/loadavg: 2.07 2.12 2.14 4/90 3376
/proc/meminfo: memFree=1140056/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=868544 CPUtime=183.38
/proc/3326/stat : 3326 (java) S 3324 3326 32351 0 -1 0 200289 0 4 0 17686 652 0 0 18 0 9 0 75523333 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3326/statm: 217136 199379 2616 9 0 211664 0
[pid=3326/tid=3328] ppid=3324 vsize=868544 CPUtime=179.62
/proc/3326/task/3328/stat : 3328 (java) R 3324 3326 32351 0 -1 64 15877 0 3 0 17384 578 0 0 25 0 9 0 75523337 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3329] ppid=3324 vsize=868544 CPUtime=3.41
/proc/3326/task/3329/stat : 3329 (java) R 3324 3326 32351 0 -1 64 182997 0 0 0 269 72 0 0 17 0 9 0 75523343 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3330] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3330/stat : 3330 (java) S 3324 3326 32351 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75523344 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3331] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3331/stat : 3331 (java) S 3324 3326 32351 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 75523344 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3332] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3332/stat : 3332 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75523346 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3333] ppid=3324 vsize=868544 CPUtime=0.31
/proc/3326/task/3333/stat : 3333 (java) S 3324 3326 32351 0 -1 64 704 0 1 0 31 0 0 0 15 0 9 0 75523346 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3326/tid=3334] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3334/stat : 3334 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75523347 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3326/tid=3335] ppid=3324 vsize=868544 CPUtime=0
/proc/3326/task/3335/stat : 3335 (java) S 3324 3326 32351 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75523347 889389056 199379 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 183.38
Current children cumulated vsize (KiB) 868544

[startup+185.201 s]
/proc/loadavg: 2.07 2.12 2.14 4/90 3376
/proc/meminfo: memFree=1140056/2055920 swapFree=4192812/4192956
[pid=3326] ppid=3324 vsize=0 CPUtime=183.74
/proc/3326/stat : 3326 (java) Z 3324 3326 32351 0 -1 12 200297 0 4 0 17712 662 0 0 16 0 2 0 75523333 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3326/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 183.74
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 185.218
CPU time (s): 183.764
CPU user time (s): 177.124
CPU system time (s): 6.63999
CPU usage (%): 99.2151
Max. virtual memory (cumulated for all children) (KiB): 868636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.124
system time used= 6.63999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200297
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5622
involuntary context switches= 16166

runsolver used 0.417936 second user time and 0.960853 second system time

The end

Launcher Data (download as text)

Begin job on node11 at 2008-07-16 08:03:25
IDJOB=1127186
IDBENCH=66138
IDSOLVER=360
FILE ID=node11/1127186-1216188205
PBS_JOBID= 7905833
Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/maxcsp/pedigree/normalized-sheep4nr_ext.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127186-1216188205/watcher-1127186-1216188205 -o /tmp/evaluation-result-1127186-1216188205/solver-1127186-1216188205 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1127186-1216188205.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 93c5d394eb2c2860fd1ad7b3d6066719
RANDOM SEED=1477778666

node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1899512 kB
Buffers:          3108 kB
Cached:          36128 kB
SwapCached:          0 kB
Active:          97592 kB
Inactive:         4892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1899512 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3232 kB
Writeback:           0 kB
Mapped:          83332 kB
Slab:            38676 kB
Committed_AS:   527696 kB
PageTables:       2164 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB
End job on node11 at 2008-07-16 08:06:31