Trace number 1127185

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-w? 176.941 177.548

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.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mrdac-wdeg.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-1127185-1216188186.xml
0.30/0.31	   
0.30/0.31	   domains being loaded...
0.30/0.32	   
0.30/0.32	   variables being loaded...
0.69/0.70	     nbVariables=8991  nbDomainTypes=2  minDomainSize=1  maxDomainSize=10  nbTotalValues=89901
0.69/0.70	       =>  wckTime=0.458  cpuTime=0.35  mem=41M359
0.69/0.70	   
0.69/0.70	   relations being loaded...
0.69/0.71	   
0.69/0.71	   constraints being loaded...
1.09/1.18	     nbConstraints=11213  nbRelationTypes=12  nbSingletonDomainVariables=1  nbExtensionStructures=12
1.09/1.18	     nbSharedExtensionStructures=11201  nbConflictsStructures=12  nbSharedConflictsStructures=11201
1.09/1.18	     nbSharedBinaryRepresentations=109  minDegree=2  maxDegree=2481  minArity=2  avgArity=2.7  maxArity=3
1.09/1.18	       =>  wckTime=0.935  cpuTime=0.67  mem=46M810
1.29/1.36	   
1.29/1.36	   solver LocalSearchSolver being built... 
1.39/1.40	       =>  wckTime=1.158  cpuTime=0.72  mem=22M253
1.39/1.46	
1.39/1.46	s SATISFIABLE
1.39/1.46	o 8505
1.39/1.47	o 8472
1.39/1.49	o 8441
1.49/1.50	o 8417
1.49/1.52	o 8409
1.49/1.53	o 8386
1.49/1.54	o 8381
1.49/1.56	o 8369
1.49/1.57	o 8351
1.49/1.58	o 8331
1.49/1.59	o 8313
1.59/1.60	o 8296
1.59/1.61	o 8278
1.59/1.62	o 8270
1.59/1.63	o 8262
1.59/1.66	o 8252
1.59/1.68	o 8241
1.59/1.69	o 8226
1.69/1.70	o 8215
1.69/1.71	o 8212
1.69/1.72	o 8207
1.69/1.73	o 8202
1.69/1.75	o 8196
1.69/1.76	o 8182
1.69/1.77	o 8171
1.69/1.78	o 8167
1.89/1.94	o 8166
1.89/1.95	o 8159
1.89/1.96	o 8151
1.89/1.97	o 8141
1.89/1.98	o 8136
1.89/2.00	o 8134
1.99/2.01	o 8123
1.99/2.03	o 8120
1.99/2.04	o 8114
1.99/2.05	o 8111
1.99/2.09	o 8104
1.99/2.10	o 8103
2.09/2.12	o 8092
2.09/2.13	o 8085
2.09/2.15	o 8076
2.09/2.16	o 8069
2.09/2.18	o 8054
2.09/2.19	o 8047
2.09/2.20	o 8043
2.19/2.21	o 8037
2.19/2.23	o 8034
2.19/2.24	o 8029
2.19/2.25	o 8020
2.19/2.27	o 8013
2.29/2.32	o 8006
2.29/2.33	o 8002
2.39/2.46	o 7998
2.39/2.48	o 7996
2.59/2.67	o 7994
2.59/2.68	o 7988
2.68/2.70	o 7969
2.68/2.71	o 7961
2.68/2.74	o 7960
2.68/2.76	o 7955
2.68/2.77	o 7950
2.78/2.81	o 7946
2.88/2.94	o 7940
2.88/2.95	o 7932
2.99/3.01	o 7928
2.99/3.02	o 7922
2.99/3.04	o 7916
2.99/3.05	o 7910
2.99/3.06	o 7904
3.09/3.13	o 7902
3.09/3.14	o 7897
3.09/3.16	o 7892
3.09/3.17	o 7888
3.09/3.18	o 7885
3.09/3.20	o 7882
3.19/3.21	o 7871
3.19/3.22	o 7869
3.19/3.24	o 7867
3.19/3.25	o 7866
3.48/3.58	o 7865
3.48/3.60	o 7860
3.58/3.61	o 7855
3.58/3.63	o 7851
3.58/3.64	o 7847
3.58/3.65	o 7843
3.58/3.67	o 7839
3.58/3.68	o 7832
3.58/3.70	o 7824
3.68/3.71	o 7817
3.68/3.73	o 7814
3.68/3.75	o 7810
3.68/3.76	o 7806
3.68/3.78	o 7802
3.68/3.79	o 7798
3.78/3.80	o 7794
3.78/3.84	o 7791
3.78/3.89	o 7790
3.89/3.90	o 7787
3.89/3.91	o 7784
3.89/3.93	o 7782
3.89/3.94	o 7780
3.89/3.96	o 7779
4.09/4.20	o 7774
4.19/4.21	o 7771
4.19/4.29	o 7770
4.29/4.30	o 7768
4.29/4.33	o 7762
4.29/4.34	o 7755
4.39/4.44	o 7753
4.39/4.45	o 7749
4.39/4.47	o 7745
4.39/4.49	o 7741
4.49/4.50	o 7737
4.49/4.51	o 7733
4.49/4.53	o 7729
4.49/4.54	o 7725
4.49/4.57	o 7723
4.49/4.58	o 7719
4.58/4.60	o 7715
4.58/4.61	o 7711
4.58/4.67	o 7707
4.58/4.69	o 7704
4.68/4.70	o 7701
4.68/4.77	o 7698
4.68/4.78	o 7690
4.68/4.80	o 7689
4.78/4.86	o 7688
4.78/4.88	o 7685
4.78/4.89	o 7682
4.88/4.91	o 7679
4.88/4.92	o 7676
4.88/4.94	o 7673
4.88/4.95	o 7670
4.98/5.01	o 7667
4.98/5.03	o 7664
4.98/5.04	o 7662
4.98/5.05	o 7659
4.98/5.09	o 7658
5.08/5.11	o 7655
5.08/5.12	o 7652
5.08/5.14	o 7649
5.08/5.15	o 7643
5.08/5.16	o 7626
5.08/5.18	o 7624
5.18/5.20	o 7619
5.18/5.22	o 7617
5.18/5.23	o 7615
5.18/5.25	o 7613
5.18/5.26	o 7611
5.18/5.28	o 7610
5.18/5.29	o 7609
5.28/5.31	o 7608
5.28/5.32	o 7607
5.38/5.42	o 7605
5.38/5.43	o 7601
5.38/5.45	o 7600
5.38/5.46	o 7599
5.38/5.48	o 7598
5.88/5.92	o 7596
5.88/5.93	o 7592
5.88/5.95	o 7589
5.88/5.96	o 7587
5.88/5.98	o 7584
5.88/5.99	o 7580
5.98/6.01	o 7575
5.98/6.03	o 7574
5.98/6.05	o 7570
5.98/6.06	o 7568
5.98/6.08	o 7567
6.08/6.13	o 7565
6.08/6.15	o 7556
6.18/6.23	o 7554
6.18/6.25	o 7551
6.38/6.45	o 7548
6.38/6.46	o 7545
6.38/6.50	o 7541
6.48/6.57	o 7537
6.48/6.58	o 7524
6.48/6.60	o 7520
6.58/6.61	o 7515
6.58/6.63	o 7511
6.58/6.66	o 7510
6.58/6.67	o 7507
6.58/6.69	o 7504
6.67/6.70	o 7501
6.67/6.72	o 7498
6.67/6.76	o 7495
6.67/6.77	o 7492
6.67/6.79	o 7489
6.77/6.80	o 7486
6.77/6.83	o 7484
6.77/6.85	o 7481
6.87/6.92	o 7479
6.87/6.93	o 7476
6.87/6.95	o 7473
6.87/6.96	o 7470
6.97/7.00	o 7466
6.97/7.01	o 7456
6.97/7.03	o 7453
6.97/7.04	o 7450
6.97/7.06	o 7447
6.97/7.07	o 7445
6.97/7.09	o 7441
7.18/7.21	o 7438
7.18/7.22	o 7435
7.18/7.24	o 7432
7.18/7.25	o 7429
7.18/7.27	o 7426
7.27/7.36	o 7424
7.27/7.38	o 7421
7.27/7.40	o 7418
7.37/7.41	o 7415
7.37/7.43	o 7404
7.37/7.44	o 7401
7.37/7.45	o 7398
7.37/7.47	o 7395
7.37/7.48	o 7392
7.47/7.50	o 7389
7.47/7.51	o 7386
7.47/7.53	o 7383
7.47/7.54	o 7380
7.47/7.56	o 7377
7.47/7.57	o 7374
7.47/7.59	o 7372
7.57/7.61	o 7370
7.57/7.64	o 7368
7.57/7.66	o 7365
7.57/7.67	o 7362
7.57/7.69	o 7359
7.67/7.70	o 7356
7.67/7.75	o 7353
7.67/7.77	o 7350
7.67/7.78	o 7347
7.67/7.80	o 7344
7.76/7.81	o 7341
7.76/7.83	o 7338
7.76/7.84	o 7335
7.76/7.86	o 7332
7.76/7.87	o 7329
7.76/7.89	o 7324
7.86/7.90	o 7320
7.86/7.94	o 7318
7.86/7.96	o 7315
7.86/7.97	o 7312
7.86/7.99	o 7300
7.96/8.00	o 7297
7.96/8.02	o 7294
7.96/8.03	o 7291
7.96/8.05	o 7288
7.96/8.06	o 7285
7.96/8.08	o 7282
7.96/8.09	o 7279
8.06/8.12	o 7276
8.06/8.15	o 7275
8.06/8.16	o 7272
8.06/8.18	o 7269
8.06/8.19	o 7266
8.16/8.21	o 7263
8.16/8.22	o 7260
8.16/8.24	o 7258
8.16/8.25	o 7256
8.16/8.27	o 7254
8.16/8.28	o 7252
8.16/8.30	o 7245
8.27/8.31	o 7242
8.27/8.33	o 7240
8.27/8.34	o 7236
8.27/8.36	o 7234
8.27/8.37	o 7232
8.27/8.39	o 7230
8.36/8.40	o 7229
8.36/8.42	o 7224
8.36/8.43	o 7222
8.36/8.44	o 7220
8.36/8.46	o 7218
8.36/8.47	o 7216
8.36/8.49	o 7214
8.46/8.50	o 7212
8.46/8.52	o 7204
8.46/8.53	o 7202
8.46/8.55	o 7200
8.46/8.56	o 7198
8.56/8.60	o 7197
8.56/8.62	o 7195
8.56/8.63	o 7193
8.56/8.65	o 7191
8.56/8.66	o 7186
8.66/8.71	o 7184
8.66/8.72	o 7181
8.66/8.74	o 7179
8.66/8.75	o 7178
8.66/8.77	o 7177
8.66/8.78	o 7174
8.76/8.81	o 7172
8.76/8.82	o 7171
8.76/8.84	o 7170
8.76/8.86	o 7169
8.86/8.99	o 7166
8.97/9.01	o 7162
8.97/9.02	o 7159
8.97/9.04	o 7157
8.97/9.05	o 7154
8.97/9.07	o 7151
8.97/9.08	o 7148
9.06/9.12	o 7147
9.06/9.18	o 7145
9.16/9.23	o 7142
9.16/9.24	o 7137
9.16/9.26	o 7133
9.16/9.27	o 7123
9.16/9.29	o 7120
9.26/9.31	o 7117
9.26/9.32	o 7115
9.26/9.33	o 7113
9.26/9.36	o 7108
9.26/9.38	o 7105
9.26/9.39	o 7102
9.36/9.41	o 7101
9.36/9.42	o 7098
9.36/9.44	o 7096
9.36/9.45	o 7093
9.36/9.47	o 7092
9.36/9.48	o 7090
9.36/9.49	o 7087
9.46/9.51	o 7084
9.46/9.52	o 7081
9.46/9.54	o 7078
9.46/9.56	o 7075
9.46/9.57	o 7072
9.46/9.59	o 7070
9.56/9.60	o 7067
9.56/9.62	o 7062
9.56/9.63	o 7059
9.56/9.65	o 7056
9.56/9.66	o 7053
9.56/9.68	o 7050
9.56/9.69	o 7047
9.65/9.71	o 7044
9.65/9.72	o 7041
9.65/9.74	o 7038
9.65/9.75	o 7037
9.65/9.77	o 7031
9.65/9.78	o 7028
9.65/9.80	o 7025
9.76/9.82	o 7022
9.76/9.83	o 7020
9.76/9.85	o 7017
9.76/9.86	o 7014
9.76/9.88	o 7012
9.76/9.89	o 7010
9.86/9.91	o 7008
9.86/9.92	o 7005
9.86/9.94	o 7002
9.86/9.95	o 6999
9.86/9.97	o 6997
9.86/9.98	o 6995
9.96/10.00	o 6992
9.96/10.02	o 6989
9.96/10.05	o 6988
9.96/10.07	o 6985
9.96/10.09	o 6982
10.06/10.10	o 6977
10.06/10.12	o 6975
10.06/10.13	o 6973
10.06/10.16	o 6970
10.16/10.28	o 6967
10.16/10.29	o 6964
10.25/10.32	o 6962
10.25/10.34	o 6960
10.45/10.52	o 6959
10.45/10.53	o 6957
10.45/10.55	o 6955
10.45/10.57	o 6952
10.65/10.73	o 6951
10.65/10.77	o 6950
10.65/10.79	o 6947
10.75/10.80	o 6946
10.75/10.82	o 6943
10.75/10.83	o 6940
10.85/10.95	o 6939
10.85/10.96	o 6936
10.85/10.99	o 6934
10.95/11.01	o 6933
10.95/11.02	o 6930
10.95/11.05	o 6928
10.95/11.06	o 6926
10.95/11.08	o 6925
11.05/11.10	o 6922
11.05/11.16	o 6920
11.05/11.18	o 6918
11.15/11.20	o 6916
11.15/11.22	o 6914
11.15/11.25	o 6912
11.15/11.27	o 6910
11.25/11.33	o 6907
11.25/11.35	o 6904
11.25/11.37	o 6901
11.55/11.60	o 6898
11.55/11.62	o 6896
11.55/11.64	o 6889
11.55/11.66	o 6886
11.55/11.67	o 6885
11.55/11.69	o 6883
11.65/11.71	o 6881
11.65/11.73	o 6879
11.65/11.75	o 6877
11.65/11.77	o 6875
11.65/11.79	o 6873
11.75/11.81	o 6871
11.75/11.83	o 6870
11.75/11.85	o 6868
11.75/11.87	o 6866
11.75/11.89	o 6864
11.85/11.91	o 6862
11.85/11.93	o 6860
11.85/11.95	o 6858
11.85/11.97	o 6856
11.85/11.99	o 6854
11.95/12.01	o 6852
12.05/12.17	o 6849
12.05/12.19	o 6847
12.15/12.21	o 6844
12.15/12.22	o 6843
12.15/12.28	o 6841
12.24/12.30	o 6839
12.24/12.32	o 6837
12.24/12.34	o 6835
12.24/12.36	o 6833
12.24/12.38	o 6831
12.34/12.40	o 6829
12.34/12.48	o 6827
12.44/12.50	o 6825
12.44/12.52	o 6822
12.54/12.60	o 6817
12.54/12.62	o 6811
12.54/12.64	o 6809
12.54/12.66	o 6806
12.54/12.68	o 6803
12.54/12.70	o 6801
12.65/12.71	o 6799
12.65/12.77	o 6796
12.65/12.79	o 6794
12.75/12.81	o 6791
12.75/12.83	o 6790
12.75/12.84	o 6788
12.75/12.87	o 6787
12.75/12.89	o 6785
12.85/12.91	o 6783
12.85/12.93	o 6781
12.85/12.95	o 6779
12.95/13.04	o 6778
12.95/13.05	o 6776
12.95/13.07	o 6774
12.95/13.09	o 6772
13.05/13.11	o 6770
13.05/13.13	o 6768
13.05/13.15	o 6766
13.05/13.17	o 6764
13.05/13.19	o 6762
13.15/13.21	o 6760
13.15/13.23	o 6758
13.15/13.25	o 6756
13.15/13.27	o 6754
13.15/13.29	o 6752
13.24/13.31	o 6750
13.24/13.33	o 6748
13.24/13.35	o 6746
13.24/13.37	o 6744
13.24/13.38	o 6742
13.34/13.40	o 6740
13.34/13.42	o 6729
13.34/13.44	o 6726
13.44/13.52	o 6724
13.44/13.54	o 6722
13.44/13.57	o 6720
13.44/13.58	o 6719
13.54/13.60	o 6717
13.54/13.62	o 6715
13.54/13.64	o 6713
13.54/13.66	o 6711
13.64/13.74	o 6710
13.64/13.75	o 6708
13.64/13.77	o 6706
13.64/13.79	o 6704
13.74/13.81	o 6696
13.74/13.83	o 6694
13.74/13.85	o 6692
13.74/13.87	o 6690
13.74/13.89	o 6688
13.83/13.90	o 6686
13.83/13.92	o 6684
13.83/13.94	o 6682
13.83/13.96	o 6680
13.93/14.07	o 6679
14.03/14.15	o 6678
14.03/14.17	o 6676
14.03/14.19	o 6674
14.14/14.21	o 6672
14.14/14.23	o 6670
14.14/14.25	o 6668
14.14/14.26	o 6666
14.14/14.28	o 6664
14.24/14.30	o 6662
14.24/14.32	o 6660
14.24/14.34	o 6658
14.24/14.36	o 6656
14.24/14.38	o 6654
14.34/14.46	o 6653
14.34/14.48	o 6651
14.44/14.53	o 6650
14.44/14.55	o 6648
14.44/14.57	o 6646
14.44/14.58	o 6644
14.54/14.60	o 6643
14.54/14.66	o 6642
14.54/14.68	o 6640
14.64/14.70	o 6638
14.64/14.72	o 6636
14.64/14.80	o 6634
14.74/14.84	o 6631
14.74/14.86	o 6629
14.74/14.87	o 6627
14.74/14.89	o 6625
14.84/14.91	o 6623
14.84/14.93	o 6621
14.84/14.95	o 6619
14.84/14.97	o 6617
14.84/14.99	o 6615
14.94/15.01	o 6613
14.94/15.03	o 6611
14.94/15.04	o 6609
14.94/15.06	o 6607
14.94/15.08	o 6605
15.04/15.11	o 6604
15.04/15.13	o 6601
15.04/15.14	o 6598
15.04/15.16	o 6596
15.04/15.18	o 6594
15.14/15.20	o 6592
15.14/15.22	o 6590
15.14/15.23	o 6588
15.14/15.25	o 6586
15.24/15.36	o 6579
15.24/15.38	o 6577
15.24/15.40	o 6575
15.34/15.41	o 6573
15.34/15.43	o 6571
15.34/15.45	o 6569
15.34/15.47	o 6567
15.34/15.49	o 6565
15.43/15.51	o 6563
15.43/15.53	o 6561
15.43/15.55	o 6559
15.53/15.62	o 6557
15.53/15.64	o 6555
15.53/15.66	o 6553
15.53/15.68	o 6551
15.63/15.70	o 6549
15.63/15.72	o 6546
15.63/15.73	o 6544
15.63/15.75	o 6539
15.63/15.77	o 6537
15.63/15.79	o 6535
15.73/15.81	o 6533
15.73/15.83	o 6531
15.73/15.84	o 6529
15.73/15.86	o 6527
15.73/15.88	o 6525
15.83/15.90	o 6523
15.83/15.92	o 6521
15.83/15.94	o 6519
15.83/15.96	o 6517
15.83/15.98	o 6515
15.83/16.00	o 6513
15.93/16.01	o 6511
15.93/16.03	o 6509
15.93/16.05	o 6507
15.93/16.07	o 6505
15.93/16.09	o 6503
16.03/16.11	o 6501
16.03/16.13	o 6499
16.03/16.15	o 6497
16.03/16.18	o 6495
16.63/16.73	o 6494
16.63/16.75	o 6492
16.63/16.77	o 6490
16.63/16.79	o 6488
16.73/16.81	o 6486
16.73/16.83	o 6484
16.73/16.84	o 6482
16.73/16.86	o 6480
16.73/16.88	o 6478
16.83/16.90	o 6476
16.83/16.92	o 6474
16.83/16.94	o 6472
16.83/16.98	o 6471
16.93/17.01	o 6468
16.93/17.03	o 6466
16.93/17.05	o 6464
16.93/17.07	o 6462
16.93/17.09	o 6460
17.03/17.11	o 6458
17.03/17.12	o 6456
17.03/17.14	o 6454
17.03/17.16	o 6452
17.03/17.18	o 6450
17.13/17.20	o 6448
17.13/17.22	o 6446
17.13/17.24	o 6444
17.13/17.26	o 6442
17.13/17.27	o 6436
17.13/17.29	o 6435
17.22/17.32	o 6433
17.22/17.34	o 6431
17.22/17.36	o 6429
17.22/17.38	o 6427
17.22/17.39	o 6425
17.32/17.41	o 6423
17.32/17.43	o 6421
17.32/17.45	o 6419
17.32/17.47	o 6417
17.32/17.49	o 6415
17.43/17.51	o 6413
17.43/17.52	o 6411
17.43/17.54	o 6409
17.43/17.56	o 6404
17.43/17.58	o 6402
17.43/17.59	o 6400
17.53/17.61	o 6398
17.53/17.63	o 6396
17.53/17.65	o 6394
17.53/17.67	o 6392
17.53/17.69	o 6390
17.62/17.71	o 6388
17.62/17.72	o 6386
17.62/17.74	o 6384
17.62/17.76	o 6382
17.62/17.78	o 6380
17.72/17.84	o 6378
17.72/17.85	o 6375
17.82/17.91	o 6369
17.82/17.94	o 6358
17.82/17.96	o 6355
17.82/17.98	o 6352
17.82/17.99	o 6350
17.92/18.01	o 6348
17.92/18.03	o 6346
17.92/18.05	o 6343
17.92/18.07	o 6341
17.92/18.08	o 6339
18.03/18.10	o 6337
18.03/18.12	o 6335
18.03/18.14	o 6333
18.03/18.16	o 6331
18.03/18.18	o 6329
18.03/18.19	o 6327
18.13/18.21	o 6325
18.13/18.23	o 6323
18.13/18.25	o 6321
18.13/18.27	o 6319
18.13/18.29	o 6317
18.22/18.31	o 6315
18.22/18.32	o 6313
18.22/18.34	o 6311
18.22/18.36	o 6309
18.22/18.38	o 6307
18.22/18.40	o 6305
18.32/18.41	o 6303
18.32/18.43	o 6301
18.32/18.45	o 6299
18.32/18.47	o 6297
18.32/18.49	o 6295
18.42/18.50	o 6293
18.42/18.52	o 6291
18.42/18.54	o 6289
18.42/18.56	o 6287
18.42/18.58	o 6285
18.42/18.59	o 6283
18.53/18.61	o 6281
18.53/18.63	o 6279
18.53/18.65	o 6277
18.53/18.67	o 6275
18.53/18.68	o 6273
18.53/18.70	o 6271
18.62/18.72	o 6269
18.62/18.74	o 6267
18.62/18.76	o 6264
18.62/18.77	o 6262
18.62/18.79	o 6260
18.72/18.81	o 6258
18.72/18.83	o 6256
18.72/18.89	o 6255
18.83/18.90	o 6253
18.83/18.92	o 6251
18.83/18.94	o 6249
18.83/18.96	o 6248
18.83/18.97	o 6245
18.83/18.99	o 6243
18.93/19.01	o 6241
18.93/19.03	o 6239
18.93/19.09	o 6237
19.02/19.10	o 6235
19.02/19.12	o 6233
19.02/19.14	o 6231
19.02/19.16	o 6229
19.12/19.24	o 6227
19.12/19.25	o 6225
19.12/19.27	o 6221
19.12/19.29	o 6219
19.22/19.30	o 6217
19.22/19.32	o 6215
19.22/19.34	o 6213
19.22/19.36	o 6211
19.22/19.38	o 6209
19.22/19.39	o 6207
19.32/19.41	o 6205
19.32/19.43	o 6203
19.32/19.49	o 6201
19.42/19.50	o 6199
19.42/19.52	o 6197
19.42/19.59	o 6196
19.52/19.61	o 6194
19.52/19.63	o 6192
19.52/19.65	o 6190
19.52/19.66	o 6188
19.52/19.69	o 6186
19.62/19.70	o 6184
19.62/19.72	o 6182
19.62/19.74	o 6180
19.62/19.76	o 6178
19.62/19.77	o 6176
19.62/19.79	o 6174
19.72/19.81	o 6172
19.72/19.83	o 6170
19.72/19.85	o 6168
19.72/19.86	o 6166
19.72/19.88	o 6164
19.82/19.90	o 6162
19.82/19.92	o 6160
19.82/19.93	o 6158
19.82/19.95	o 6156
19.82/19.97	o 6154
19.92/20.01	o 6153
19.92/20.02	o 6150
19.92/20.04	o 6148
19.92/20.05	o 6130
19.92/20.07	o 6128
19.92/20.08	o 6127
20.01/20.10	o 6125
20.01/20.12	o 6123
20.01/20.13	o 6121
20.11/20.20	o 6119
20.11/20.22	o 6117
20.11/20.23	o 6115
20.11/20.25	o 6113
20.11/20.27	o 6111
20.11/20.28	o 6108
20.21/20.30	o 6106
20.21/20.32	o 6104
20.21/20.35	o 6102
20.21/20.36	o 6100
20.21/20.38	o 6098
20.31/20.40	o 6094
20.31/20.42	o 6092
20.31/20.43	o 6087
20.31/20.45	o 6085
20.31/20.47	o 6083
20.31/20.48	o 6081
20.41/20.50	o 6079
20.41/20.52	o 6074
20.41/20.54	o 6072
20.41/20.55	o 6070
20.41/20.57	o 6068
20.41/20.59	o 6066
20.51/20.61	o 6064
20.51/20.62	o 6062
20.51/20.64	o 6060
20.51/20.66	o 6058
20.51/20.67	o 6056
20.61/20.71	o 6055
20.61/20.72	o 6053
20.61/20.75	o 6052
20.61/20.77	o 6050
20.61/20.79	o 6048
20.71/20.80	o 6046
20.71/20.82	o 6044
20.71/20.84	o 6042
20.71/20.85	o 6040
20.71/20.87	o 6038
20.71/20.89	o 6036
20.81/20.91	o 6034
20.81/20.92	o 6032
20.81/20.97	o 6030
20.91/21.04	o 6028
20.91/21.06	o 6026
21.01/21.14	o 6019
21.01/21.16	o 6017
21.01/21.18	o 6011
21.01/21.19	o 6007
21.11/21.27	o 6006
21.11/21.29	o 6004
21.21/21.31	o 6002
21.21/21.33	o 6000
21.21/21.34	o 5998
21.21/21.36	o 5996
21.21/21.38	o 5994
21.21/21.39	o 5992
21.31/21.41	o 5990
21.31/21.43	o 5988
21.31/21.44	o 5986
21.31/21.46	o 5984
21.31/21.48	o 5982
21.31/21.50	o 5980
21.41/21.51	o 5978
21.41/21.53	o 5976
21.41/21.55	o 5974
21.41/21.56	o 5972
21.41/21.58	o 5970
21.41/21.60	o 5968
21.51/21.61	o 5966
21.51/21.63	o 5964
21.51/21.64	o 5962
21.51/21.69	o 5960
21.61/21.71	o 5958
21.61/21.77	o 5956
21.61/21.78	o 5954
21.71/21.80	o 5952
21.71/21.82	o 5950
21.71/21.83	o 5948
21.71/21.85	o 5946
21.71/21.87	o 5944
21.71/21.88	o 5942
21.71/21.90	o 5940
21.81/21.93	o 5939
21.81/21.94	o 5937
21.81/21.96	o 5935
21.81/21.98	o 5933
21.81/21.99	o 5931
21.91/22.01	o 5929
21.91/22.03	o 5927
21.91/22.04	o 5925
21.91/22.06	o 5923
21.91/22.08	o 5920
21.91/22.09	o 5918
22.01/22.11	o 5916
22.01/22.14	o 5914
22.01/22.15	o 5912
22.01/22.17	o 5910
22.01/22.19	o 5908
22.11/22.21	o 5906
22.11/22.22	o 5904
22.11/22.24	o 5902
22.11/22.26	o 5900
22.11/22.27	o 5898
22.11/22.29	o 5896
22.20/22.33	o 5894
22.20/22.35	o 5892
22.20/22.37	o 5890
22.20/22.38	o 5888
22.30/22.40	o 5885
22.30/22.41	o 5883
22.30/22.43	o 5881
22.30/22.45	o 5879
22.30/22.46	o 5877
22.30/22.48	o 5875
22.40/22.50	o 5873
22.40/22.51	o 5871
22.40/22.53	o 5869
22.40/22.55	o 5867
22.60/22.76	o 5865
22.60/22.78	o 5863
22.60/22.80	o 5861
22.70/22.81	o 5859
22.70/22.83	o 5857
22.70/22.85	o 5855
22.80/22.96	o 5854
22.80/22.98	o 5852
22.80/23.00	o 5850
22.90/23.01	o 5848
22.90/23.03	o 5846
22.90/23.05	o 5844
22.90/23.06	o 5842
22.90/23.08	o 5840
22.90/23.10	o 5838
23.00/23.12	o 5836
23.00/23.14	o 5834
23.00/23.16	o 5832
23.00/23.18	o 5830
23.00/23.19	o 5828
23.11/23.21	o 5826
23.11/23.22	o 5824
23.11/23.24	o 5822
23.11/23.26	o 5820
23.11/23.27	o 5818
23.11/23.29	o 5816
23.20/23.31	o 5814
23.20/23.32	o 5812
23.20/23.34	o 5810
23.20/23.36	o 5808
23.20/23.37	o 5806
23.20/23.39	o 5804
23.30/23.40	o 5802
23.30/23.42	o 5800
23.30/23.44	o 5799
23.30/23.45	o 5797
23.30/23.47	o 5795
23.30/23.49	o 5793
23.40/23.50	o 5791
23.40/23.52	o 5789
23.40/23.54	o 5787
23.40/23.55	o 5785
23.40/23.57	o 5783
23.40/23.58	o 5781
23.50/23.60	o 5779
23.50/23.62	o 5777
23.50/23.63	o 5775
23.50/23.65	o 5773
23.50/23.67	o 5771
23.50/23.68	o 5769
23.60/23.70	o 5767
23.60/23.72	o 5765
23.60/23.73	o 5763
23.60/23.75	o 5761
23.60/23.76	o 5759
23.60/23.78	o 5757
23.60/23.80	o 5755
23.70/23.81	o 5753
23.70/23.83	o 5751
23.70/23.87	o 5750
23.70/23.89	o 5748
23.80/23.90	o 5746
23.80/23.92	o 5744
23.80/23.93	o 5742
23.80/23.95	o 5740
23.80/23.97	o 5738
23.80/23.98	o 5736
23.90/24.00	o 5734
23.90/24.02	o 5732
23.90/24.03	o 5730
23.90/24.05	o 5728
23.90/24.06	o 5726
23.90/24.08	o 5724
23.90/24.09	o 5721
24.00/24.11	o 5719
24.00/24.13	o 5717
24.00/24.14	o 5715
24.00/24.18	o 5713
24.00/24.20	o 5711
24.11/24.22	o 5709
24.11/24.23	o 5707
24.11/24.25	o 5705
24.11/24.26	o 5703
24.11/24.28	o 5701
24.11/24.30	o 5699
24.20/24.31	o 5697
24.20/24.33	o 5695
24.20/24.34	o 5693
24.30/24.45	o 5691
24.30/24.46	o 5689
24.30/24.48	o 5687
24.30/24.49	o 5685
24.40/24.51	o 5683
24.40/24.53	o 5681
24.40/24.54	o 5679
24.40/24.56	o 5677
24.40/24.57	o 5675
24.40/24.59	o 5673
24.50/24.61	o 5671
24.50/24.62	o 5669
24.50/24.64	o 5667
24.50/24.65	o 5665
24.50/24.67	o 5663
24.50/24.69	o 5661
24.60/24.70	o 5659
24.60/24.72	o 5657
24.60/24.73	o 5655
24.60/24.75	o 5653
24.60/24.77	o 5651
24.60/24.78	o 5649
24.60/24.80	o 5647
24.70/24.81	o 5645
24.70/24.83	o 5643
24.70/24.85	o 5640
24.70/24.86	o 5638
24.70/24.88	o 5636
24.70/24.89	o 5634
24.80/24.91	o 5619
24.80/24.92	o 5617
24.80/24.94	o 5615
24.80/24.95	o 5612
24.80/24.97	o 5610
24.80/24.99	o 5608
24.90/25.00	o 5604
24.90/25.02	o 5602
24.90/25.03	o 5600
24.90/25.05	o 5598
24.90/25.06	o 5596
24.90/25.08	o 5594
24.90/25.10	o 5592
25.00/25.20	o 5590
25.10/25.21	o 5588
25.10/25.23	o 5586
25.10/25.24	o 5584
25.10/25.26	o 5582
25.10/25.27	o 5580
25.10/25.29	o 5578
25.20/25.30	o 5576
25.20/25.32	o 5574
25.20/25.34	o 5572
25.20/25.35	o 5571
25.20/25.37	o 5569
25.20/25.38	o 5567
25.20/25.40	o 5565
25.29/25.41	o 5563
25.29/25.43	o 5561
25.29/25.44	o 5559
25.29/25.46	o 5557
25.29/25.47	o 5555
25.29/25.49	o 5553
25.39/25.51	o 5551
25.39/25.52	o 5549
25.39/25.54	o 5547
25.39/25.55	o 5545
25.39/25.57	o 5543
25.39/25.58	o 5541
25.50/25.60	o 5539
25.50/25.61	o 5537
25.50/25.63	o 5531
25.50/25.64	o 5528
25.50/25.66	o 5526
25.50/25.68	o 5524
25.50/25.69	o 5522
25.60/25.71	o 5520
25.60/25.73	o 5518
25.60/25.75	o 5516
25.60/25.76	o 5514
25.60/25.78	o 5512
25.60/25.79	o 5510
25.69/25.81	o 5508
25.69/25.82	o 5506
25.69/25.84	o 5504
25.69/25.85	o 5502
25.69/25.87	o 5500
25.69/25.89	o 5498
25.79/25.90	o 5496
25.79/25.92	o 5494
25.79/25.93	o 5492
25.79/25.95	o 5490
25.79/25.96	o 5488
25.79/25.98	o 5486
25.89/26.02	o 5485
25.89/26.03	o 5483
25.89/26.05	o 5481
25.89/26.06	o 5479
25.89/26.08	o 5477
25.89/26.09	o 5475
25.99/26.11	o 5473
25.99/26.12	o 5471
25.99/26.14	o 5469
25.99/26.15	o 5467
25.99/26.17	o 5465
25.99/26.18	o 5463
26.09/26.20	o 5461
26.09/26.21	o 5459
26.09/26.28	o 5456
26.09/26.29	o 5454
26.19/26.31	o 5452
26.19/26.32	o 5450
26.19/26.34	o 5448
26.19/26.35	o 5447
26.19/26.36	o 5444
26.19/26.38	o 5442
26.19/26.39	o 5440
26.29/26.41	o 5438
26.29/26.42	o 5436
26.29/26.44	o 5434
26.29/26.45	o 5432
26.29/26.47	o 5430
26.29/26.48	o 5428
26.39/26.50	o 5426
26.39/26.51	o 5424
26.39/26.53	o 5422
26.39/26.54	o 5420
26.39/26.56	o 5418
26.39/26.60	o 5416
26.49/26.61	o 5414
26.49/26.63	o 5412
26.49/26.64	o 5410
26.49/26.66	o 5408
26.49/26.67	o 5406
26.49/26.69	o 5404
26.59/26.70	o 5402
26.59/26.72	o 5400
26.59/26.73	o 5398
26.59/26.75	o 5396
26.59/26.76	o 5394
26.59/26.78	o 5392
26.59/26.79	o 5390
26.69/26.81	o 5388
26.69/26.85	o 5386
26.69/26.86	o 5384
26.69/26.88	o 5382
26.69/26.89	o 5381
26.79/26.90	o 5379
26.79/26.92	o 5377
26.79/26.93	o 5375
26.79/26.95	o 5373
26.79/26.96	o 5371
26.79/26.98	o 5369
26.79/26.99	o 5367
26.89/27.01	o 5365
26.89/27.02	o 5363
26.89/27.04	o 5361
26.89/27.05	o 5359
26.89/27.07	o 5357
26.89/27.08	o 5355
26.99/27.10	o 5349
26.99/27.13	o 5347
26.99/27.15	o 5345
26.99/27.16	o 5343
26.99/27.18	o 5341
26.99/27.19	o 5339
27.08/27.21	o 5337
27.08/27.22	o 5335
27.08/27.24	o 5333
27.08/27.25	o 5331
27.08/27.27	o 5329
27.18/27.32	o 5327
27.18/27.33	o 5325
27.18/27.35	o 5323
27.18/27.36	o 5321
27.18/27.37	o 5319
27.18/27.39	o 5317
27.28/27.40	o 5315
27.28/27.42	o 5313
27.28/27.43	o 5311
27.28/27.45	o 5309
27.28/27.46	o 5307
27.28/27.48	o 5305
27.28/27.49	o 5303
27.38/27.51	o 5301
27.38/27.52	o 5299
27.38/27.54	o 5297
27.38/27.55	o 5295
27.38/27.57	o 5293
27.38/27.58	o 5291
27.48/27.60	o 5289
27.48/27.61	o 5287
27.48/27.63	o 5285
27.48/27.64	o 5284
27.48/27.65	o 5282
27.48/27.67	o 5279
27.48/27.68	o 5277
27.58/27.70	o 5275
27.58/27.71	o 5274
27.58/27.73	o 5273
27.58/27.74	o 5272
27.58/27.76	o 5271
27.58/27.77	o 5270
27.58/27.79	o 5269
27.68/27.80	o 5268
27.68/27.82	o 5267
27.68/27.83	o 5266
27.68/27.85	o 5265
27.68/27.86	o 5264
27.68/27.87	o 5263
27.68/27.89	o 5262
27.78/27.90	o 5261
27.78/27.92	o 5260
27.78/27.93	o 5259
27.78/27.95	o 5258
27.78/27.96	o 5257
27.78/27.98	o 5256
27.78/27.99	o 5253
27.88/28.00	o 5251
27.88/28.02	o 5250
27.88/28.03	o 5249
27.88/28.05	o 5248
27.88/28.06	o 5247
27.88/28.08	o 5246
27.88/28.09	o 5245
27.98/28.11	o 5243
27.98/28.12	o 5242
27.98/28.16	o 5241
28.08/28.24	o 5240
28.08/28.25	o 5238
28.08/28.27	o 5236
28.08/28.28	o 5235
28.08/28.30	o 5233
28.17/28.31	o 5231
28.17/28.33	o 5230
28.17/28.34	o 5228
28.17/28.35	o 5227
28.17/28.37	o 5224
28.17/28.39	o 5223
28.28/28.41	o 5221
28.28/28.42	o 5219
28.68/28.81	o 5217
28.68/28.82	o 5215
28.68/28.84	o 5213
28.68/28.85	o 5212
28.68/28.86	o 5210
28.68/28.88	o 5205
28.68/28.89	o 5203
28.78/28.97	o 5201
28.78/28.99	o 5199
28.88/29.00	o 5197
28.88/29.02	o 5195
28.88/29.03	o 5193
28.88/29.04	o 5191
28.88/29.06	o 5189
28.88/29.07	o 5187
28.88/29.09	o 5185
28.98/29.10	o 5183
28.98/29.12	o 5181
28.98/29.13	o 5179
28.98/29.15	o 5177
28.98/29.16	o 5175
28.98/29.17	o 5172
28.98/29.19	o 5170
29.08/29.20	o 5168
29.08/29.22	o 5166
29.08/29.23	o 5164
29.08/29.25	o 5162
29.08/29.26	o 5160
29.08/29.27	o 5158
29.08/29.29	o 5156
29.17/29.30	o 5154
29.17/29.32	o 5152
29.17/29.33	o 5150
29.17/29.35	o 5148
29.17/29.36	o 5146
29.17/29.38	o 5144
29.17/29.39	o 5142
29.27/29.40	o 5140
29.27/29.42	o 5138
29.27/29.43	o 5137
29.27/29.45	o 5135
29.27/29.47	o 5134
29.37/29.50	o 5132
29.37/29.52	o 5130
29.37/29.53	o 5128
29.37/29.55	o 5126
29.37/29.56	o 5124
29.37/29.58	o 5122
29.37/29.59	o 5120
29.48/29.60	o 5118
29.48/29.62	o 5116
29.48/29.63	o 5114
29.48/29.65	o 5112
29.48/29.66	o 5110
29.48/29.67	o 5108
29.48/29.69	o 5106
29.58/29.70	o 5104
29.58/29.72	o 5102
29.58/29.73	o 5100
29.58/29.75	o 5098
29.58/29.76	o 5096
29.58/29.77	o 5094
29.58/29.79	o 5092
29.67/29.80	o 5090
29.67/29.82	o 5089
29.67/29.85	o 5087
29.67/29.87	o 5085
29.67/29.88	o 5083
29.67/29.90	o 5081
29.77/29.91	o 5079
29.77/29.92	o 5077
29.77/29.94	o 5075
29.77/29.95	o 5073
29.77/29.97	o 5071
29.77/29.98	o 5069
29.77/30.00	o 5067
29.87/30.01	o 5065
29.87/30.02	o 5063
29.87/30.04	o 5061
29.87/30.05	o 5060
29.87/30.07	o 5058
29.87/30.08	o 5056
29.87/30.10	o 5054
29.96/30.11	o 5052
29.96/30.12	o 5050
29.96/30.14	o 5048
29.96/30.15	o 5046
29.96/30.17	o 5044
29.96/30.19	o 5043
30.06/30.20	o 5041
30.06/30.22	o 5039
30.06/30.23	o 5037
30.06/30.25	o 5035
30.06/30.26	o 5033
30.06/30.28	o 5031
30.06/30.29	o 5029
30.16/30.31	o 5028
30.16/30.33	o 5027
30.16/30.34	o 5025
30.16/30.36	o 5023
30.16/30.37	o 5021
30.16/30.39	o 5020
30.26/30.40	o 5017
30.26/30.41	o 5015
30.26/30.43	o 5013
30.26/30.44	o 5011
30.26/30.46	o 5010
30.26/30.47	o 5007
30.26/30.48	o 5005
30.26/30.50	o 5003
30.36/30.51	o 5002
30.36/30.53	o 5000
30.36/30.54	o 4998
30.36/30.55	o 4996
30.36/30.57	o 4994
30.36/30.58	o 4992
30.36/30.60	o 4990
30.46/30.61	o 4988
30.46/30.62	o 4986
30.46/30.64	o 4984
30.46/30.65	o 4982
30.46/30.67	o 4980
30.46/30.68	o 4979
30.46/30.70	o 4977
30.56/30.71	o 4975
30.56/30.72	o 4973
30.56/30.74	o 4971
30.56/30.75	o 4969
30.56/30.77	o 4967
30.56/30.78	o 4965
30.56/30.80	o 4963
30.67/30.81	o 4961
30.67/30.82	o 4960
30.67/30.86	o 4958
30.67/30.87	o 4956
30.67/30.89	o 4954
30.77/30.92	o 4953
30.77/30.94	o 4951
30.77/30.95	o 4949
30.77/30.97	o 4947
30.77/30.98	o 4945
30.77/30.99	o 4943
30.86/31.01	o 4941
30.86/31.02	o 4935
30.86/31.04	o 4934
30.86/31.05	o 4933
30.86/31.07	o 4931
30.86/31.08	o 4930
30.86/31.09	o 4928
30.96/31.11	o 4927
30.96/31.12	o 4925
30.96/31.14	o 4923
30.96/31.15	o 4921
30.96/31.16	o 4919
30.96/31.18	o 4917
30.96/31.19	o 4915
31.06/31.21	o 4913
31.06/31.22	o 4911
31.06/31.24	o 4910
31.06/31.25	o 4909
31.06/31.26	o 4908
31.06/31.28	o 4906
31.06/31.29	o 4904
31.16/31.31	o 4903
31.16/31.32	o 4901
31.16/31.33	o 4899
31.16/31.35	o 4898
31.16/31.36	o 4896
31.16/31.38	o 4894
31.16/31.39	o 4892
31.26/31.41	o 4890
31.26/31.42	o 4888
31.26/31.43	o 4886
31.26/31.45	o 4884
31.26/31.46	o 4882
31.26/31.48	o 4880
31.26/31.49	o 4878
31.36/31.50	o 4876
31.36/31.52	o 4874
31.36/31.56	o 4873
31.36/31.58	o 4871
31.36/31.59	o 4870
31.46/31.61	o 4868
31.46/31.62	o 4866
31.46/31.64	o 4864
31.46/31.65	o 4862
31.46/31.66	o 4860
31.46/31.68	o 4858
31.46/31.69	o 4856
31.56/31.71	o 4854
31.56/31.72	o 4852
31.56/31.73	o 4850
31.56/31.75	o 4848
31.56/31.76	o 4846
31.56/31.78	o 4844
31.56/31.79	o 4842
31.67/31.80	o 4840
31.67/31.82	o 4838
31.67/31.83	o 4836
31.67/31.86	o 4835
31.67/31.87	o 4833
31.67/31.89	o 4831
31.67/31.90	o 4829
31.76/31.91	o 4827
31.76/31.93	o 4825
31.76/31.94	o 4823
31.76/31.96	o 4821
31.76/31.97	o 4819
31.76/31.98	o 4817
31.86/32.00	o 4815
31.86/32.01	o 4813
31.86/32.03	o 4811
31.86/32.04	o 4809
31.86/32.06	o 4807
31.86/32.07	o 4805
31.86/32.08	o 4803
31.96/32.10	o 4801
31.96/32.11	o 4800
31.96/32.13	o 4798
31.96/32.14	o 4796
31.96/32.17	o 4794
31.96/32.18	o 4793
31.96/32.19	o 4791
32.06/32.21	o 4789
32.06/32.22	o 4787
32.06/32.24	o 4785
32.06/32.25	o 4783
32.06/32.27	o 4781
32.06/32.28	o 4779
32.06/32.29	o 4777
32.16/32.31	o 4775
32.16/32.32	o 4773
32.16/32.34	o 4771
32.16/32.35	o 4769
32.16/32.36	o 4767
32.16/32.38	o 4765
32.16/32.39	o 4763
32.25/32.41	o 4761
32.25/32.42	o 4759
32.25/32.44	o 4757
32.25/32.45	o 4755
32.25/32.46	o 4753
32.25/32.48	o 4751
32.25/32.49	o 4749
32.35/32.51	o 4747
32.35/32.52	o 4745
32.35/32.53	o 4743
32.35/32.55	o 4742
32.35/32.56	o 4740
32.35/32.58	o 4738
32.35/32.59	o 4736
32.45/32.61	o 4734
32.45/32.62	o 4732
32.45/32.63	o 4730
32.45/32.65	o 4728
32.45/32.66	o 4726
32.45/32.68	o 4724
32.45/32.69	o 4722
32.55/32.70	o 4720
32.55/32.72	o 4718
32.55/32.73	o 4716
32.55/32.75	o 4714
32.55/32.76	o 4712
32.55/32.78	o 4710
32.55/32.79	o 4708
32.65/32.80	o 4706
32.65/32.82	o 4704
32.65/32.83	o 4702
32.65/32.85	o 4701
32.65/32.86	o 4699
32.65/32.88	o 4697
32.65/32.89	o 4695
32.75/32.90	o 4693
32.75/32.92	o 4691
32.75/32.93	o 4689
32.75/32.95	o 4687
32.75/32.96	o 4685
32.75/32.97	o 4683
32.75/32.99	o 4681
32.85/33.00	o 4679
32.85/33.02	o 4677
32.85/33.03	o 4675
32.85/33.05	o 4673
32.85/33.06	o 4671
32.85/33.08	o 4669
32.85/33.09	o 4667
32.94/33.15	o 4666
32.94/33.16	o 4664
32.94/33.17	o 4662
32.94/33.19	o 4660
33.04/33.20	o 4658
33.04/33.22	o 4656
33.04/33.23	o 4654
33.04/33.25	o 4652
33.04/33.26	o 4650
33.04/33.27	o 4648
33.04/33.29	o 4646
33.14/33.30	o 4644
33.14/33.32	o 4642
33.14/33.33	o 4640
33.14/33.35	o 4638
33.14/33.36	o 4636
33.14/33.37	o 4634
33.14/33.39	o 4632
33.24/33.40	o 4630
33.24/33.42	o 4629
33.24/33.43	o 4627
33.24/33.47	o 4626
33.24/33.49	o 4624
33.35/33.50	o 4622
33.35/33.52	o 4620
33.35/33.53	o 4618
33.35/33.55	o 4616
33.35/33.56	o 4614
33.35/33.57	o 4612
33.35/33.59	o 4610
33.45/33.60	o 4608
33.45/33.62	o 4607
33.45/33.63	o 4605
33.45/33.65	o 4603
33.45/33.66	o 4601
33.45/33.67	o 4599
33.45/33.69	o 4597
33.54/33.70	o 4595
33.54/33.72	o 4593
33.54/33.73	o 4591
33.54/33.74	o 4589
33.54/33.76	o 4587
33.54/33.77	o 4586
33.54/33.79	o 4584
33.64/33.80	o 4582
33.64/33.82	o 4580
33.64/33.83	o 4578
33.64/33.84	o 4576
33.64/33.86	o 4574
33.64/33.87	o 4572
33.64/33.89	o 4570
33.74/33.90	o 4568
33.74/33.91	o 4566
33.74/33.93	o 4564
33.74/33.94	o 4562
33.74/33.96	o 4560
33.74/33.97	o 4558
33.74/33.99	o 4556
33.74/34.00	o 4554
33.84/34.01	o 4552
33.84/34.03	o 4550
33.84/34.04	o 4548
33.84/34.06	o 4546
33.84/34.07	o 4545
33.84/34.08	o 4543
33.84/34.10	o 4541
33.94/34.11	o 4539
33.94/34.13	o 4537
33.94/34.14	o 4535
33.94/34.16	o 4533
33.94/34.17	o 4531
33.94/34.18	o 4529
34.04/34.20	o 4528
34.04/34.21	o 4526
34.04/34.23	o 4524
34.04/34.24	o 4522
34.04/34.25	o 4520
34.04/34.27	o 4518
34.04/34.28	o 4516
34.04/34.30	o 4514
34.13/34.31	o 4512
34.13/34.33	o 4511
34.13/34.34	o 4509
34.13/34.35	o 4507
34.13/34.37	o 4505
34.13/34.38	o 4503
34.13/34.40	o 4501
34.23/34.41	o 4499
34.23/34.42	o 4497
34.23/34.44	o 4496
34.23/34.45	o 4494
34.23/34.47	o 4492
34.33/34.51	o 4490
34.33/34.53	o 4489
34.33/34.54	o 4488
34.33/34.55	o 4486
34.33/34.57	o 4484
34.33/34.58	o 4482
34.43/34.60	o 4480
34.43/34.61	o 4478
34.43/34.63	o 4476
34.43/34.64	o 4474
34.43/34.65	o 4465
34.43/34.67	o 4463
34.43/34.68	o 4461
34.43/34.70	o 4459
34.53/34.71	o 4457
34.53/34.72	o 4455
34.53/34.74	o 4453
34.53/34.75	o 4451
34.63/34.82	o 4450
34.63/34.83	o 4448
34.63/34.85	o 4447
34.63/34.88	o 4446
34.63/34.90	o 4444
34.72/34.91	o 4442
34.72/34.92	o 4440
34.72/34.94	o 4438
34.72/34.95	o 4436
34.72/34.97	o 4434
34.72/34.98	o 4432
34.72/35.00	o 4430
34.82/35.01	o 4428
34.82/35.02	o 4426
34.82/35.04	o 4424
34.82/35.05	o 4422
34.82/35.07	o 4420
34.82/35.08	o 4418
34.82/35.09	o 4416
34.93/35.11	o 4414
34.93/35.12	o 4412
34.93/35.14	o 4410
34.93/35.15	o 4408
34.93/35.16	o 4406
34.93/35.20	o 4405
35.03/35.21	o 4404
35.03/35.23	o 4402
35.03/35.24	o 4400
35.03/35.26	o 4399
35.03/35.27	o 4397
35.03/35.28	o 4396
35.13/35.30	o 4394
35.13/35.31	o 4392
35.13/35.33	o 4390
35.13/35.34	o 4381
35.13/35.35	o 4379
35.13/35.37	o 4377
35.13/35.38	o 4375
35.13/35.39	o 4373
35.23/35.40	o 4371
35.23/35.42	o 4369
35.23/35.43	o 4367
35.23/35.45	o 4365
35.23/35.46	o 4363
35.23/35.47	o 4361
35.23/35.49	o 4359
35.32/35.50	o 4357
35.32/35.52	o 4355
35.32/35.53	o 4353
35.32/35.54	o 4351
35.32/35.56	o 4349
35.32/35.57	o 4347
35.32/35.59	o 4345
35.42/35.60	o 4343
35.42/35.61	o 4341
35.42/35.63	o 4339
35.42/35.64	o 4337
35.42/35.66	o 4336
35.42/35.67	o 4335
35.42/35.68	o 4333
35.52/35.70	o 4331
35.52/35.71	o 4329
35.52/35.73	o 4328
35.52/35.74	o 4327
35.52/35.76	o 4325
35.52/35.77	o 4324
35.52/35.78	o 4322
35.62/35.80	o 4320
35.62/35.81	o 4318
35.62/35.84	o 4317
35.62/35.85	o 4315
35.62/35.86	o 4313
35.62/35.88	o 4311
35.62/35.89	o 4309
35.72/35.91	o 4308
35.72/35.92	o 4306
35.72/35.93	o 4304
35.72/35.95	o 4302
35.72/35.96	o 4300
35.72/35.98	o 4298
35.72/35.99	o 4296
35.82/36.01	o 4294
35.82/36.02	o 4292
35.82/36.03	o 4291
35.82/36.05	o 4289
35.82/36.06	o 4287
35.82/36.08	o 4285
35.82/36.09	o 4283
35.92/36.11	o 4281
35.92/36.12	o 4279
35.92/36.13	o 4277
35.92/36.15	o 4275
35.92/36.16	o 4273
35.92/36.18	o 4271
35.92/36.19	o 4269
36.03/36.20	o 4267
36.03/36.22	o 4265
36.03/36.23	o 4263
36.03/36.25	o 4261
36.03/36.26	o 4259
36.03/36.28	o 4257
36.03/36.29	o 4254
36.13/36.30	o 4253
36.13/36.32	o 4251
36.13/36.33	o 4249
36.13/36.34	o 4247
36.13/36.36	o 4245
36.13/36.38	o 4243
36.13/36.39	o 4241
36.22/36.41	o 4239
36.22/36.42	o 4237
36.22/36.44	o 4236
36.22/36.45	o 4234
36.22/36.46	o 4232
36.22/36.48	o 4230
36.22/36.49	o 4228
36.32/36.51	o 4226
36.32/36.56	o 4224
36.32/36.58	o 4222
36.32/36.59	o 4220
36.42/36.60	o 4219
36.42/36.62	o 4217
36.42/36.63	o 4215
36.42/36.65	o 4213
36.42/36.66	o 4211
36.42/36.68	o 4209
36.42/36.69	o 4207
36.52/36.70	o 4205
36.52/36.72	o 4203
36.52/36.73	o 4201
36.52/36.75	o 4199
36.52/36.76	o 4197
36.52/36.77	o 4195
36.52/36.79	o 4193
36.62/36.80	o 4191
36.62/36.82	o 4189
36.62/36.84	o 4187
36.62/36.86	o 4185
36.62/36.87	o 4183
36.62/36.88	o 4181
36.72/36.90	o 4180
36.72/36.91	o 4178
36.72/36.94	o 4177
36.72/36.95	o 4175
36.72/36.97	o 4174
36.72/36.98	o 4172
36.72/36.99	o 4170
36.82/37.01	o 4168
36.82/37.02	o 4166
36.82/37.04	o 4164
36.82/37.05	o 4162
36.82/37.06	o 4160
36.82/37.08	o 4158
36.82/37.09	o 4156
36.92/37.15	o 4155
36.92/37.16	o 4153
36.92/37.17	o 4151
36.92/37.19	o 4150
37.02/37.20	o 4148
37.02/37.22	o 4146
37.02/37.23	o 4144
37.02/37.25	o 4142
37.02/37.26	o 4141
37.02/37.27	o 4138
37.02/37.29	o 4136
37.02/37.30	o 4134
37.12/37.32	o 4132
37.12/37.33	o 4130
37.12/37.34	o 4128
37.12/37.36	o 4126
37.12/37.37	o 4124
37.12/37.40	o 4122
37.22/37.41	o 4121
37.22/37.43	o 4119
37.22/37.44	o 4118
37.22/37.45	o 4116
37.22/37.47	o 4114
37.22/37.48	o 4112
37.31/37.52	o 4111
37.31/37.53	o 4109
37.31/37.54	o 4107
37.31/37.56	o 4106
37.31/37.57	o 4104
37.31/37.59	o 4103
37.41/37.60	o 4101
37.41/37.61	o 4099
37.51/37.72	o 4097
37.51/37.75	o 4096
37.51/37.76	o 4095
37.51/37.77	o 4093
37.51/37.79	o 4091
37.62/37.80	o 4089
37.62/37.82	o 4088
37.62/37.83	o 4086
37.62/37.84	o 4084
37.62/37.86	o 4082
37.62/37.87	o 4081
37.71/37.92	o 4080
37.71/37.94	o 4078
37.71/37.95	o 4076
37.81/38.04	o 4075
37.81/38.05	o 4073
37.81/38.07	o 4072
37.81/38.08	o 4071
37.81/38.10	o 4069
37.91/38.11	o 4067
37.91/38.12	o 4066
37.91/38.14	o 4065
37.91/38.15	o 4063
37.91/38.17	o 4061
37.91/38.18	o 4059
37.91/38.19	o 4058
38.01/38.21	o 4057
38.01/38.22	o 4055
38.11/38.32	o 4053
38.11/38.33	o 4051
38.11/38.34	o 4049
38.11/38.36	o 4047
38.11/38.37	o 4045
38.11/38.39	o 4043
38.11/38.40	o 4041
38.21/38.41	o 4039
38.21/38.43	o 4037
38.21/38.44	o 4035
38.21/38.46	o 4033
38.21/38.47	o 4031
38.21/38.49	o 4029
38.32/38.51	o 4027
38.32/38.52	o 4025
38.32/38.54	o 4023
38.32/38.55	o 4021
38.32/38.56	o 4019
38.32/38.58	o 4017
38.32/38.59	o 4015
38.41/38.61	o 4013
38.41/38.62	o 4012
38.41/38.64	o 4010
38.41/38.65	o 4009
38.41/38.66	o 4007
38.41/38.69	o 4005
38.51/38.75	o 4004
38.51/38.77	o 4002
38.51/38.78	o 4001
38.61/38.83	o 4000
38.61/38.84	o 3998
38.61/38.89	o 3996
38.71/38.90	o 3994
38.71/38.91	o 3992
38.71/38.93	o 3991
38.71/38.95	o 3989
38.71/38.96	o 3987
38.71/38.97	o 3985
38.81/39.01	o 3983
38.81/39.05	o 3982
38.81/39.07	o 3980
38.91/39.11	o 3978
38.91/39.13	o 3976
38.91/39.14	o 3974
38.91/39.16	o 3972
38.91/39.17	o 3971
38.91/39.19	o 3969
39.01/39.20	o 3967
39.11/39.31	o 3965
39.11/39.33	o 3963
39.21/39.41	o 3961
39.21/39.43	o 3960
39.21/39.44	o 3959
39.21/39.48	o 3958
39.21/39.49	o 3956
39.21/39.50	o 3954
39.31/39.52	o 3952
39.31/39.53	o 3950
39.31/39.55	o 3948
39.31/39.56	o 3947
39.31/39.57	o 3946
39.31/39.59	o 3944
39.41/39.60	o 3942
39.41/39.62	o 3940
39.41/39.63	o 3939
39.41/39.65	o 3937
39.41/39.66	o 3935
39.41/39.69	o 3934
39.51/39.70	o 3932
39.51/39.72	o 3930
39.51/39.74	o 3928
39.51/39.79	o 3927
39.61/39.81	o 3926
39.61/39.83	o 3925
39.61/39.85	o 3924
39.61/39.87	o 3923
39.61/39.89	o 3922
39.71/39.91	o 3921
39.71/39.93	o 3920
39.71/39.95	o 3919
39.71/39.98	o 3918
39.71/40.00	o 3917
39.80/40.02	o 3915
39.80/40.04	o 3914
39.80/40.06	o 3913
39.90/40.19	o 3912
40.00/40.21	o 3911
40.00/40.23	o 3910
40.00/40.25	o 3909
40.00/40.27	o 3908
40.00/40.29	o 3907
40.10/40.31	o 3906
40.10/40.33	o 3905
40.10/40.35	o 3904
40.10/40.37	o 3903
40.10/40.39	o 3902
40.21/40.41	o 3901
40.21/40.43	o 3900
40.21/40.45	o 3899
40.21/40.47	o 3898
40.21/40.49	o 3897
40.31/40.51	o 3895
40.31/40.53	o 3894
40.31/40.56	o 3893
40.31/40.58	o 3892
40.31/40.60	o 3891
40.41/40.62	o 3890
40.41/40.64	o 3889
40.41/40.66	o 3887
40.41/40.68	o 3886
40.41/40.69	o 3884
40.51/40.70	o 3882
40.51/40.72	o 3881
40.51/40.74	o 3880
40.51/40.77	o 3879
40.51/40.79	o 3878
40.60/40.81	o 3877
40.60/40.83	o 3876
40.60/40.85	o 3875
40.60/40.87	o 3874
40.60/40.89	o 3873
40.70/40.91	o 3872
40.70/40.93	o 3871
40.70/40.95	o 3870
40.70/40.97	o 3869
40.70/40.99	o 3868
40.80/41.01	o 3867
40.80/41.04	o 3866
40.80/41.06	o 3865
40.80/41.08	o 3864
40.80/41.10	o 3863
40.90/41.12	o 3862
40.90/41.14	o 3861
40.90/41.16	o 3860
40.90/41.18	o 3859
40.90/41.20	o 3858
41.00/41.22	o 3857
41.00/41.24	o 3856
41.00/41.26	o 3855
41.00/41.27	o 3854
41.00/41.29	o 3853
41.10/41.31	o 3852
41.10/41.33	o 3850
41.10/41.35	o 3849
41.10/41.37	o 3848
41.10/41.39	o 3847
41.20/41.41	o 3846
41.20/41.43	o 3845
41.20/41.45	o 3844
41.20/41.47	o 3843
41.20/41.49	o 3842
41.30/41.54	o 3841
41.30/41.56	o 3840
41.30/41.58	o 3839
41.30/41.60	o 3838
41.39/41.62	o 3837
41.39/41.64	o 3835
41.39/41.66	o 3834
41.39/41.68	o 3833
41.39/41.70	o 3832
41.50/41.72	o 3831
41.50/41.74	o 3830
41.50/41.76	o 3829
41.50/41.78	o 3828
41.50/41.80	o 3827
41.60/41.82	o 3826
41.60/41.84	o 3825
41.60/41.86	o 3824
41.60/41.88	o 3823
41.60/41.90	o 3822
41.70/41.92	o 3821
41.70/41.94	o 3820
41.70/41.95	o 3819
41.70/41.98	o 3817
41.70/42.00	o 3815
41.80/42.02	o 3814
41.80/42.04	o 3813
41.80/42.05	o 3811
41.80/42.07	o 3810
41.80/42.09	o 3809
41.90/42.11	o 3808
41.90/42.13	o 3807
41.90/42.15	o 3806
41.90/42.17	o 3805
41.90/42.19	o 3804
42.00/42.21	o 3803
42.00/42.23	o 3802
42.00/42.25	o 3801
42.00/42.27	o 3800
42.00/42.29	o 3799
42.10/42.31	o 3798
42.10/42.33	o 3796
42.10/42.35	o 3795
42.10/42.37	o 3794
42.10/42.39	o 3793
42.19/42.41	o 3792
42.19/42.43	o 3791
42.19/42.45	o 3790
42.19/42.47	o 3789
42.19/42.48	o 3787
42.19/42.50	o 3785
42.29/42.51	o 3783
42.29/42.53	o 3781
42.29/42.55	o 3779
42.29/42.56	o 3777
42.29/42.58	o 3776
42.39/42.60	o 3775
42.39/42.62	o 3774
42.39/42.64	o 3773
42.39/42.66	o 3772
42.39/42.68	o 3771
42.49/42.70	o 3770
42.49/42.72	o 3769
42.49/42.74	o 3768
42.49/42.76	o 3767
42.49/42.77	o 3765
42.49/42.79	o 3764
42.59/42.81	o 3763
42.59/42.83	o 3762
42.59/42.85	o 3761
42.59/42.87	o 3759
42.59/42.89	o 3758
42.69/42.91	o 3757
42.69/42.93	o 3756
42.69/42.94	o 3755
42.69/42.96	o 3754
42.69/42.98	o 3753
42.79/43.01	o 3752
42.79/43.03	o 3751
42.79/43.05	o 3750
42.79/43.07	o 3749
42.89/43.10	o 3748
42.89/43.12	o 3747
42.89/43.14	o 3746
42.89/43.16	o 3745
42.89/43.18	o 3744
42.99/43.20	o 3743
42.99/43.22	o 3742
42.99/43.24	o 3741
42.99/43.26	o 3740
42.99/43.28	o 3739
42.99/43.29	o 3738
43.09/43.31	o 3737
43.09/43.33	o 3736
43.09/43.35	o 3735
43.09/43.37	o 3734
43.09/43.39	o 3733
43.19/43.41	o 3732
43.19/43.43	o 3731
43.19/43.47	o 3730
43.19/43.49	o 3729
43.29/43.50	o 3728
43.29/43.52	o 3727
43.29/43.54	o 3726
43.29/43.56	o 3725
43.29/43.58	o 3724
43.38/43.60	o 3723
43.38/43.62	o 3722
43.38/43.64	o 3721
43.38/43.66	o 3719
43.38/43.68	o 3718
43.38/43.69	o 3716
43.48/43.71	o 3715
43.48/43.73	o 3714
43.48/43.75	o 3713
43.48/43.77	o 3712
43.48/43.79	o 3711
43.58/43.81	o 3710
43.58/43.83	o 3709
43.58/43.85	o 3708
43.58/43.87	o 3707
43.58/43.89	o 3706
43.68/43.91	o 3705
43.68/43.93	o 3704
43.68/43.95	o 3703
43.68/43.97	o 3702
43.68/43.98	o 3700
43.78/44.03	o 3699
43.78/44.05	o 3698
43.78/44.07	o 3697
43.78/44.09	o 3696
43.89/44.11	o 3695
43.89/44.12	o 3694
43.89/44.14	o 3693
43.89/44.16	o 3692
43.89/44.18	o 3690
43.99/44.20	o 3689
43.99/44.27	o 3687
43.99/44.29	o 3686
44.08/44.31	o 3685
44.08/44.33	o 3684
44.08/44.35	o 3683
44.08/44.38	o 3682
44.08/44.40	o 3681
44.18/44.41	o 3679
44.18/44.44	o 3678
44.18/44.46	o 3677
44.18/44.48	o 3676
44.28/44.50	o 3675
44.28/44.52	o 3674
44.28/44.54	o 3673
44.28/44.56	o 3672
44.28/44.57	o 3671
44.28/44.59	o 3669
44.38/44.61	o 3668
44.38/44.63	o 3667
44.38/44.65	o 3666
44.38/44.67	o 3665
44.38/44.69	o 3664
44.48/44.71	o 3663
44.48/44.73	o 3662
44.48/44.74	o 3660
44.48/44.76	o 3659
44.48/44.78	o 3658
44.58/44.80	o 3657
44.58/44.82	o 3656
44.58/44.84	o 3655
44.58/44.86	o 3654
44.58/44.87	o 3653
44.58/44.89	o 3652
44.68/44.91	o 3651
44.68/44.93	o 3650
44.68/44.95	o 3649
44.68/44.97	o 3648
44.68/44.99	o 3647
44.78/45.01	o 3646
44.78/45.03	o 3645
44.78/45.05	o 3644
44.78/45.07	o 3643
44.78/45.08	o 3642
44.88/45.10	o 3641
44.88/45.12	o 3640
44.88/45.14	o 3639
44.88/45.16	o 3638
44.88/45.18	o 3637
44.97/45.20	o 3636
44.97/45.22	o 3635
44.97/45.24	o 3634
44.97/45.26	o 3633
44.97/45.28	o 3632
44.97/45.29	o 3631
45.08/45.31	o 3630
45.08/45.33	o 3629
45.08/45.35	o 3628
45.18/45.41	o 3627
45.18/45.42	o 3626
45.18/45.44	o 3625
45.18/45.46	o 3624
45.18/45.48	o 3623
45.27/45.50	o 3622
45.27/45.52	o 3621
45.27/45.54	o 3620
45.27/45.56	o 3619
45.27/45.58	o 3618
45.27/45.59	o 3617
45.37/45.63	o 3615
45.37/45.65	o 3614
45.37/45.66	o 3613
45.37/45.68	o 3612
45.47/45.70	o 3611
45.47/45.72	o 3610
45.47/45.74	o 3609
45.47/45.76	o 3608
45.47/45.78	o 3607
45.47/45.80	o 3606
45.57/45.81	o 3604
45.57/45.83	o 3603
45.57/45.85	o 3602
45.57/45.87	o 3601
45.57/45.89	o 3600
45.67/45.91	o 3599
45.67/45.92	o 3597
45.67/45.94	o 3596
45.67/45.96	o 3595
45.67/45.98	o 3594
45.67/46.00	o 3593
45.77/46.01	o 3592
45.77/46.03	o 3591
45.77/46.05	o 3590
45.77/46.07	o 3589
45.77/46.09	o 3588
45.87/46.11	o 3587
45.87/46.13	o 3586
45.87/46.14	o 3584
45.87/46.16	o 3583
45.87/46.18	o 3582
45.87/46.20	o 3581
45.98/46.22	o 3580
45.98/46.23	o 3578
45.98/46.25	o 3577
45.98/46.27	o 3576
45.98/46.29	o 3575
46.07/46.30	o 3574
46.07/46.32	o 3573
46.07/46.34	o 3572
46.07/46.36	o 3571
46.07/46.38	o 3570
46.17/46.40	o 3569
46.17/46.42	o 3568
46.17/46.45	o 3567
46.17/46.47	o 3566
46.17/46.48	o 3565
46.27/46.50	o 3564
46.27/46.52	o 3563
46.27/46.54	o 3562
46.27/46.57	o 3560
46.27/46.58	o 3558
46.37/46.60	o 3557
46.37/46.62	o 3556
46.37/46.64	o 3555
46.37/46.66	o 3554
46.37/46.67	o 3552
46.37/46.69	o 3551
46.47/46.71	o 3550
46.47/46.73	o 3549
46.47/46.75	o 3548
46.47/46.76	o 3547
46.47/46.78	o 3546
46.57/46.80	o 3545
46.57/46.82	o 3544
46.57/46.84	o 3543
46.57/46.85	o 3541
46.57/46.87	o 3540
46.57/46.89	o 3538
46.66/46.90	o 3536
46.66/46.92	o 3534
46.66/46.93	o 3533
46.66/46.95	o 3532
46.66/46.97	o 3531
46.66/46.99	o 3530
46.76/47.01	o 3529
46.76/47.03	o 3528
46.76/47.04	o 3527
46.76/47.06	o 3526
46.76/47.08	o 3525
46.86/47.10	o 3524
46.86/47.12	o 3523
46.86/47.14	o 3522
46.86/47.15	o 3521
46.86/47.17	o 3520
46.86/47.19	o 3519
46.96/47.21	o 3518
46.96/47.23	o 3517
46.96/47.25	o 3516
46.96/47.26	o 3515
46.96/47.28	o 3514
46.96/47.30	o 3513
47.06/47.32	o 3512
47.06/47.34	o 3511
47.06/47.36	o 3510
47.06/47.37	o 3509
47.06/47.39	o 3508
47.16/47.41	o 3507
47.16/47.43	o 3506
47.16/47.45	o 3505
47.16/47.47	o 3504
47.16/47.48	o 3503
47.26/47.50	o 3502
47.26/47.52	o 3501
47.26/47.54	o 3500
47.26/47.56	o 3499
47.26/47.58	o 3498
47.26/47.59	o 3497
47.36/47.61	o 3496
47.36/47.63	o 3495
47.36/47.65	o 3494
47.36/47.67	o 3493
47.36/47.69	o 3492
47.46/47.70	o 3491
47.46/47.72	o 3490
47.46/47.74	o 3489
47.46/47.76	o 3488
47.46/47.78	o 3487
47.56/47.81	o 3485
47.56/47.83	o 3484
47.56/47.85	o 3483
47.56/47.86	o 3481
47.56/47.88	o 3480
47.66/47.90	o 3479
47.66/47.92	o 3473
47.66/47.94	o 3472
47.66/47.95	o 3470
47.66/47.97	o 3469
47.66/47.99	o 3468
47.76/48.01	o 3467
47.76/48.03	o 3465
47.76/48.04	o 3464
47.76/48.06	o 3462
47.76/48.07	o 3461
47.76/48.09	o 3460
47.86/48.11	o 3459
47.86/48.13	o 3458
47.86/48.15	o 3457
47.86/48.16	o 3456
47.86/48.18	o 3455
47.96/48.20	o 3454
47.96/48.22	o 3453
47.96/48.24	o 3452
47.96/48.25	o 3451
47.96/48.27	o 3450
47.96/48.29	o 3449
48.06/48.31	o 3448
48.06/48.33	o 3447
48.06/48.34	o 3445
48.06/48.36	o 3444
48.06/48.38	o 3443
48.06/48.40	o 3442
48.16/48.42	o 3441
48.16/48.43	o 3440
48.16/48.45	o 3439
48.16/48.48	o 3438
48.16/48.49	o 3437
48.25/48.51	o 3436
48.25/48.53	o 3435
48.25/48.55	o 3434
48.25/48.56	o 3433
48.25/48.58	o 3432
48.35/48.60	o 3431
48.35/48.62	o 3430
48.35/48.64	o 3429
48.35/48.65	o 3428
48.35/48.67	o 3427
48.35/48.69	o 3426
48.45/48.71	o 3425
48.45/48.73	o 3424
48.45/48.74	o 3422
48.45/48.76	o 3421
48.45/48.78	o 3420
48.45/48.79	o 3419
48.55/48.81	o 3418
48.55/48.83	o 3417
48.55/48.85	o 3416
48.55/48.87	o 3415
48.55/48.88	o 3414
48.66/48.90	o 3413
48.66/48.92	o 3412
48.66/48.94	o 3411
48.66/48.95	o 3410
48.66/48.97	o 3409
48.66/48.99	o 3408
48.76/49.01	o 3407
48.76/49.03	o 3406
48.76/49.04	o 3405
48.76/49.06	o 3404
48.76/49.08	o 3403
48.76/49.10	o 3402
48.86/49.12	o 3401
48.86/49.13	o 3399
48.86/49.15	o 3398
48.86/49.16	o 3397
48.86/49.18	o 3396
48.96/49.20	o 3395
48.96/49.22	o 3394
48.96/49.24	o 3393
48.96/49.25	o 3392
48.96/49.27	o 3391
48.96/49.28	o 3389
49.06/49.30	o 3388
49.06/49.32	o 3387
49.06/49.33	o 3386
49.06/49.35	o 3385
49.06/49.37	o 3384
49.06/49.39	o 3383
49.16/49.41	o 3382
49.16/49.42	o 3381
49.16/49.44	o 3380
49.16/49.46	o 3379
49.16/49.48	o 3378
49.16/49.49	o 3377
49.26/49.51	o 3376
49.26/49.53	o 3375
49.26/49.55	o 3374
49.26/49.56	o 3373
49.26/49.58	o 3372
49.35/49.60	o 3371
49.35/49.62	o 3370
49.35/49.64	o 3369
49.35/49.65	o 3368
49.35/49.67	o 3367
49.35/49.69	o 3366
49.46/49.71	o 3364
49.46/49.72	o 3363
49.46/49.74	o 3362
49.46/49.76	o 3361
49.46/49.78	o 3360
49.46/49.79	o 3359
49.56/49.81	o 3358
49.56/49.83	o 3357
49.56/49.85	o 3356
49.56/49.86	o 3355
49.56/49.88	o 3354
49.65/49.90	o 3353
49.65/49.92	o 3352
49.65/49.93	o 3351
49.65/49.95	o 3350
49.65/49.97	o 3348
49.65/49.99	o 3347
49.75/50.01	o 3346
49.75/50.02	o 3345
49.75/50.04	o 3344
49.75/50.06	o 3343
49.75/50.08	o 3342
49.75/50.09	o 3341
49.85/50.11	o 3340
49.85/50.13	o 3339
49.85/50.15	o 3338
49.85/50.16	o 3337
49.85/50.18	o 3336
49.85/50.20	o 3335
49.95/50.22	o 3334
49.95/50.23	o 3333
49.95/50.25	o 3332
49.95/50.27	o 3331
49.95/50.29	o 3330
50.05/50.30	o 3329
50.05/50.32	o 3328
50.05/50.34	o 3327
50.05/50.36	o 3326
50.05/50.37	o 3325
50.05/50.39	o 3324
50.15/50.40	o 3322
50.15/50.42	o 3321
50.15/50.44	o 3320
50.15/50.45	o 3319
50.15/50.47	o 3318
50.15/50.49	o 3317
50.25/50.51	o 3316
50.25/50.54	o 3315
50.25/50.55	o 3314
50.25/50.57	o 3313
50.25/50.59	o 3311
50.25/50.60	o 3309
50.35/50.62	o 3308
50.35/50.64	o 3307
50.35/50.65	o 3306
50.35/50.67	o 3305
50.35/50.69	o 3304
50.45/50.71	o 3303
50.45/50.72	o 3302
50.45/50.74	o 3300
50.45/50.75	o 3299
50.45/50.77	o 3298
50.45/50.79	o 3297
50.55/50.81	o 3296
50.55/50.82	o 3295
50.55/50.84	o 3294
50.55/50.86	o 3293
50.55/50.88	o 3292
50.55/50.89	o 3291
50.64/50.91	o 3290
50.64/50.93	o 3289
50.64/50.94	o 3287
50.64/50.96	o 3286
50.64/50.98	o 3285
50.64/50.99	o 3284
50.74/51.01	o 3283
50.74/51.03	o 3282
50.74/51.04	o 3280
50.74/51.06	o 3279
50.74/51.08	o 3278
50.74/51.10	o 3277
50.84/51.11	o 3276
50.84/51.13	o 3275
50.84/51.15	o 3274
50.84/51.16	o 3273
50.84/51.18	o 3272
50.95/51.20	o 3271
50.95/51.22	o 3270
50.95/51.23	o 3269
50.95/51.25	o 3268
50.95/51.27	o 3267
50.95/51.29	o 3266
51.05/51.30	o 3265
51.05/51.32	o 3264
51.05/51.34	o 3263
51.05/51.35	o 3261
51.05/51.37	o 3260
51.05/51.38	o 3259
51.15/51.40	o 3258
51.15/51.42	o 3257
51.15/51.43	o 3255
51.15/51.45	o 3254
51.15/51.47	o 3253
51.15/51.49	o 3252
51.24/51.50	o 3251
51.24/51.52	o 3250
51.24/51.54	o 3249
51.24/51.55	o 3248
51.24/51.57	o 3247
51.24/51.59	o 3246
51.35/51.61	o 3245
51.35/51.62	o 3244
51.35/51.64	o 3243
51.35/51.66	o 3242
51.35/51.67	o 3241
51.35/51.69	o 3240
51.45/51.71	o 3239
51.45/51.72	o 3238
51.45/51.74	o 3237
51.45/51.76	o 3236
51.45/51.78	o 3235
51.45/51.79	o 3234
51.54/51.81	o 3232
51.54/51.82	o 3231
51.54/51.84	o 3230
51.54/51.86	o 3229
51.54/51.88	o 3228
51.54/51.89	o 3227
51.64/51.91	o 3226
51.64/51.92	o 3224
51.64/51.94	o 3223
51.64/51.96	o 3222
51.64/51.98	o 3221
51.64/51.99	o 3220
51.74/52.01	o 3219
51.74/52.03	o 3218
51.74/52.04	o 3217
51.74/52.06	o 3215
51.74/52.07	o 3214
51.74/52.09	o 3213
51.83/52.11	o 3212
51.83/52.12	o 3211
51.83/52.14	o 3210
51.83/52.16	o 3209
51.83/52.17	o 3208
51.83/52.19	o 3206
51.93/52.20	o 3205
51.93/52.22	o 3204
51.93/52.24	o 3203
51.93/52.26	o 3202
51.93/52.28	o 3201
52.03/52.34	o 3200
52.03/52.36	o 3199
52.03/52.37	o 3197
52.03/52.39	o 3196
52.13/52.41	o 3195
52.13/52.42	o 3194
52.13/52.44	o 3193
52.13/52.46	o 3192
52.13/52.47	o 3190
52.13/52.49	o 3189
52.24/52.51	o 3188
52.24/52.52	o 3187
52.24/52.54	o 3186
52.24/52.56	o 3185
52.24/52.57	o 3183
52.24/52.58	o 3182
52.34/52.62	o 3181
52.34/52.64	o 3179
52.34/52.65	o 3177
52.34/52.67	o 3175
52.34/52.68	o 3174
52.34/52.70	o 3173
52.44/52.72	o 3172
52.44/52.73	o 3171
52.44/52.75	o 3170
52.44/52.77	o 3169
52.44/52.78	o 3168
52.44/52.80	o 3167
52.54/52.82	o 3166
52.54/52.83	o 3165
52.54/52.85	o 3164
52.54/52.87	o 3163
52.54/52.88	o 3162
52.64/52.90	o 3161
52.64/52.92	o 3160
52.64/52.93	o 3159
52.64/52.95	o 3158
52.64/52.97	o 3157
52.64/52.98	o 3155
52.74/53.00	o 3154
52.74/53.01	o 3153
52.74/53.03	o 3152
52.74/53.05	o 3151
52.74/53.06	o 3150
52.74/53.08	o 3149
52.74/53.10	o 3148
52.84/53.11	o 3147
52.84/53.13	o 3146
52.84/53.15	o 3145
52.84/53.16	o 3144
52.84/53.18	o 3143
52.84/53.20	o 3142
52.93/53.21	o 3141
52.93/53.23	o 3140
52.93/53.24	o 3138
52.93/53.26	o 3137
52.93/53.27	o 3136
52.93/53.29	o 3134
53.03/53.31	o 3133
53.03/53.32	o 3132
53.03/53.34	o 3131
53.03/53.36	o 3130
53.03/53.37	o 3129
53.03/53.39	o 3128
53.13/53.41	o 3127
53.13/53.42	o 3125
53.13/53.43	o 3124
53.13/53.45	o 3123
53.13/53.47	o 3122
53.13/53.48	o 3121
53.13/53.49	o 3119
53.23/53.51	o 3118
53.23/53.53	o 3117
53.23/53.54	o 3116
53.23/53.56	o 3115
53.23/53.58	o 3114
53.23/53.59	o 3113
53.33/53.61	o 3112
53.33/53.62	o 3111
53.33/53.64	o 3110
53.33/53.66	o 3109
53.33/53.67	o 3108
53.33/53.69	o 3107
53.43/53.71	o 3106
53.43/53.72	o 3105
53.43/53.74	o 3103
53.43/53.75	o 3102
53.43/53.77	o 3101
53.43/53.79	o 3100
53.53/53.80	o 3099
53.53/53.82	o 3098
53.53/53.83	o 3097
53.53/53.85	o 3096
53.53/53.87	o 3095
53.53/53.88	o 3094
53.53/53.90	o 3093
53.63/53.92	o 3092
53.63/53.93	o 3091
53.63/53.97	o 3089
53.63/53.99	o 3087
53.72/54.00	o 3085
53.72/54.01	o 3083
53.72/54.03	o 3081
53.72/54.04	o 3080
53.72/54.06	o 3079
53.72/54.08	o 3078
53.72/54.09	o 3077
53.82/54.11	o 3076
53.82/54.12	o 3075
53.82/54.14	o 3074
53.82/54.16	o 3073
53.82/54.17	o 3072
53.82/54.19	o 3071
53.92/54.21	o 3070
53.92/54.22	o 3069
53.92/54.24	o 3068
53.92/54.25	o 3067
53.92/54.27	o 3066
53.92/54.29	o 3065
54.02/54.30	o 3064
54.02/54.32	o 3063
54.02/54.33	o 3062
54.02/54.35	o 3061
54.02/54.37	o 3060
54.02/54.38	o 3059
54.13/54.40	o 3058
54.13/54.42	o 3057
54.13/54.43	o 3056
54.13/54.45	o 3055
54.13/54.46	o 3054
54.13/54.48	o 3053
54.13/54.50	o 3052
54.23/54.51	o 3051
54.23/54.53	o 3050
54.23/54.54	o 3049
54.23/54.56	o 3048
54.23/54.58	o 3047
54.23/54.59	o 3046
54.33/54.61	o 3045
54.33/54.63	o 3044
54.33/54.64	o 3043
54.33/54.66	o 3042
54.33/54.67	o 3041
54.33/54.69	o 3040
54.42/54.71	o 3039
54.42/54.72	o 3038
54.42/54.78	o 3037
54.52/54.80	o 3036
54.52/54.81	o 3035
54.52/54.83	o 3033
54.52/54.85	o 3032
54.52/54.86	o 3031
54.52/54.88	o 3030
54.52/54.89	o 3029
54.63/54.91	o 3028
54.63/54.93	o 3027
54.63/54.94	o 3026
54.63/54.96	o 3025
54.63/54.97	o 3024
54.63/54.99	o 3023
54.73/55.01	o 3022
54.73/55.02	o 3021
54.73/55.04	o 3020
54.73/55.05	o 3019
54.73/55.06	o 3018
54.73/55.08	o 3017
54.73/55.10	o 3016
54.82/55.11	o 3015
54.82/55.13	o 3014
54.82/55.14	o 3013
54.82/55.16	o 3012
54.82/55.18	o 3011
54.82/55.19	o 3010
54.92/55.21	o 3009
54.92/55.22	o 3008
54.92/55.24	o 3007
54.92/55.25	o 3006
54.92/55.27	o 3005
54.92/55.29	o 3004
55.02/55.30	o 3003
55.02/55.32	o 3002
55.02/55.33	o 3001
55.02/55.35	o 3000
55.02/55.37	o 2999
55.02/55.38	o 2998
55.02/55.39	o 2996
55.13/55.41	o 2995
55.13/55.43	o 2994
55.13/55.44	o 2993
55.13/55.46	o 2991
55.13/55.47	o 2989
55.13/55.48	o 2988
55.22/55.50	o 2987
55.22/55.52	o 2986
55.22/55.53	o 2985
55.22/55.55	o 2984
55.22/55.56	o 2983
55.22/55.58	o 2982
55.22/55.59	o 2981
55.32/55.61	o 2980
55.32/55.63	o 2979
55.32/55.64	o 2978
55.32/55.66	o 2977
55.32/55.67	o 2976
55.32/55.69	o 2975
55.42/55.71	o 2974
55.42/55.72	o 2973
55.42/55.74	o 2972
55.42/55.75	o 2971
55.42/55.77	o 2970
55.42/55.78	o 2969
55.52/55.83	o 2968
55.52/55.85	o 2967
55.52/55.86	o 2966
55.52/55.88	o 2965
55.52/55.89	o 2963
55.62/55.91	o 2962
55.62/55.93	o 2961
55.62/55.94	o 2960
55.62/55.96	o 2959
55.62/55.97	o 2958
55.62/55.99	o 2957
55.72/56.00	o 2956
55.72/56.02	o 2955
55.72/56.04	o 2954
55.72/56.05	o 2953
55.72/56.07	o 2952
55.72/56.08	o 2951
55.72/56.10	o 2950
55.82/56.11	o 2949
55.82/56.13	o 2948
55.82/56.15	o 2947
55.82/56.16	o 2946
55.82/56.18	o 2945
55.82/56.19	o 2944
55.91/56.21	o 2943
55.91/56.22	o 2942
55.91/56.24	o 2941
55.91/56.25	o 2940
55.91/56.27	o 2939
55.91/56.29	o 2938
56.02/56.30	o 2937
56.02/56.31	o 2935
56.02/56.33	o 2934
56.02/56.34	o 2933
56.02/56.36	o 2932
56.02/56.38	o 2931
56.02/56.39	o 2930
56.12/56.41	o 2929
56.12/56.42	o 2928
56.12/56.44	o 2927
56.12/56.45	o 2926
56.12/56.47	o 2925
56.12/56.48	o 2924
56.22/56.50	o 2923
56.22/56.52	o 2922
56.22/56.57	o 2921
56.22/56.59	o 2920
56.32/56.60	o 2919
56.32/56.64	o 2918
56.32/56.66	o 2917
56.32/56.68	o 2916
56.32/56.69	o 2915
56.41/56.71	o 2914
56.41/56.72	o 2913
56.41/56.74	o 2912
56.41/56.75	o 2911
56.41/56.77	o 2910
56.41/56.78	o 2909
56.51/56.80	o 2908
56.51/56.81	o 2907
56.51/56.83	o 2906
56.51/56.85	o 2905
56.51/56.86	o 2904
56.51/56.88	o 2903
56.51/56.89	o 2902
56.62/56.91	o 2901
56.62/56.92	o 2900
56.62/56.94	o 2899
56.62/56.95	o 2898
56.62/56.97	o 2897
56.62/56.99	o 2896
56.72/57.00	o 2895
56.72/57.02	o 2894
56.72/57.03	o 2893
56.72/57.05	o 2892
56.72/57.06	o 2891
56.72/57.08	o 2890
56.72/57.09	o 2889
56.82/57.11	o 2888
56.82/57.12	o 2887
56.82/57.18	o 2886
56.82/57.19	o 2885
56.91/57.21	o 2883
56.91/57.22	o 2882
56.91/57.24	o 2881
56.91/57.26	o 2880
56.91/57.27	o 2879
57.01/57.32	o 2878
57.01/57.34	o 2877
57.01/57.35	o 2876
57.01/57.36	o 2874
57.01/57.38	o 2873
57.01/57.40	o 2872
57.11/57.41	o 2871
57.11/57.43	o 2870
57.11/57.44	o 2868
57.11/57.45	o 2867
57.11/57.47	o 2866
57.11/57.48	o 2864
57.11/57.49	o 2863
57.20/57.51	o 2862
57.20/57.52	o 2861
57.20/57.54	o 2860
57.20/57.55	o 2859
57.20/57.57	o 2858
57.20/57.59	o 2857
57.30/57.60	o 2856
57.30/57.62	o 2855
57.30/57.63	o 2854
57.30/57.65	o 2853
57.30/57.66	o 2852
57.30/57.68	o 2851
57.30/57.69	o 2850
57.41/57.71	o 2848
57.41/57.72	o 2846
57.41/57.73	o 2844
57.41/57.75	o 2843
57.41/57.76	o 2842
57.41/57.78	o 2841
57.41/57.79	o 2840
57.51/57.81	o 2839
57.51/57.82	o 2838
57.51/57.84	o 2837
57.51/57.85	o 2836
57.51/57.87	o 2835
57.51/57.88	o 2834
57.61/57.90	o 2833
57.61/57.91	o 2832
57.61/57.93	o 2831
57.61/57.94	o 2830
57.61/57.96	o 2829
57.61/57.97	o 2828
57.61/57.99	o 2827
57.71/58.00	o 2826
57.71/58.02	o 2825
57.71/58.03	o 2824
57.71/58.05	o 2823
57.71/58.06	o 2822
57.71/58.08	o 2821
57.71/58.09	o 2819
57.80/58.11	o 2818
57.91/58.24	o 2817
57.91/58.25	o 2816
57.91/58.27	o 2815
57.91/58.28	o 2814
57.91/58.29	o 2813
58.01/58.31	o 2812
58.01/58.32	o 2811
58.01/58.34	o 2810
58.01/58.35	o 2809
58.01/58.37	o 2808
58.01/58.38	o 2807
58.01/58.40	o 2806
58.10/58.41	o 2804
58.10/58.42	o 2802
58.20/58.51	o 2801
58.20/58.52	o 2800
58.20/58.54	o 2799
58.20/58.55	o 2798
58.20/58.57	o 2797
58.20/58.58	o 2796
58.20/58.60	o 2795
58.30/58.61	o 2794
58.30/58.62	o 2793
58.30/58.64	o 2791
58.30/58.65	o 2790
58.30/58.67	o 2789
58.30/58.68	o 2788
58.30/58.70	o 2787
58.40/58.71	o 2786
58.40/58.73	o 2785
58.40/58.74	o 2784
58.40/58.76	o 2782
58.40/58.77	o 2781
58.40/58.79	o 2780
58.50/58.80	o 2779
58.50/58.81	o 2777
58.50/58.83	o 2776
58.50/58.84	o 2775
58.50/58.86	o 2774
58.50/58.87	o 2773
58.50/58.89	o 2772
58.60/58.94	o 2771
58.60/58.96	o 2770
58.60/58.97	o 2769
58.60/58.99	o 2768
58.70/59.00	o 2767
58.70/59.02	o 2766
58.70/59.03	o 2765
58.70/59.05	o 2764
58.70/59.06	o 2763
58.70/59.08	o 2762
58.70/59.09	o 2761
58.80/59.11	o 2759
58.80/59.12	o 2758
58.80/59.14	o 2757
58.80/59.15	o 2756
58.80/59.17	o 2755
58.80/59.18	o 2754
58.80/59.19	o 2752
58.90/59.20	o 2751
58.90/59.22	o 2750
58.90/59.23	o 2749
58.90/59.25	o 2748
58.90/59.26	o 2747
58.90/59.28	o 2746
58.90/59.29	o 2744
59.00/59.30	o 2743
59.00/59.32	o 2742
59.00/59.33	o 2740
59.00/59.35	o 2739
59.00/59.36	o 2738
59.00/59.38	o 2737
59.00/59.39	o 2736
59.10/59.41	o 2735
59.10/59.42	o 2734
59.10/59.44	o 2733
59.10/59.45	o 2732
59.10/59.47	o 2731
59.10/59.48	o 2730
59.10/59.50	o 2729
59.19/59.51	o 2728
59.19/59.52	o 2727
59.19/59.54	o 2726
59.19/59.55	o 2725
59.19/59.57	o 2724
59.19/59.58	o 2723
59.29/59.60	o 2722
59.29/59.61	o 2721
59.29/59.63	o 2720
59.29/59.64	o 2719
59.29/59.66	o 2718
59.29/59.67	o 2717
59.29/59.69	o 2716
59.39/59.70	o 2715
59.39/59.72	o 2714
59.39/59.73	o 2713
59.39/59.75	o 2712
59.39/59.76	o 2711
59.39/59.77	o 2710
59.39/59.79	o 2709
59.49/59.80	o 2708
59.49/59.82	o 2707
59.49/59.83	o 2706
59.49/59.85	o 2705
59.49/59.86	o 2704
59.49/59.88	o 2702
59.49/59.89	o 2701
59.59/59.91	o 2700
59.59/59.92	o 2699
59.59/59.93	o 2698
59.59/59.95	o 2697
59.59/59.96	o 2696
59.59/59.98	o 2695
59.59/59.99	o 2694
59.69/60.01	o 2693
59.69/60.02	o 2692
59.69/60.04	o 2691
59.69/60.05	o 2690
59.69/60.07	o 2689
59.69/60.08	o 2688
59.69/60.09	o 2687
59.78/60.11	o 2686
59.78/60.12	o 2685
59.78/60.14	o 2684
59.78/60.15	o 2683
59.78/60.17	o 2682
59.78/60.18	o 2681
59.78/60.20	o 2680
59.89/60.21	o 2679
59.89/60.22	o 2678
59.89/60.24	o 2677
59.89/60.25	o 2676
59.89/60.27	o 2675
59.99/60.31	o 2674
59.99/60.32	o 2673
59.99/60.34	o 2672
59.99/60.35	o 2671
59.99/60.37	o 2670
59.99/60.38	o 2669
59.99/60.40	o 2668
60.09/60.41	o 2667
60.09/60.43	o 2666
60.09/60.44	o 2665
60.09/60.45	o 2664
60.09/60.47	o 2663
60.09/60.48	o 2662
60.09/60.50	o 2661
60.19/60.51	o 2660
60.19/60.53	o 2659
60.19/60.54	o 2658
60.19/60.56	o 2657
60.19/60.57	o 2656
60.19/60.58	o 2655
60.28/60.60	o 2654
60.28/60.61	o 2653
60.28/60.63	o 2652
60.28/60.64	o 2651
60.28/60.66	o 2650
60.28/60.67	o 2649
60.28/60.68	o 2647
60.28/60.69	o 2646
60.38/60.71	o 2645
60.38/60.72	o 2644
60.38/60.74	o 2643
60.38/60.75	o 2642
60.38/60.77	o 2641
60.38/60.78	o 2640
60.38/60.79	o 2639
60.48/60.81	o 2638
60.48/60.82	o 2637
60.48/60.84	o 2636
60.48/60.85	o 2635
60.48/60.87	o 2634
60.48/60.88	o 2633
60.48/60.89	o 2631
60.58/60.91	o 2630
60.58/60.92	o 2629
60.58/60.94	o 2628
60.58/60.95	o 2627
60.58/60.97	o 2626
60.58/60.98	o 2625
60.58/60.99	o 2624
60.69/61.01	o 2623
60.69/61.02	o 2622
60.69/61.04	o 2621
60.69/61.05	o 2620
60.69/61.07	o 2619
60.69/61.08	o 2618
60.69/61.09	o 2617
60.78/61.11	o 2616
60.78/61.13	o 2614
60.78/61.14	o 2612
60.78/61.16	o 2611
60.78/61.17	o 2610
60.78/61.19	o 2609
60.88/61.20	o 2608
60.88/61.21	o 2607
60.88/61.23	o 2606
60.88/61.24	o 2605
60.88/61.26	o 2604
60.88/61.27	o 2603
60.88/61.29	o 2602
60.98/61.30	o 2601
60.98/61.31	o 2600
60.98/61.33	o 2599
60.98/61.34	o 2598
60.98/61.36	o 2597
60.98/61.37	o 2596
60.98/61.39	o 2595
61.08/61.40	o 2594
61.08/61.41	o 2593
61.08/61.43	o 2592
61.08/61.44	o 2591
61.08/61.46	o 2590
61.08/61.47	o 2589
61.08/61.48	o 2588
61.08/61.50	o 2587
61.18/61.51	o 2586
61.18/61.53	o 2585
61.18/61.54	o 2584
61.18/61.56	o 2583
61.18/61.57	o 2582
61.18/61.58	o 2580
61.18/61.60	o 2579
61.28/61.61	o 2578
61.28/61.63	o 2577
61.28/61.64	o 2576
61.28/61.65	o 2575
61.28/61.67	o 2574
61.28/61.68	o 2573
61.28/61.70	o 2572
61.37/61.71	o 2571
61.37/61.72	o 2570
61.37/61.74	o 2569
61.37/61.75	o 2568
61.37/61.77	o 2567
61.37/61.78	o 2566
61.37/61.79	o 2564
61.47/61.80	o 2563
61.47/61.82	o 2562
61.47/61.83	o 2561
61.47/61.85	o 2560
61.47/61.86	o 2559
61.47/61.87	o 2558
61.47/61.89	o 2557
61.57/61.90	o 2556
61.57/61.92	o 2555
61.57/61.93	o 2554
61.57/61.94	o 2553
61.57/61.96	o 2552
61.57/61.97	o 2551
61.57/61.99	o 2550
61.67/62.00	o 2548
61.67/62.03	o 2547
61.67/62.04	o 2546
61.67/62.06	o 2545
61.67/62.07	o 2544
61.67/62.08	o 2543
61.67/62.10	o 2541
61.76/62.12	o 2539
61.76/62.13	o 2538
61.76/62.14	o 2537
61.76/62.16	o 2536
61.76/62.17	o 2535
61.76/62.19	o 2534
61.86/62.20	o 2533
61.86/62.21	o 2532
61.86/62.23	o 2531
61.86/62.24	o 2530
61.86/62.26	o 2529
61.86/62.27	o 2528
61.86/62.28	o 2527
61.96/62.30	o 2526
61.96/62.31	o 2525
61.96/62.33	o 2524
61.96/62.34	o 2523
61.96/62.35	o 2522
61.96/62.37	o 2521
61.96/62.38	o 2520
61.96/62.40	o 2519
62.06/62.41	o 2518
62.06/62.42	o 2517
62.06/62.44	o 2516
62.06/62.49	o 2515
62.17/62.50	o 2514
62.17/62.51	o 2513
62.17/62.53	o 2512
62.17/62.54	o 2511
62.17/62.55	o 2510
62.17/62.57	o 2509
62.17/62.58	o 2508
62.17/62.60	o 2507
62.27/62.61	o 2505
62.27/62.62	o 2504
62.27/62.63	o 2502
62.27/62.65	o 2501
62.27/62.66	o 2500
62.27/62.67	o 2499
62.27/62.69	o 2498
62.27/62.70	o 2497
62.37/62.71	o 2496
62.37/62.73	o 2495
62.37/62.74	o 2494
62.37/62.75	o 2493
62.37/62.77	o 2492
62.37/62.78	o 2491
62.46/62.80	o 2490
62.46/62.82	o 2489
62.46/62.83	o 2488
62.46/62.84	o 2487
62.46/62.86	o 2486
62.46/62.87	o 2485
62.46/62.89	o 2484
62.56/62.90	o 2483
62.56/62.91	o 2482
62.56/62.93	o 2481
62.56/62.94	o 2480
62.56/62.95	o 2479
62.56/62.97	o 2478
62.56/62.98	o 2477
62.56/62.99	o 2476
62.66/63.01	o 2475
62.66/63.02	o 2474
62.66/63.04	o 2473
62.66/63.05	o 2472
62.66/63.06	o 2471
62.66/63.08	o 2470
62.66/63.09	o 2469
62.76/63.10	o 2468
62.76/63.12	o 2467
62.76/63.13	o 2466
62.76/63.14	o 2465
62.76/63.16	o 2464
62.76/63.17	o 2463
62.76/63.19	o 2462
62.86/63.20	o 2461
62.86/63.21	o 2460
62.86/63.23	o 2459
62.86/63.24	o 2458
62.86/63.25	o 2457
62.86/63.27	o 2456
62.86/63.28	o 2455
62.86/63.29	o 2454
62.97/63.31	o 2453
62.97/63.32	o 2452
62.97/63.34	o 2451
62.97/63.35	o 2449
62.97/63.36	o 2448
62.97/63.37	o 2447
62.97/63.39	o 2446
63.06/63.40	o 2445
63.06/63.41	o 2443
63.06/63.43	o 2442
63.06/63.44	o 2441
63.06/63.45	o 2440
63.06/63.47	o 2439
63.06/63.48	o 2438
63.06/63.49	o 2437
63.16/63.51	o 2436
63.16/63.52	o 2435
63.16/63.53	o 2434
63.16/63.55	o 2433
63.16/63.56	o 2432
63.16/63.57	o 2431
63.16/63.59	o 2430
63.26/63.60	o 2429
63.26/63.62	o 2428
63.26/63.63	o 2427
63.26/63.64	o 2426
63.36/63.73	o 2425
63.36/63.74	o 2424
63.36/63.75	o 2423
63.36/63.77	o 2422
63.36/63.78	o 2421
63.36/63.79	o 2420
63.46/63.81	o 2419
63.46/63.82	o 2418
63.46/63.83	o 2417
63.46/63.85	o 2416
63.46/63.86	o 2415
63.46/63.87	o 2414
63.46/63.89	o 2413
63.56/63.90	o 2412
63.56/63.91	o 2410
63.56/63.92	o 2409
63.56/63.94	o 2408
63.56/63.95	o 2407
63.56/63.96	o 2406
63.56/63.98	o 2405
63.56/63.99	o 2404
63.65/64.00	o 2403
63.65/64.02	o 2402
63.65/64.03	o 2401
63.65/64.04	o 2399
63.65/64.05	o 2398
63.65/64.06	o 2396
63.65/64.08	o 2395
63.65/64.09	o 2394
63.75/64.10	o 2393
63.75/64.12	o 2391
63.75/64.13	o 2390
63.75/64.14	o 2389
63.75/64.16	o 2388
63.75/64.17	o 2387
63.75/64.18	o 2386
63.86/64.20	o 2385
63.86/64.21	o 2384
63.86/64.23	o 2383
63.86/64.24	o 2382
63.86/64.25	o 2381
63.86/64.27	o 2380
63.86/64.28	o 2379
63.86/64.29	o 2378
63.96/64.31	o 2377
63.96/64.32	o 2376
63.96/64.33	o 2375
63.96/64.35	o 2374
63.96/64.36	o 2373
63.96/64.37	o 2372
63.96/64.38	o 2371
64.06/64.40	o 2370
64.06/64.41	o 2369
64.06/64.42	o 2367
64.06/64.44	o 2366
64.06/64.45	o 2365
64.06/64.46	o 2364
64.06/64.48	o 2363
64.06/64.49	o 2362
64.16/64.50	o 2361
64.16/64.52	o 2360
64.16/64.53	o 2359
64.16/64.54	o 2358
64.16/64.56	o 2357
64.16/64.57	o 2356
64.16/64.58	o 2354
64.16/64.59	o 2353
64.26/64.60	o 2352
64.26/64.62	o 2351
64.26/64.63	o 2350
64.26/64.64	o 2349
64.26/64.66	o 2348
64.26/64.67	o 2347
64.26/64.69	o 2346
64.35/64.70	o 2344
64.35/64.73	o 2343
64.35/64.75	o 2342
64.35/64.76	o 2341
64.35/64.77	o 2340
64.35/64.79	o 2339
64.35/64.80	o 2338
64.45/64.81	o 2337
64.45/64.83	o 2336
64.45/64.84	o 2335
64.45/64.85	o 2334
64.45/64.86	o 2333
64.45/64.88	o 2332
64.45/64.89	o 2331
64.45/64.90	o 2330
64.55/64.91	o 2329
64.55/64.93	o 2328
64.55/64.94	o 2327
64.55/64.95	o 2326
64.55/65.00	o 2325
64.65/65.01	o 2324
64.65/65.02	o 2323
64.65/65.04	o 2322
64.65/65.05	o 2321
64.65/65.06	o 2320
64.65/65.07	o 2319
64.65/65.09	o 2318
64.75/65.10	o 2317
64.75/65.11	o 2316
64.75/65.16	o 2315
64.75/65.18	o 2314
64.75/65.19	o 2313
64.85/65.20	o 2312
64.85/65.22	o 2311
64.85/65.23	o 2310
64.85/65.24	o 2309
64.85/65.26	o 2308
64.85/65.27	o 2306
64.85/65.28	o 2305
64.85/65.29	o 2304
64.94/65.31	o 2303
64.94/65.32	o 2302
64.94/65.33	o 2301
64.94/65.35	o 2300
64.94/65.36	o 2299
64.94/65.37	o 2297
64.94/65.38	o 2296
64.94/65.40	o 2295
65.04/65.41	o 2293
65.04/65.42	o 2292
65.04/65.43	o 2291
65.04/65.45	o 2290
65.04/65.46	o 2289
65.04/65.47	o 2288
65.04/65.49	o 2287
65.04/65.50	o 2285
65.15/65.51	o 2284
65.15/65.52	o 2283
65.15/65.53	o 2282
65.15/65.55	o 2281
65.15/65.56	o 2279
65.15/65.57	o 2278
65.15/65.58	o 2277
65.15/65.60	o 2276
65.24/65.61	o 2275
65.24/65.62	o 2274
65.24/65.63	o 2273
65.24/65.65	o 2272
65.24/65.66	o 2271
65.24/65.67	o 2269
65.24/65.68	o 2268
65.24/65.70	o 2267
65.34/65.71	o 2265
65.34/65.72	o 2264
65.34/65.73	o 2263
65.34/65.74	o 2262
65.34/65.76	o 2261
65.44/65.82	o 2260
65.44/65.86	o 2259
65.44/65.88	o 2258
65.44/65.89	o 2256
65.44/65.90	o 2255
65.54/65.91	o 2254
65.54/65.92	o 2253
65.54/65.94	o 2252
65.54/65.95	o 2251
65.54/65.96	o 2250
65.54/65.97	o 2249
65.54/65.99	o 2248
65.54/66.00	o 2247
65.64/66.01	o 2246
65.64/66.03	o 2245
65.64/66.04	o 2244
65.64/66.05	o 2243
65.64/66.06	o 2242
65.64/66.08	o 2241
65.64/66.09	o 2240
65.74/66.10	o 2239
65.74/66.11	o 2238
65.74/66.13	o 2237
65.74/66.14	o 2236
65.74/66.15	o 2235
65.74/66.17	o 2234
65.74/66.18	o 2233
65.74/66.19	o 2232
65.84/66.20	o 2231
65.84/66.22	o 2230
65.84/66.23	o 2229
65.84/66.24	o 2228
65.84/66.25	o 2227
65.84/66.27	o 2226
65.84/66.28	o 2225
65.84/66.29	o 2224
65.94/66.30	o 2222
65.94/66.32	o 2221
65.94/66.33	o 2220
65.94/66.34	o 2219
65.94/66.35	o 2218
65.94/66.37	o 2217
65.94/66.38	o 2216
65.94/66.39	o 2215
66.04/66.40	o 2214
66.04/66.42	o 2213
66.04/66.43	o 2212
66.04/66.44	o 2211
66.04/66.45	o 2210
66.04/66.47	o 2209
66.04/66.48	o 2208
66.04/66.49	o 2207
66.14/66.50	o 2205
66.14/66.51	o 2204
66.14/66.53	o 2203
66.14/66.54	o 2202
66.14/66.55	o 2201
66.14/66.56	o 2200
66.14/66.58	o 2199
66.14/66.59	o 2198
66.24/66.60	o 2197
66.24/66.61	o 2196
66.24/66.63	o 2195
66.24/66.64	o 2194
66.24/66.65	o 2193
66.24/66.66	o 2192
66.24/66.68	o 2191
66.24/66.69	o 2190
66.33/66.70	o 2189
66.33/66.71	o 2188
66.33/66.72	o 2187
66.33/66.74	o 2186
66.33/66.75	o 2185
66.33/66.76	o 2184
66.33/66.77	o 2183
66.33/66.79	o 2182
66.43/66.80	o 2181
66.43/66.81	o 2180
66.43/66.82	o 2179
66.43/66.84	o 2178
66.43/66.85	o 2177
66.43/66.86	o 2176
66.43/66.88	o 2175
66.43/66.89	o 2174
66.53/66.90	o 2173
66.53/66.91	o 2171
66.53/66.92	o 2169
66.53/66.94	o 2168
66.53/66.95	o 2167
66.53/66.96	o 2166
66.53/66.97	o 2164
66.53/66.98	o 2163
66.53/66.99	o 2162
66.63/67.01	o 2161
66.63/67.02	o 2160
66.63/67.03	o 2159
66.63/67.04	o 2158
66.63/67.06	o 2157
66.63/67.07	o 2156
66.63/67.08	o 2155
66.63/67.09	o 2154
66.74/67.11	o 2153
66.74/67.12	o 2152
66.74/67.13	o 2151
66.74/67.14	o 2150
66.74/67.16	o 2149
66.74/67.17	o 2141
66.74/67.18	o 2140
66.74/67.19	o 2139
66.83/67.21	o 2138
66.83/67.22	o 2137
66.83/67.23	o 2136
66.83/67.24	o 2135
66.83/67.26	o 2134
66.83/67.27	o 2133
66.83/67.28	o 2132
66.83/67.29	o 2131
66.93/67.31	o 2130
66.93/67.32	o 2129
66.93/67.33	o 2128
66.93/67.34	o 2127
66.93/67.35	o 2125
66.93/67.36	o 2124
66.93/67.38	o 2123
66.93/67.39	o 2122
67.03/67.40	o 2120
67.03/67.41	o 2119
67.03/67.43	o 2118
67.03/67.44	o 2116
67.03/67.45	o 2115
67.03/67.46	o 2114
67.03/67.47	o 2113
67.03/67.49	o 2112
67.13/67.50	o 2111
67.13/67.51	o 2110
67.13/67.52	o 2109
67.13/67.53	o 2108
67.13/67.55	o 2107
67.13/67.56	o 2106
67.13/67.58	o 2105
67.13/67.59	o 2104
67.22/67.60	o 2103
67.22/67.61	o 2101
67.22/67.62	o 2100
67.22/67.64	o 2099
67.22/67.65	o 2098
67.22/67.66	o 2097
67.22/67.67	o 2096
67.22/67.68	o 2095
67.22/67.70	o 2094
67.32/67.71	o 2093
67.32/67.72	o 2092
67.32/67.73	o 2091
67.32/67.75	o 2090
67.32/67.76	o 2089
67.32/67.77	o 2088
67.32/67.78	o 2087
67.32/67.80	o 2086
67.42/67.81	o 2085
67.42/67.82	o 2084
67.42/67.83	o 2083
67.42/67.84	o 2082
67.42/67.86	o 2081
67.63/68.03	o 2080
67.63/68.04	o 2078
67.63/68.05	o 2076
67.63/68.06	o 2074
67.63/68.07	o 2072
67.63/68.08	o 2070
67.63/68.09	o 2068
67.63/68.10	o 2066
67.73/68.11	o 2064
67.73/68.12	o 2062
67.73/68.13	o 2060
67.83/68.21	o 2059
67.83/68.22	o 2058
67.83/68.23	o 2057
67.83/68.24	o 2056
67.83/68.25	o 2055
67.83/68.27	o 2054
67.83/68.28	o 2053
67.83/68.29	o 2052
67.92/68.30	o 2051
67.92/68.31	o 2050
67.92/68.33	o 2049
67.92/68.34	o 2048
67.92/68.35	o 2047
67.92/68.36	o 2046
67.92/68.37	o 2045
68.02/68.46	o 2044
68.02/68.47	o 2043
68.02/68.48	o 2042
68.02/68.50	o 2041
68.12/68.51	o 2040
68.12/68.52	o 2039
68.12/68.53	o 2038
68.12/68.54	o 2037
68.12/68.56	o 2036
68.12/68.57	o 2035
68.12/68.58	o 2034
68.12/68.59	o 2033
68.22/68.60	o 2032
68.22/68.62	o 2031
68.22/68.63	o 2030
68.22/68.64	o 2029
68.22/68.65	o 2028
68.22/68.66	o 2027
68.22/68.68	o 2026
68.22/68.69	o 2025
68.32/68.70	o 2024
68.32/68.71	o 2023
68.32/68.72	o 2022
68.32/68.78	o 2021
68.42/68.81	o 2020
68.42/68.85	o 2019
68.62/69.08	o 2018
68.62/69.09	o 2017
68.72/69.12	o 2015
68.92/69.38	o 2013
69.02/69.40	o 2011
69.02/69.45	o 2010
69.02/69.47	o 2009
69.12/69.52	o 2008
69.12/69.57	o 2007
69.12/69.58	o 2006
69.12/69.59	o 2005
69.22/69.62	o 2004
69.22/69.63	o 2003
69.22/69.64	o 2002
69.22/69.65	o 2001
69.22/69.67	o 1999
69.32/69.74	o 1998
69.32/69.75	o 1997
69.32/69.76	o 1995
69.32/69.77	o 1994
69.32/69.78	o 1993
69.42/69.82	o 1992
69.42/69.83	o 1990
69.42/69.85	o 1989
69.42/69.86	o 1988
69.52/69.90	o 1987
69.52/69.91	o 1985
69.52/69.92	o 1984
69.52/69.94	o 1983
69.52/69.95	o 1982
69.52/69.97	o 1981
69.52/69.98	o 1980
69.52/69.99	o 1979
69.62/70.00	o 1978
69.62/70.03	o 1977
69.72/70.12	o 1976
69.72/70.13	o 1975
69.72/70.14	o 1974
69.72/70.16	o 1973
69.72/70.19	o 1972
69.81/70.27	o 1971
69.81/70.28	o 1969
69.92/70.32	o 1968
69.92/70.33	o 1967
69.92/70.34	o 1966
69.92/70.35	o 1965
69.92/70.36	o 1964
69.92/70.37	o 1963
69.92/70.39	o 1961
70.02/70.41	o 1960
70.12/70.51	o 1959
70.12/70.52	o 1957
70.12/70.54	o 1956
70.22/70.65	o 1955
70.22/70.66	o 1954
70.22/70.67	o 1953
70.22/70.68	o 1952
70.22/70.69	o 1951
70.31/70.70	o 1950
70.31/70.71	o 1949
70.31/70.73	o 1948
70.31/70.74	o 1947
70.31/70.75	o 1946
70.31/70.78	o 1944
70.41/70.84	o 1943
70.41/70.89	o 1941
70.41/70.90	o 1940
70.51/70.91	o 1938
70.61/71.07	o 1937
70.61/71.08	o 1936
70.61/71.09	o 1935
70.72/71.12	o 1934
70.72/71.13	o 1933
70.72/71.16	o 1932
70.72/71.18	o 1931
70.72/71.19	o 1929
70.82/71.20	o 1928
70.82/71.21	o 1927
70.82/71.25	o 1926
70.82/71.26	o 1924
70.82/71.27	o 1923
70.82/71.29	o 1922
70.91/71.30	o 1921
70.91/71.32	o 1920
70.91/71.33	o 1919
70.91/71.34	o 1918
70.91/71.36	o 1917
70.91/71.37	o 1915
70.91/71.38	o 1914
71.02/71.41	o 1913
71.02/71.42	o 1912
71.02/71.44	o 1911
71.02/71.45	o 1910
71.02/71.47	o 1908
71.02/71.49	o 1907
71.12/71.51	o 1905
71.12/71.53	o 1904
71.12/71.54	o 1902
71.12/71.56	o 1900
71.21/71.61	o 1899
71.21/71.63	o 1898
71.21/71.64	o 1897
71.21/71.65	o 1896
71.21/71.66	o 1895
71.21/71.67	o 1893
71.31/71.71	o 1892
71.31/71.72	o 1891
71.31/71.74	o 1889
71.31/71.76	o 1888
71.31/71.77	o 1887
71.31/71.78	o 1886
71.31/71.79	o 1885
71.41/71.80	o 1884
71.41/71.82	o 1883
71.41/71.83	o 1882
71.41/71.85	o 1881
71.41/71.87	o 1880
71.41/71.89	o 1878
71.51/71.95	o 1877
71.51/71.96	o 1876
71.51/71.98	o 1875
71.51/71.99	o 1874
71.61/72.00	o 1873
71.61/72.01	o 1872
71.61/72.02	o 1871
71.61/72.03	o 1869
71.61/72.05	o 1867
71.61/72.06	o 1866
71.61/72.07	o 1865
71.61/72.10	o 1863
71.70/72.11	o 1861
71.70/72.12	o 1860
71.70/72.13	o 1859
71.70/72.14	o 1857
71.70/72.15	o 1856
71.70/72.16	o 1854
71.70/72.18	o 1853
71.80/72.20	o 1852
71.91/72.31	o 1850
71.91/72.35	o 1847
71.91/72.37	o 1846
71.91/72.39	o 1845
72.01/72.40	o 1844
72.01/72.45	o 1843
72.01/72.46	o 1841
72.01/72.48	o 1840
72.01/72.49	o 1839
72.11/72.51	o 1837
72.11/72.52	o 1836
72.11/72.60	o 1835
72.21/72.70	o 1833
72.31/72.72	o 1832
72.31/72.73	o 1831
72.31/72.76	o 1830
72.31/72.77	o 1829
72.31/72.79	o 1828
72.40/72.82	o 1827
72.40/72.83	o 1826
72.40/72.84	o 1825
72.40/72.85	o 1824
72.40/72.86	o 1823
72.40/72.87	o 1822
72.50/72.91	o 1820
72.50/72.92	o 1818
72.50/72.93	o 1817
72.50/72.94	o 1816
72.50/72.95	o 1815
72.50/72.96	o 1814
72.50/72.97	o 1813
72.50/72.98	o 1812
72.50/72.99	o 1811
72.60/73.00	o 1810
72.60/73.01	o 1809
72.60/73.02	o 1808
72.60/73.03	o 1807
72.60/73.04	o 1806
72.60/73.05	o 1804
72.60/73.07	o 1802
72.60/73.08	o 1801
72.60/73.09	o 1800
72.70/73.10	o 1796
72.70/73.11	o 1794
72.70/73.12	o 1793
72.70/73.13	o 1792
72.70/73.14	o 1791
72.70/73.15	o 1790
72.70/73.16	o 1789
72.70/73.17	o 1788
72.80/73.20	o 1787
72.80/73.21	o 1786
72.80/73.22	o 1785
72.80/73.23	o 1784
72.80/73.26	o 1783
72.80/73.28	o 1779
72.80/73.29	o 1778
72.90/73.30	o 1776
72.90/73.32	o 1774
72.90/73.33	o 1773
72.90/73.35	o 1772
72.90/73.37	o 1771
73.10/73.50	o 1769
73.10/73.54	o 1768
73.10/73.55	o 1767
73.10/73.56	o 1766
73.10/73.60	o 1764
73.20/73.62	o 1763
73.20/73.65	o 1761
73.20/73.66	o 1760
73.20/73.68	o 1758
73.20/73.69	o 1757
73.20/73.70	o 1756
73.30/73.72	o 1755
73.30/73.73	o 1754
73.30/73.74	o 1753
73.30/73.76	o 1752
73.30/73.77	o 1751
73.30/73.78	o 1749
73.39/73.81	o 1748
73.39/73.82	o 1747
73.39/73.84	o 1746
73.39/73.85	o 1745
73.39/73.86	o 1743
73.39/73.87	o 1741
73.39/73.88	o 1740
73.39/73.89	o 1739
73.49/73.91	o 1738
73.49/73.93	o 1736
73.49/73.94	o 1735
73.49/73.96	o 1734
73.59/74.01	o 1733
73.59/74.02	o 1731
73.69/74.14	o 1729
73.69/74.15	o 1728
73.69/74.16	o 1725
73.69/74.18	o 1724
73.69/74.19	o 1723
73.78/74.20	o 1722
73.78/74.21	o 1721
73.78/74.23	o 1720
73.78/74.28	o 1718
73.89/74.30	o 1716
73.89/74.31	o 1714
73.89/74.36	o 1712
73.89/74.38	o 1711
73.99/74.40	o 1710
73.99/74.41	o 1709
73.99/74.42	o 1708
73.99/74.43	o 1707
73.99/74.44	o 1706
73.99/74.46	o 1704
73.99/74.50	o 1703
74.08/74.51	o 1702
74.08/74.52	o 1701
74.08/74.53	o 1700
74.08/74.54	o 1699
74.08/74.55	o 1698
74.08/74.56	o 1697
74.08/74.57	o 1696
74.08/74.58	o 1695
74.08/74.59	o 1694
74.08/74.60	o 1693
74.18/74.61	o 1692
74.18/74.62	o 1691
74.18/74.62	o 1690
74.18/74.63	o 1689
74.18/74.64	o 1688
74.18/74.65	o 1686
74.18/74.66	o 1685
74.18/74.67	o 1684
74.18/74.69	o 1683
74.29/74.73	o 1682
74.29/74.74	o 1681
74.29/74.75	o 1680
74.29/74.77	o 1679
74.29/74.78	o 1678
74.39/74.81	o 1677
74.39/74.85	o 1675
74.39/74.88	o 1673
74.49/74.90	o 1672
74.49/74.92	o 1671
74.49/74.93	o 1670
74.49/74.95	o 1669
74.49/74.96	o 1667
74.49/74.97	o 1666
74.49/74.99	o 1665
74.59/75.00	o 1664
74.59/75.03	o 1662
74.59/75.04	o 1661
74.59/75.07	o 1660
74.59/75.08	o 1659
74.59/75.10	o 1658
74.68/75.13	o 1657
74.68/75.14	o 1656
74.68/75.15	o 1655
74.68/75.16	o 1654
74.68/75.20	o 1653
74.78/75.21	o 1652
74.78/75.23	o 1651
74.78/75.24	o 1650
74.78/75.25	o 1649
74.78/75.28	o 1648
74.78/75.29	o 1647
74.88/75.30	o 1646
74.88/75.32	o 1645
74.88/75.35	o 1642
74.88/75.35	o 1640
74.88/75.36	o 1638
74.88/75.37	o 1636
74.88/75.38	o 1635
74.88/75.39	o 1634
74.98/75.40	o 1633
74.98/75.41	o 1632
74.98/75.42	o 1631
74.98/75.43	o 1630
74.98/75.44	o 1629
74.98/75.45	o 1627
74.98/75.47	o 1626
75.08/75.50	o 1624
75.08/75.55	o 1623
75.08/75.57	o 1622
75.08/75.58	o 1621
75.19/75.61	o 1620
75.19/75.62	o 1619
75.19/75.63	o 1618
75.19/75.64	o 1617
75.19/75.65	o 1616
75.19/75.66	o 1615
75.19/75.67	o 1614
75.19/75.68	o 1613
75.19/75.69	o 1612
75.28/75.70	o 1610
75.28/75.71	o 1609
75.28/75.72	o 1608
75.28/75.73	o 1607
75.28/75.74	o 1606
75.28/75.76	o 1604
75.28/75.78	o 1602
75.28/75.79	o 1601
75.39/75.81	o 1599
75.39/75.84	o 1597
75.39/75.85	o 1596
75.39/75.87	o 1595
75.39/75.89	o 1594
75.39/75.90	o 1593
75.48/75.92	o 1592
75.48/75.95	o 1591
75.48/75.96	o 1590
75.48/75.97	o 1589
75.48/75.98	o 1587
75.58/76.00	o 1586
75.58/76.01	o 1585
75.58/76.03	o 1584
75.58/76.04	o 1583
75.58/76.05	o 1582
75.58/76.06	o 1581
75.58/76.07	o 1580
75.58/76.08	o 1579
75.68/76.10	o 1578
75.68/76.11	o 1577
75.68/76.12	o 1575
75.68/76.13	o 1574
75.68/76.14	o 1573
75.68/76.16	o 1572
75.68/76.17	o 1571
75.68/76.18	o 1570
75.68/76.19	o 1568
75.78/76.25	o 1567
75.78/76.26	o 1566
75.78/76.27	o 1565
75.78/76.29	o 1563
75.88/76.30	o 1561
75.88/76.35	o 1559
75.88/76.37	o 1558
75.88/76.38	o 1557
75.98/76.40	o 1556
75.98/76.43	o 1555
75.98/76.45	o 1554
75.98/76.46	o 1553
75.98/76.47	o 1552
75.98/76.48	o 1551
75.98/76.48	o 1550
75.98/76.49	o 1549
76.08/76.53	o 1548
76.08/76.53	o 1546
76.08/76.55	o 1545
76.08/76.58	o 1544
76.08/76.59	o 1543
76.18/76.60	o 1542
76.18/76.62	o 1540
76.18/76.64	o 1539
76.18/76.65	o 1537
76.18/76.66	o 1536
76.18/76.67	o 1535
76.18/76.69	o 1534
76.27/76.71	o 1533
76.27/76.72	o 1532
76.27/76.73	o 1531
76.27/76.76	o 1530
76.27/76.78	o 1529
76.27/76.79	o 1527
76.27/76.79	o 1526
76.38/76.82	o 1525
76.38/76.83	o 1524
76.38/76.85	o 1522
76.38/76.85	o 1521
76.38/76.89	o 1520
76.38/76.90	o 1519
76.48/76.91	o 1518
76.48/76.94	o 1516
76.48/76.95	o 1515
76.48/76.97	o 1513
76.48/76.98	o 1511
76.48/76.99	o 1510
76.58/77.04	o 1508
76.58/77.05	o 1507
76.58/77.06	o 1506
76.58/77.07	o 1504
76.58/77.08	o 1503
76.58/77.09	o 1502
76.67/77.11	o 1501
76.67/77.12	o 1499
76.67/77.13	o 1498
76.67/77.18	o 1497
76.67/77.19	o 1496
76.77/77.25	o 1495
76.77/77.26	o 1494
76.77/77.27	o 1493
76.77/77.30	o 1492
76.88/77.30	o 1491
76.88/77.32	o 1490
76.88/77.33	o 1489
76.88/77.34	o 1487
76.88/77.36	o 1486
76.88/77.36	o 1484
76.88/77.39	o 1483
76.97/77.42	o 1482
76.97/77.43	o 1481
76.97/77.44	o 1480
76.97/77.45	o 1479
76.97/77.47	o 1478
76.97/77.48	o 1477
76.97/77.49	o 1476
77.07/77.50	o 1473
77.07/77.51	o 1472
77.07/77.52	o 1471
77.07/77.53	o 1470
77.07/77.54	o 1469
77.07/77.55	o 1468
77.07/77.58	o 1467
77.16/77.60	o 1466
77.16/77.61	o 1465
77.16/77.63	o 1464
77.16/77.66	o 1463
77.16/77.67	o 1462
77.16/77.68	o 1461
77.16/77.70	o 1459
77.26/77.71	o 1458
77.26/77.73	o 1457
77.26/77.74	o 1456
77.26/77.75	o 1455
77.26/77.76	o 1453
77.26/77.77	o 1452
77.26/77.78	o 1451
77.26/77.79	o 1450
77.37/77.80	o 1449
77.37/77.81	o 1448
77.37/77.82	o 1447
77.37/77.83	o 1446
77.37/77.84	o 1445
77.37/77.85	o 1444
77.37/77.85	o 1443
77.37/77.87	o 1442
77.37/77.88	o 1441
77.47/77.92	o 1440
77.47/77.93	o 1439
77.47/77.94	o 1438
77.47/77.95	o 1437
77.47/77.96	o 1435
77.47/77.98	o 1434
77.47/77.98	o 1433
77.47/77.99	o 1432
77.57/78.01	o 1431
77.57/78.02	o 1430
77.57/78.03	o 1429
77.57/78.04	o 1428
77.57/78.06	o 1427
77.57/78.08	o 1425
77.67/78.11	o 1424
77.67/78.11	o 1423
77.67/78.12	o 1422
77.67/78.15	o 1421
77.67/78.19	o 1419
77.76/78.20	o 1417
77.76/78.21	o 1415
77.76/78.28	o 1413
77.76/78.29	o 1412
77.86/78.30	o 1410
77.86/78.32	o 1409
77.86/78.33	o 1408
77.86/78.34	o 1407
77.86/78.34	o 1405
77.86/78.35	o 1404
77.86/78.38	o 1403
77.96/78.45	o 1402
77.96/78.46	o 1401
77.96/78.48	o 1400
77.96/78.49	o 1398
78.06/78.50	o 1397
78.06/78.51	o 1396
78.06/78.53	o 1394
78.06/78.54	o 1393
78.06/78.56	o 1392
78.06/78.57	o 1391
78.06/78.58	o 1390
78.06/78.58	o 1389
78.16/78.60	o 1388
78.16/78.66	o 1387
78.16/78.69	o 1386
78.16/78.69	o 1385
78.26/78.70	o 1384
78.26/78.71	o 1383
78.26/78.72	o 1382
78.26/78.73	o 1381
78.26/78.74	o 1380
78.26/78.75	o 1379
78.26/78.76	o 1377
78.26/78.78	o 1376
78.26/78.79	o 1375
78.26/78.79	o 1374
78.36/78.80	o 1373
78.36/78.81	o 1371
78.36/78.83	o 1370
78.36/78.86	o 1368
78.36/78.86	o 1367
78.46/78.90	o 1366
78.46/78.91	o 1365
78.46/78.91	o 1364
78.46/78.92	o 1363
78.46/78.95	o 1362
78.46/78.96	o 1361
78.46/78.96	o 1360
78.46/78.97	o 1359
78.46/78.98	o 1358
78.46/78.99	o 1356
78.55/79.00	o 1355
78.55/79.02	o 1354
78.55/79.03	o 1353
78.55/79.03	o 1352
78.55/79.04	o 1350
78.55/79.05	o 1349
78.55/79.06	o 1348
78.55/79.07	o 1347
78.55/79.08	o 1346
78.55/79.09	o 1343
78.66/79.10	o 1342
78.66/79.13	o 1340
78.66/79.14	o 1339
78.66/79.16	o 1337
78.66/79.18	o 1336
78.66/79.20	o 1335
78.76/79.21	o 1334
78.76/79.22	o 1332
78.76/79.24	o 1331
78.76/79.26	o 1330
78.76/79.26	o 1329
78.76/79.28	o 1327
78.76/79.29	o 1326
78.76/79.29	o 1325
78.86/79.34	o 1324
78.86/79.35	o 1322
78.86/79.37	o 1320
78.86/79.38	o 1319
78.86/79.39	o 1318
78.96/79.40	o 1315
78.96/79.42	o 1313
78.96/79.43	o 1312
78.96/79.44	o 1311
78.96/79.45	o 1310
79.05/79.52	o 1309
79.05/79.53	o 1307
79.05/79.55	o 1305
79.05/79.56	o 1303
79.05/79.57	o 1302
79.05/79.58	o 1301
79.05/79.59	o 1300
79.05/79.60	o 1299
79.15/79.61	o 1297
79.15/79.63	o 1296
79.15/79.63	o 1295
79.15/79.64	o 1294
79.15/79.65	o 1293
79.15/79.66	o 1292
79.15/79.67	o 1291
79.15/79.68	o 1289
79.15/79.68	o 1288
79.15/79.70	o 1287
79.25/79.71	o 1285
79.25/79.72	o 1284
79.25/79.73	o 1283
79.25/79.75	o 1281
79.25/79.76	o 1280
79.25/79.77	o 1279
79.25/79.79	o 1278
79.36/79.80	o 1277
79.36/79.81	o 1276
79.36/79.82	o 1275
79.36/79.83	o 1274
79.36/79.84	o 1273
79.36/79.84	o 1272
79.36/79.85	o 1271
79.36/79.86	o 1270
79.36/79.89	o 1269
79.36/79.89	o 1268
79.45/79.90	o 1267
79.45/79.91	o 1266
79.45/79.93	o 1264
79.45/79.93	o 1262
79.45/79.96	o 1261
79.45/79.97	o 1259
79.45/79.98	o 1258
79.45/79.99	o 1257
79.55/80.00	o 1256
79.55/80.01	o 1255
79.55/80.02	o 1254
79.55/80.03	o 1253
79.55/80.06	o 1251
79.55/80.07	o 1249
79.55/80.08	o 1247
79.55/80.09	o 1245
79.65/80.17	o 1243
79.65/80.17	o 1242
79.75/80.21	o 1241
79.75/80.22	o 1240
79.75/80.22	o 1237
79.75/80.24	o 1236
79.75/80.25	o 1234
79.75/80.26	o 1233
79.75/80.27	o 1231
79.75/80.27	o 1230
79.75/80.29	o 1229
79.85/80.31	o 1227
79.85/80.31	o 1226
79.85/80.33	o 1225
79.85/80.34	o 1224
79.85/80.35	o 1222
79.85/80.36	o 1220
79.85/80.37	o 1219
79.85/80.38	o 1218
79.85/80.39	o 1217
79.94/80.40	o 1216
79.94/80.41	o 1215
79.94/80.42	o 1214
79.94/80.42	o 1213
79.94/80.44	o 1212
79.94/80.46	o 1211
79.94/80.48	o 1210
79.94/80.49	o 1209
79.94/80.49	o 1207
80.05/80.50	o 1205
80.05/80.51	o 1204
80.05/80.52	o 1202
80.05/80.52	o 1201
80.05/80.53	o 1200
80.05/80.54	o 1198
80.05/80.55	o 1197
80.05/80.56	o 1196
80.05/80.57	o 1195
80.05/80.57	o 1193
80.05/80.58	o 1192
80.05/80.59	o 1190
80.15/80.60	o 1188
80.15/80.62	o 1183
80.15/80.62	o 1182
80.15/80.63	o 1181
80.15/80.64	o 1179
80.15/80.65	o 1178
80.15/80.66	o 1177
80.15/80.67	o 1176
80.15/80.68	o 1175
80.15/80.69	o 1174
80.15/80.69	o 1173
80.25/80.70	o 1171
80.25/80.71	o 1169
80.25/80.73	o 1168
80.25/80.74	o 1167
80.25/80.75	o 1166
80.25/80.77	o 1165
80.25/80.77	o 1163
80.25/80.78	o 1162
80.25/80.79	o 1161
80.34/80.80	o 1159
80.34/80.81	o 1158
80.34/80.82	o 1157
80.34/80.83	o 1156
80.34/80.84	o 1155
80.34/80.85	o 1154
80.34/80.87	o 1153
80.34/80.88	o 1152
80.34/80.89	o 1151
80.44/80.90	o 1149
80.44/80.91	o 1148
80.44/80.93	o 1147
80.44/80.94	o 1145
80.44/80.94	o 1144
80.44/80.96	o 1143
80.44/80.97	o 1142
80.44/80.98	o 1141
80.44/80.99	o 1139
80.44/81.00	o 1138
80.54/81.01	o 1137
80.54/81.04	o 1136
80.54/81.05	o 1134
80.54/81.06	o 1133
80.54/81.07	o 1131
80.54/81.08	o 1129
80.54/81.08	o 1128
80.54/81.09	o 1127
80.64/81.10	o 1125
80.64/81.13	o 1123
80.64/81.13	o 1121
80.64/81.14	o 1119
80.64/81.15	o 1117
80.64/81.16	o 1116
80.64/81.17	o 1115
80.64/81.18	o 1114
80.64/81.18	o 1112
80.64/81.19	o 1111
80.74/81.20	o 1110
80.74/81.21	o 1109
80.74/81.24	o 1107
80.74/81.26	o 1106
80.74/81.27	o 1105
80.74/81.27	o 1104
80.74/81.28	o 1103
80.74/81.29	o 1102
80.74/81.30	o 1101
80.85/81.31	o 1100
80.85/81.32	o 1099
80.85/81.33	o 1097
80.85/81.34	o 1096
80.85/81.35	o 1095
80.85/81.36	o 1094
80.85/81.36	o 1093
80.85/81.37	o 1092
80.85/81.38	o 1090
80.85/81.39	o 1089
80.85/81.40	o 1087
80.95/81.41	o 1086
80.95/81.42	o 1085
80.95/81.43	o 1084
80.95/81.44	o 1082
80.95/81.45	o 1081
80.95/81.46	o 1080
80.95/81.47	o 1078
80.95/81.47	o 1076
80.95/81.48	o 1074
80.95/81.49	o 1073
80.95/81.50	o 1072
81.04/81.51	o 1070
81.04/81.51	o 1068
81.04/81.52	o 1067
81.04/81.53	o 1066
81.04/81.54	o 1065
81.04/81.55	o 1064
81.04/81.56	o 1063
81.04/81.57	o 1062
81.04/81.59	o 1061
81.04/81.59	o 1060
81.14/81.60	o 1059
81.14/81.61	o 1058
81.14/81.62	o 1057
81.14/81.63	o 1056
81.14/81.64	o 1054
81.14/81.64	o 1053
81.14/81.65	o 1052
81.14/81.66	o 1051
81.14/81.67	o 1050
81.14/81.68	o 1048
81.14/81.70	o 1047
81.24/81.70	o 1046
81.24/81.71	o 1045
81.24/81.72	o 1044
81.24/81.74	o 1043
81.24/81.75	o 1042
81.24/81.75	o 1041
81.24/81.77	o 1040
81.24/81.78	o 1039
81.24/81.79	o 1038
81.34/81.80	o 1037
81.34/81.81	o 1036
81.34/81.84	o 1035
81.34/81.85	o 1033
81.34/81.86	o 1032
81.34/81.87	o 1031
81.34/81.88	o 1030
81.34/81.89	o 1029
81.43/81.91	o 1028
81.43/81.92	o 1027
81.43/81.93	o 1026
81.43/81.94	o 1025
81.43/81.95	o 1023
81.43/81.96	o 1022
81.43/81.97	o 1021
81.43/81.99	o 1019
81.43/81.99	o 1018
81.54/82.00	o 1017
81.54/82.01	o 1016
81.54/82.02	o 1015
81.54/82.02	o 1014
81.54/82.03	o 1013
81.54/82.04	o 1012
81.54/82.05	o 1011
81.54/82.05	o 1010
81.54/82.06	o 1009
81.54/82.07	o 1008
81.54/82.08	o 1007
81.64/82.10	o 1006
81.64/82.11	o 1005
81.64/82.12	o 1004
81.64/82.13	o 1003
81.64/82.14	o 1002
81.64/82.15	o 1001
81.64/82.16	o 1000
81.64/82.17	o 999
81.64/82.18	o 998
81.64/82.19	o 997
81.64/82.20	o 996
81.74/82.21	o 995
81.74/82.24	o 993
81.74/82.25	o 991
81.74/82.27	o 990
81.74/82.28	o 989
81.74/82.29	o 987
81.83/82.30	o 986
81.83/82.31	o 985
81.83/82.32	o 984
81.83/82.32	o 982
81.83/82.34	o 981
81.83/82.35	o 980
81.83/82.36	o 979
81.83/82.37	o 977
81.83/82.38	o 976
81.83/82.39	o 975
81.83/82.40	o 973
81.94/82.41	o 971
81.94/82.42	o 970
81.94/82.43	o 969
81.94/82.44	o 968
81.94/82.45	o 967
81.94/82.46	o 965
81.94/82.47	o 964
81.94/82.47	o 963
81.94/82.49	o 962
81.94/82.50	o 961
82.04/82.50	o 960
82.04/82.52	o 959
82.04/82.52	o 958
82.04/82.53	o 957
82.04/82.54	o 956
82.04/82.54	o 955
82.04/82.58	o 954
82.04/82.59	o 953
82.13/82.60	o 951
82.13/82.61	o 950
82.13/82.61	o 949
82.13/82.62	o 948
82.13/82.64	o 947
82.13/82.66	o 946
82.13/82.67	o 944
82.13/82.67	o 943
82.13/82.68	o 941
82.13/82.69	o 940
82.23/82.70	o 939
82.23/82.71	o 938
82.23/82.72	o 937
82.23/82.72	o 936
82.23/82.74	o 935
82.23/82.75	o 934
82.23/82.75	o 933
82.23/82.76	o 932
82.23/82.77	o 931
82.23/82.78	o 930
82.23/82.78	o 929
82.23/82.79	o 928
82.33/82.81	o 927
82.33/82.81	o 926
82.33/82.82	o 925
82.33/82.83	o 924
82.33/82.84	o 923
82.33/82.85	o 922
82.33/82.85	o 921
82.33/82.86	o 920
82.33/82.87	o 919
82.33/82.88	o 918
82.33/82.89	o 917
82.33/82.89	o 915
82.43/82.92	o 914
82.43/82.93	o 913
82.43/82.94	o 912
82.43/82.96	o 911
82.43/82.96	o 909
82.43/82.97	o 908
82.43/83.00	o 907
82.53/83.00	o 906
82.53/83.01	o 905
82.53/83.03	o 904
82.53/83.04	o 903
82.53/83.05	o 902
82.53/83.06	o 901
82.53/83.07	o 900
82.53/83.08	o 899
82.53/83.09	o 898
82.63/83.10	o 897
82.63/83.11	o 896
82.63/83.12	o 895
82.63/83.13	o 894
82.63/83.14	o 888
82.63/83.15	o 887
82.63/83.15	o 886
82.63/83.16	o 885
82.63/83.17	o 884
82.63/83.18	o 883
82.63/83.18	o 882
82.73/83.20	o 881
82.73/83.21	o 880
82.73/83.21	o 879
82.73/83.23	o 878
82.73/83.24	o 876
82.73/83.25	o 875
82.73/83.26	o 874
82.73/83.27	o 873
82.73/83.28	o 872
82.73/83.28	o 871
82.73/83.29	o 870
82.73/83.30	o 869
82.82/83.31	o 868
82.82/83.32	o 867
82.82/83.32	o 866
82.82/83.33	o 865
82.82/83.34	o 864
82.82/83.35	o 862
82.82/83.36	o 861
82.82/83.37	o 860
82.82/83.38	o 859
82.82/83.38	o 858
82.82/83.39	o 857
82.92/83.41	o 856
82.92/83.41	o 855
82.92/83.43	o 853
82.92/83.43	o 852
82.92/83.44	o 851
82.92/83.45	o 850
82.92/83.46	o 848
82.92/83.47	o 847
82.92/83.47	o 846
82.92/83.48	o 845
82.92/83.49	o 844
82.92/83.50	o 843
83.03/83.51	o 841
83.03/83.51	o 839
83.03/83.52	o 837
83.03/83.53	o 836
83.03/83.54	o 834
83.03/83.54	o 832
83.03/83.55	o 831
83.03/83.57	o 829
83.03/83.58	o 828
83.03/83.59	o 827
83.03/83.59	o 826
83.12/83.61	o 825
83.12/83.61	o 824
83.12/83.62	o 823
83.12/83.63	o 822
83.12/83.63	o 821
83.12/83.65	o 820
83.12/83.66	o 818
83.12/83.67	o 817
83.12/83.68	o 816
83.12/83.69	o 815
83.22/83.71	o 812
83.22/83.71	o 811
83.22/83.72	o 810
83.22/83.73	o 809
83.22/83.74	o 808
83.22/83.74	o 807
83.22/83.76	o 806
83.22/83.76	o 805
83.22/83.77	o 804
83.22/83.78	o 803
83.22/83.78	o 802
83.22/83.79	o 800
83.32/83.80	o 798
83.32/83.81	o 797
83.32/83.82	o 796
83.32/83.83	o 795
83.32/83.84	o 793
83.32/83.86	o 792
83.32/83.87	o 791
83.32/83.88	o 790
83.32/83.89	o 789
83.32/83.90	o 788
83.41/83.90	o 787
83.41/83.91	o 786
83.41/83.92	o 785
83.41/83.93	o 784
83.41/83.93	o 783
83.41/83.94	o 782
83.41/83.96	o 781
83.41/83.97	o 780
83.41/83.97	o 779
83.41/83.98	o 778
83.41/83.99	o 777
83.41/84.00	o 776
83.52/84.01	o 774
83.52/84.02	o 773
83.52/84.03	o 772
83.52/84.03	o 771
83.52/84.04	o 770
83.52/84.05	o 769
83.52/84.06	o 768
83.52/84.07	o 767
83.52/84.08	o 766
83.52/84.08	o 765
83.61/84.10	o 764
83.61/84.11	o 763
83.61/84.12	o 762
83.61/84.13	o 761
83.61/84.13	o 760
83.61/84.14	o 759
83.61/84.16	o 758
83.61/84.16	o 757
83.61/84.17	o 756
83.61/84.18	o 755
83.61/84.19	o 754
83.71/84.20	o 753
83.71/84.21	o 752
83.71/84.22	o 751
83.71/84.22	o 750
83.71/84.23	o 749
83.71/84.24	o 748
83.71/84.26	o 747
83.71/84.27	o 746
83.71/84.28	o 745
83.71/84.30	o 744
83.81/84.31	o 743
83.81/84.32	o 742
83.81/84.32	o 741
83.81/84.33	o 740
83.81/84.34	o 739
83.81/84.35	o 738
83.81/84.36	o 737
83.81/84.36	o 736
83.81/84.37	o 735
83.81/84.38	o 734
83.81/84.39	o 733
83.81/84.40	o 732
83.91/84.41	o 731
83.91/84.41	o 730
83.91/84.42	o 729
83.91/84.43	o 728
83.91/84.44	o 727
83.91/84.46	o 726
83.91/84.47	o 725
83.91/84.48	o 724
83.91/84.48	o 723
83.91/84.49	o 722
83.91/84.50	o 721
84.01/84.50	o 720
84.01/84.51	o 719
84.01/84.52	o 718
84.01/84.53	o 715
84.01/84.53	o 714
84.01/84.54	o 713
84.01/84.55	o 712
84.01/84.56	o 711
84.01/84.57	o 710
84.01/84.58	o 709
84.01/84.59	o 708
84.01/84.59	o 707
84.01/84.60	o 706
84.11/84.61	o 705
84.11/84.62	o 704
84.11/84.62	o 703
84.11/84.63	o 702
84.11/84.64	o 701
84.11/84.65	o 700
84.11/84.65	o 699
84.11/84.66	o 698
84.11/84.67	o 697
84.11/84.67	o 696
84.11/84.68	o 695
84.11/84.69	o 694
84.11/84.70	o 693
84.21/84.70	o 692
84.21/84.71	o 691
84.21/84.72	o 690
84.21/84.73	o 689
84.21/84.74	o 688
84.21/84.74	o 687
84.21/84.75	o 686
84.21/84.76	o 685
84.21/84.77	o 684
84.21/84.78	o 683
84.21/84.78	o 682
84.21/84.79	o 681
84.31/84.80	o 680
84.31/84.81	o 679
84.31/84.82	o 678
84.31/84.83	o 677
84.31/84.84	o 676
84.31/84.84	o 675
84.31/84.85	o 674
84.31/84.86	o 672
84.31/84.87	o 671
84.31/84.87	o 670
84.31/84.88	o 669
84.31/84.89	o 668
84.31/84.90	o 667
84.40/84.90	o 666
84.40/84.91	o 665
84.40/84.92	o 664
84.40/84.93	o 663
84.40/84.93	o 662
84.40/84.94	o 661
84.40/84.95	o 660
84.40/84.95	o 659
84.40/84.96	o 658
84.40/84.97	o 657
84.40/84.98	o 656
84.40/84.98	o 655
84.40/84.99	o 654
84.50/85.00	o 653
84.50/85.01	o 652
84.50/85.01	o 651
84.50/85.02	o 650
84.50/85.03	o 649
84.50/85.04	o 648
84.50/85.04	o 647
84.50/85.05	o 646
84.50/85.06	o 645
84.50/85.07	o 644
84.50/85.07	o 643
84.50/85.08	o 642
84.50/85.09	o 641
84.50/85.09	o 640
84.60/85.10	o 639
84.60/85.11	o 638
84.60/85.12	o 637
84.60/85.12	o 636
84.60/85.13	o 635
84.60/85.14	o 634
84.60/85.15	o 633
84.60/85.16	o 632
84.60/85.16	o 631
84.60/85.17	o 630
84.60/85.18	o 629
84.60/85.19	o 628
84.60/85.19	o 627
84.71/85.20	o 626
84.71/85.21	o 625
84.71/85.22	o 624
84.71/85.22	o 623
84.71/85.23	o 622
84.71/85.24	o 621
84.71/85.25	o 620
84.71/85.26	o 619
84.71/85.26	o 618
84.71/85.27	o 617
84.71/85.28	o 616
84.71/85.28	o 615
84.71/85.29	o 614
84.80/85.30	o 613
84.80/85.31	o 612
84.80/85.31	o 611
84.80/85.32	o 610
84.80/85.33	o 609
84.80/85.34	o 608
84.80/85.34	o 607
84.80/85.35	o 606
84.80/85.36	o 605
84.80/85.36	o 604
84.80/85.37	o 603
84.80/85.38	o 602
84.80/85.39	o 601
84.80/85.39	o 600
84.90/85.40	o 599
84.90/85.41	o 598
84.90/85.42	o 597
84.90/85.42	o 596
84.90/85.43	o 595
84.90/85.44	o 594
84.90/85.45	o 593
84.90/85.45	o 592
84.90/85.46	o 591
84.90/85.47	o 589
84.90/85.48	o 588
84.90/85.48	o 587
84.90/85.49	o 586
84.90/85.50	o 585
84.99/85.50	o 584
84.99/85.51	o 583
84.99/85.52	o 582
84.99/85.53	o 581
84.99/85.53	o 580
84.99/85.54	o 579
84.99/85.55	o 578
84.99/85.56	o 577
84.99/85.57	o 576
84.99/85.57	o 575
84.99/85.58	o 573
84.99/85.59	o 572
84.99/85.59	o 571
85.10/85.60	o 570
85.10/85.61	o 569
85.10/85.62	o 568
85.10/85.62	o 567
85.10/85.63	o 566
85.10/85.64	o 565
85.10/85.64	o 564
85.10/85.65	o 563
85.10/85.66	o 562
85.10/85.67	o 561
85.10/85.67	o 560
85.10/85.68	o 559
85.10/85.69	o 558
85.10/85.70	o 557
85.20/85.70	o 556
85.20/85.71	o 555
85.20/85.72	o 554
85.20/85.73	o 553
85.20/85.74	o 552
85.20/85.75	o 551
85.20/85.76	o 550
85.20/85.77	o 549
85.20/85.77	o 548
85.20/85.78	o 547
85.20/85.79	o 546
85.20/85.80	o 545
85.30/85.80	o 544
85.30/85.81	o 543
85.30/85.82	o 542
85.30/85.84	o 541
85.30/85.84	o 540
85.30/85.85	o 539
85.30/85.86	o 538
85.30/85.87	o 537
85.30/85.89	o 536
85.39/85.91	o 535
85.39/85.93	o 534
85.39/85.93	o 533
85.39/85.94	o 532
85.39/85.95	o 530
85.39/85.96	o 529
85.39/85.97	o 528
85.39/85.99	o 527
85.49/86.00	o 526
85.49/86.01	o 525
85.49/86.01	o 524
85.49/86.03	o 523
85.49/86.03	o 522
85.49/86.04	o 521
85.49/86.06	o 520
85.49/86.08	o 519
85.49/86.08	o 518
85.49/86.09	o 517
85.60/86.11	o 516
85.60/86.12	o 515
85.60/86.15	o 514
85.60/86.16	o 513
85.60/86.17	o 512
85.60/86.18	o 511
85.60/86.19	o 510
85.60/86.20	o 509
85.69/86.21	o 508
85.69/86.21	o 507
85.69/86.22	o 506
85.69/86.23	o 505
85.69/86.24	o 504
85.69/86.25	o 503
85.69/86.25	o 502
85.69/86.26	o 501
85.69/86.27	o 500
85.69/86.28	o 499
85.69/86.29	o 498
85.79/86.30	o 497
85.79/86.31	o 496
85.79/86.32	o 495
85.79/86.32	o 494
85.79/86.33	o 493
85.79/86.34	o 492
85.79/86.34	o 491
85.79/86.36	o 490
85.79/86.36	o 489
85.79/86.37	o 488
85.79/86.39	o 487
85.89/86.40	o 486
85.89/86.40	o 485
85.89/86.41	o 484
85.89/86.42	o 483
85.89/86.44	o 482
85.89/86.46	o 481
85.89/86.46	o 480
85.89/86.47	o 479
85.89/86.49	o 478
85.89/86.49	o 477
85.98/86.50	o 476
85.98/86.51	o 475
85.98/86.52	o 474
85.98/86.53	o 473
85.98/86.54	o 472
85.98/86.55	o 471
85.98/86.56	o 470
85.98/86.57	o 469
85.98/86.58	o 468
85.98/86.59	o 467
86.09/86.61	o 466
86.09/86.63	o 465
86.09/86.63	o 464
86.09/86.64	o 463
86.09/86.65	o 462
86.09/86.66	o 461
86.09/86.67	o 460
86.09/86.68	o 459
86.09/86.69	o 458
86.09/86.69	o 457
86.19/86.71	o 456
86.19/86.72	o 455
86.19/86.74	o 454
86.19/86.75	o 453
86.19/86.76	o 452
86.19/86.76	o 451
86.19/86.77	o 450
86.19/86.78	o 449
86.19/86.79	o 448
86.19/86.80	o 447
86.29/86.82	o 446
86.29/86.84	o 445
86.29/86.84	o 444
86.29/86.85	o 443
86.29/86.86	o 442
86.29/86.87	o 440
86.29/86.88	o 439
86.29/86.89	o 438
86.29/86.89	o 437
86.39/86.91	o 436
86.39/86.92	o 435
86.39/86.93	o 434
86.39/86.94	o 433
86.39/86.94	o 432
86.39/86.95	o 431
86.39/86.96	o 429
86.39/86.97	o 428
86.39/86.98	o 427
86.39/86.99	o 426
86.48/87.00	o 425
86.48/87.03	o 424
86.48/87.04	o 423
86.48/87.05	o 422
86.48/87.06	o 421
86.48/87.06	o 420
86.48/87.07	o 419
86.48/87.08	o 418
86.48/87.09	o 417
86.48/87.09	o 416
86.57/87.10	o 415
86.57/87.11	o 414
86.57/87.11	o 413
86.57/87.14	o 412
86.57/87.15	o 411
86.57/87.16	o 410
86.57/87.17	o 409
86.57/87.18	o 408
86.57/87.18	o 407
86.57/87.19	o 406
86.67/87.20	o 405
86.67/87.22	o 404
86.67/87.22	o 403
86.67/87.23	o 402
86.67/87.24	o 401
86.67/87.24	o 400
86.67/87.25	o 399
86.67/87.26	o 398
86.67/87.27	o 397
86.67/87.28	o 396
86.67/87.29	o 395
86.78/87.30	o 394
86.78/87.33	o 393
86.78/87.34	o 392
86.78/87.35	o 391
86.78/87.35	o 390
86.78/87.36	o 389
86.78/87.37	o 388
86.78/87.39	o 387
86.87/87.40	o 386
86.87/87.42	o 385
86.87/87.43	o 384
86.87/87.43	o 383
86.87/87.44	o 382
86.87/87.45	o 381
86.87/87.46	o 380
86.87/87.47	o 379
86.87/87.48	o 378
86.87/87.49	o 377
86.97/87.50	o 376
86.97/87.51	o 375
86.97/87.52	o 374
86.97/87.52	o 373
86.97/87.53	o 372
86.97/87.54	o 371
86.97/87.54	o 370
86.97/87.55	o 369
86.97/87.56	o 368
86.97/87.56	o 367
86.97/87.57	o 366
86.97/87.58	o 365
86.97/87.59	o 364
87.07/87.60	o 363
87.07/87.60	o 362
87.07/87.61	o 361
87.07/87.62	o 360
87.07/87.63	o 359
87.07/87.63	o 358
87.07/87.64	o 357
87.07/87.65	o 356
87.07/87.65	o 355
87.07/87.66	o 354
87.07/87.67	o 353
87.07/87.68	o 352
87.07/87.69	o 351
87.18/87.71	o 350
87.18/87.71	o 349
87.18/87.72	o 348
87.18/87.73	o 347
87.18/87.74	o 346
87.18/87.75	o 345
87.18/87.76	o 344
87.18/87.77	o 343
87.18/87.77	o 342
87.18/87.80	o 341
87.27/87.81	o 340
87.27/87.86	o 339
87.27/87.87	o 338
87.27/87.88	o 337
87.27/87.89	o 336
87.27/87.89	o 335
87.38/87.90	o 334
87.38/87.91	o 333
87.38/87.92	o 332
87.38/87.93	o 331
87.38/87.93	o 330
87.38/87.94	o 329
87.38/87.95	o 328
87.38/87.95	o 327
87.38/87.96	o 326
87.38/87.97	o 325
87.38/87.98	o 324
87.38/87.99	o 323
87.38/88.00	o 322
87.48/88.02	o 321
87.48/88.03	o 320
87.48/88.04	o 319
87.48/88.06	o 318
87.48/88.07	o 317
87.48/88.07	o 316
87.48/88.08	o 315
87.48/88.09	o 314
87.56/88.10	o 313
87.56/88.11	o 312
87.56/88.12	o 311
87.56/88.16	o 310
87.56/88.17	o 309
87.67/88.23	o 308
87.67/88.24	o 307
87.67/88.25	o 306
87.67/88.26	o 305
87.67/88.27	o 304
87.67/88.28	o 303
87.67/88.29	o 302
87.77/88.30	o 301
87.77/88.31	o 300
87.77/88.32	o 299
87.77/88.33	o 298
87.77/88.33	o 297
87.77/88.34	o 296
87.77/88.35	o 295
87.77/88.36	o 294
87.77/88.37	o 293
87.77/88.38	o 292
87.86/88.40	o 291
87.86/88.41	o 290
87.86/88.42	o 289
87.86/88.43	o 288
87.86/88.44	o 287
87.86/88.45	o 286
87.86/88.46	o 285
87.86/88.47	o 284
87.86/88.48	o 283
87.86/88.48	o 282
87.86/88.49	o 281
87.96/88.51	o 280
87.96/88.52	o 279
87.96/88.52	o 278
88.06/88.62	o 277
88.06/88.67	o 276
88.15/88.72	o 275
88.15/88.75	o 274
88.26/88.80	o 273
88.36/88.98	o 272
88.46/89.03	o 271
88.46/89.05	o 270
88.46/89.06	o 269
88.56/89.11	o 268
88.56/89.14	o 267
88.66/89.25	o 266
88.86/89.43	o 265
88.86/89.45	o 264
89.16/89.72	o 263
89.25/89.84	o 262
89.25/89.85	o 261
89.36/90.00	o 260
89.56/90.15	o 259
89.67/90.24	o 258
89.67/90.24	o 257
89.76/90.32	o 256
89.96/90.53	o 255
89.96/90.54	o 254
89.96/90.57	o 253
90.06/90.69	o 252
90.26/90.81	o 251
90.26/90.82	o 250
90.26/90.83	o 249
90.36/90.90	o 248
90.46/91.04	o 247
90.46/91.05	o 246
90.46/91.09	o 245
90.76/91.38	o 244
90.86/91.41	o 243
90.86/91.44	o 242
91.05/91.67	o 241
91.26/91.80	o 240
91.26/91.87	o 239
91.45/92.01	o 238
91.45/92.03	o 237
91.55/92.10	o 236
91.66/92.23	o 235
91.66/92.24	o 234
91.66/92.25	o 233
91.66/92.30	o 232
91.76/92.31	o 231
91.76/92.34	o 229
91.86/92.43	o 228
91.95/92.53	o 227
92.06/92.60	o 225
92.06/92.61	o 224
92.06/92.62	o 223
92.16/92.70	o 222
92.25/92.83	o 221
92.25/92.84	o 220
92.56/93.12	o 219
92.56/93.12	o 218
92.56/93.15	o 217
92.56/93.16	o 216
92.56/93.18	o 215
92.65/93.21	o 214
92.65/93.26	o 213
92.65/93.27	o 212
92.85/93.48	o 211
92.85/93.49	o 210
92.85/93.50	o 209
92.96/93.53	o 208
92.96/93.54	o 207
92.96/93.56	o 206
92.96/93.57	o 205
93.05/93.63	o 204
93.05/93.69	o 203
93.15/93.71	o 202
93.15/93.72	o 201
93.15/93.74	o 200
93.15/93.77	o 199
93.25/93.88	o 197
93.25/93.89	o 196
93.35/93.91	o 195
93.44/94.00	o 194
93.44/94.01	o 193
93.44/94.01	o 192
93.44/94.02	o 191
93.44/94.03	o 190
93.44/94.03	o 189
93.44/94.04	o 188
93.44/94.05	o 187
93.44/94.05	o 186
93.44/94.06	o 185
93.44/94.07	o 184
93.44/94.07	o 183
93.44/94.08	o 182
93.44/94.09	o 181
93.54/94.10	o 180
93.54/94.11	o 179
93.54/94.13	o 178
93.54/94.16	o 177
93.54/94.17	o 176
93.54/94.19	o 175
93.64/94.21	o 174
93.64/94.23	o 173
93.75/94.33	o 172
93.84/94.42	o 171
93.84/94.43	o 170
93.95/94.60	o 169
94.06/94.64	o 168
94.06/94.66	o 167
94.15/94.75	o 166
94.15/94.76	o 165
94.15/94.78	o 164
94.15/94.78	o 163
94.25/94.82	o 162
94.45/95.09	o 161
94.55/95.10	o 160
94.55/95.11	o 159
94.64/95.27	   
94.64/95.28	   search
94.64/95.28	     run=0  nbConstraintChecks=357190652  nbAssignments=10000
94.64/95.28	       =>  wckTime=93.874  cpuTime=93.28  mem=23M234
94.75/95.35	o 158
94.75/95.36	o 157
94.85/95.40	o 156
94.95/95.54	o 155
95.15/95.78	o 154
95.25/95.84	o 153
95.34/95.96	o 152
95.34/95.99	o 151
95.45/96.05	o 150
95.55/96.12	o 149
95.55/96.14	o 148
95.55/96.16	o 147
95.65/96.22	o 146
95.95/96.58	o 145
96.15/96.73	o 144
96.25/96.86	o 143
96.25/96.88	o 142
96.25/96.90	o 141
96.35/96.93	o 140
96.35/96.93	o 139
96.55/97.15	o 138
96.65/97.21	o 137
96.95/97.55	o 135
97.44/98.02	o 134
97.44/98.09	o 133
97.74/98.31	o 132
97.74/98.32	o 131
97.94/98.56	o 130
97.94/98.57	o 129
97.94/98.57	o 128
97.94/98.58	o 127
98.05/98.64	o 126
98.05/98.68	o 125
98.25/98.81	o 123
98.25/98.90	o 122
98.85/99.43	o 121
98.85/99.43	o 120
98.94/99.56	o 119
99.14/99.77	o 118
99.24/99.86	o 117
99.24/99.88	o 116
99.34/99.92	o 115
99.94/100.55	o 114
100.05/100.68	o 113
100.14/100.75	o 112
100.34/100.94	o 111
100.65/101.22	o 110
101.04/101.61	o 109
101.04/101.69	o 108
101.14/101.71	o 107
101.24/101.84	o 106
101.34/101.90	o 104
101.34/101.94	o 103
101.54/102.18	o 100
102.04/102.68	o 99
102.04/102.69	o 98
102.14/102.76	o 97
102.54/103.12	o 96
102.54/103.13	o 95
102.64/103.21	o 94
102.64/103.29	o 93
102.94/103.55	o 92
103.04/103.67	o 91
103.54/104.15	o 90
103.64/104.25	o 89
103.94/104.57	o 88
104.13/104.77	o 87
104.34/104.96	o 86
104.53/105.10	o 85
104.53/105.11	o 84
104.84/105.41	o 83
104.94/105.58	o 82
105.23/105.81	o 81
105.23/105.83	o 80
105.53/106.17	o 79
106.54/107.12	o 78
106.94/107.59	o 77
107.14/107.74	o 76
107.24/107.82	o 75
107.44/108.03	o 74
108.03/108.69	o 72
108.83/109.42	   
108.83/109.42	   search
108.83/109.42	     run=1  nbConstraintChecks=426870835  nbAssignments=20000
108.83/109.42	       =>  wckTime=108.021  cpuTime=107.41  mem=23M234
108.83/109.44	o 71
111.33/111.98	o 70
111.33/111.99	o 69
111.44/112.01	o 68
112.13/112.76	o 67
112.13/112.77	o 66
112.23/112.86	o 64
112.43/113.03	o 63
112.43/113.09	o 60
112.43/113.09	o 59
112.54/113.11	o 54
112.54/113.12	o 53
112.54/113.12	o 52
112.54/113.13	o 51
112.83/113.43	o 49
112.83/113.45	o 48
112.93/113.56	o 46
112.93/113.56	o 45
113.64/114.21	o 44
113.64/114.23	o 43
113.64/114.24	o 42
114.23/114.81	o 41
114.23/114.82	o 40
114.23/114.83	o 39
114.43/115.09	o 38
114.73/115.31	o 37
114.73/115.32	o 36
117.43/118.05	o 35
117.53/118.10	o 34
117.83/118.47	o 33
118.03/118.65	   
118.03/118.65	   search
118.03/118.65	     run=2  nbConstraintChecks=477518513  nbAssignments=30000
118.03/118.65	       =>  wckTime=117.248  cpuTime=116.63  mem=23M234
118.13/118.74	o 32
118.13/118.76	o 31
119.03/119.62	o 30
119.34/119.96	o 29
119.34/119.97	o 28
121.03/121.60	o 27
121.03/121.69	o 26
121.33/121.92	o 25
124.93/125.58	   
124.93/125.58	   search
124.93/125.58	     run=3  nbConstraintChecks=515945868  nbAssignments=40000
124.93/125.58	       =>  wckTime=124.182  cpuTime=123.56  mem=23M234
125.53/126.18	o 24
132.12/132.74	   
132.12/132.74	   search
132.12/132.74	     run=4  nbConstraintChecks=556266780  nbAssignments=50000
132.12/132.74	       =>  wckTime=131.341  cpuTime=130.71  mem=23M234
138.92/139.50	   
138.92/139.50	   search
138.92/139.50	     run=5  nbConstraintChecks=594235010  nbAssignments=60000
138.92/139.50	       =>  wckTime=138.099  cpuTime=137.47  mem=23M234
142.42/143.08	o 23
146.11/146.70	   
146.11/146.70	   search
146.11/146.70	     run=6  nbConstraintChecks=634117409  nbAssignments=70000
146.11/146.70	       =>  wckTime=145.296  cpuTime=144.67  mem=23M234
152.32/152.94	   
152.32/152.94	   search
152.32/152.94	     run=7  nbConstraintChecks=669714962  nbAssignments=80000
152.32/152.94	       =>  wckTime=151.543  cpuTime=150.91  mem=23M234
159.52/160.12	   
159.52/160.12	   search
159.52/160.12	     run=8  nbConstraintChecks=709427761  nbAssignments=90000
159.52/160.12	       =>  wckTime=158.721  cpuTime=158.09  mem=23M234
165.71/166.37	   
165.71/166.37	   search
165.71/166.37	     run=9  nbConstraintChecks=744523368  nbAssignments=100000
165.71/166.37	       =>  wckTime=164.972  cpuTime=164.33  mem=23M234
172.41/173.09	   
172.41/173.09	   search
172.41/173.09	     run=10  nbConstraintChecks=781838019  nbAssignments=109967
172.41/173.09	       =>  wckTime=171.69  cpuTime=171.06  mem=23M234
172.41/173.09	   
172.41/173.09	   global
172.41/173.09	     nbConstraintChecks=781838019  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
172.41/173.09	     solvingWckTime=171.679  solvingCpuTime=171.05  expiredTime=no  totalExploration=no  nbFoundSolutions=0
172.41/173.09	     globalCpuTime=171.82
172.41/173.09	       =>  wckTime=172.848  cpuTime=171.78  mem=23M234
172.41/173.09	   
172.41/173.09	   solver DecomposerSolver being built... 
176.81/177.40	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-1127185-1216188186/watcher-1127185-1216188186 -o /tmp/evaluation-result-1127185-1216188186/solver-1127185-1216188186 -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-wdeg.xml 1 XSax HOME/instance-1127185-1216188186.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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 4/73 1676
/proc/meminfo: memFree=1859464/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=10616 CPUtime=0
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 75521981 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 2654 472 209 9 0 1184 0
[pid=1676/tid=1677] ppid=1674 vsize=10616 CPUtime=0
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 75521982 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 11435992 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.076081 s]
/proc/loadavg: 2.05 2.01 2.00 4/73 1676
/proc/meminfo: memFree=1859464/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=865856 CPUtime=0.06
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 3508 0 1 0 4 2 0 0 18 0 9 0 75521981 886636544 2998 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216464 2998 1627 9 0 211026 0
[pid=1676/tid=1677] ppid=1674 vsize=865856 CPUtime=0.05
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 2600 0 1 0 4 1 0 0 20 0 9 0 75521982 886636544 2998 996147200 134512640 134550740 4294955952 18446744073709551615 4159710531 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.101082 s]
/proc/loadavg: 2.05 2.01 2.00 4/73 1676
/proc/meminfo: memFree=1859464/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=865988 CPUtime=0.09
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 3769 0 1 0 7 2 0 0 18 0 9 0 75521981 886771712 3228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216497 3228 1709 9 0 211052 0
[pid=1676/tid=1677] ppid=1674 vsize=865988 CPUtime=0.07
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 2855 0 1 0 6 1 0 0 18 0 9 0 75521982 886771712 3228 996147200 134512640 134550740 4294955952 18446744073709551615 103680256 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.301094 s]
/proc/loadavg: 2.05 2.01 2.00 4/73 1676
/proc/meminfo: memFree=1859464/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=866388 CPUtime=0.3
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 5885 0 1 0 26 4 0 0 18 0 9 0 75521981 887181312 5260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216597 5260 1955 9 0 211125 0
[pid=1676/tid=1677] ppid=1674 vsize=866388 CPUtime=0.24
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 4915 0 1 0 21 3 0 0 18 0 9 0 75521982 887181312 5260 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 866388

[startup+0.701133 s]
/proc/loadavg: 2.05 2.01 2.00 4/73 1676
/proc/meminfo: memFree=1859464/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=867332 CPUtime=0.69
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 15050 0 1 0 61 8 0 0 18 0 9 0 75521981 888147968 14421 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216833 14421 1973 9 0 211361 0
[pid=1676/tid=1677] ppid=1674 vsize=867332 CPUtime=0.54
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 13761 0 1 0 47 7 0 0 20 0 9 0 75521982 888147968 14421 996147200 134512640 134550740 4294955952 18446744073709551615 4125978346 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867332

[startup+1.50121 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 1685
/proc/meminfo: memFree=1790464/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=867608 CPUtime=1.49
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23606 0 1 0 136 13 0 0 18 0 9 0 75521981 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216902 22780 2638 9 0 211408 0
[pid=1676/tid=1677] ppid=1674 vsize=867608 CPUtime=0.99
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15787 0 1 0 90 9 0 0 25 0 9 0 75521982 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4127015579 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=867608 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 17 0 9 0 75521984 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1680] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=867608 CPUtime=0.22
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 650 0 0 0 22 0 0 0 15 0 9 0 75521986 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75521986 888430592 22780 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867608

[startup+3.10136 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 1685
/proc/meminfo: memFree=1778304/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=867608 CPUtime=3.09
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23608 0 1 0 294 15 0 0 18 0 9 0 75521981 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216902 22781 2638 9 0 211408 0
[pid=1676/tid=1677] ppid=1674 vsize=867608 CPUtime=2.57
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15788 0 1 0 247 10 0 0 25 0 9 0 75521982 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4127015543 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=867608 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 17 0 9 0 75521984 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1680] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=867612 CPUtime=0.22
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 651 0 0 0 22 0 0 0 16 0 9 0 75521986 888434688 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75521986 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867608

[startup+6.30267 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 1685
/proc/meminfo: memFree=1778176/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=867608 CPUtime=6.28
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23609 0 1 0 611 17 0 0 18 0 9 0 75521981 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216902 22781 2638 9 0 211408 0
[pid=1676/tid=1677] ppid=1674 vsize=867608 CPUtime=5.77
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15789 0 1 0 565 12 0 0 25 0 9 0 75521982 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4127009418 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=867608 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 16 0 9 0 75521984 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1680] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=867608 CPUtime=0.22
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 651 0 0 0 22 0 0 0 16 0 9 0 75521986 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75521986 888430592 22781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867608

[startup+12.7013 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 1685
/proc/meminfo: memFree=1777792/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=867608 CPUtime=12.65
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23611 0 1 0 1242 23 0 0 18 0 9 0 75521981 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216902 22782 2638 9 0 211408 0
[pid=1676/tid=1677] ppid=1674 vsize=867608 CPUtime=12.13
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15790 0 1 0 1195 18 0 0 25 0 9 0 75521982 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4126985203 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=867608 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 16 0 9 0 75521984 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1680] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=867608 CPUtime=0.22
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 652 0 0 0 22 0 0 0 16 0 9 0 75521986 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75521986 888430592 22782 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 867608

[startup+25.5015 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 1685
/proc/meminfo: memFree=1777792/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=867608 CPUtime=25.39
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23624 0 1 0 2508 31 0 0 18 0 9 0 75521981 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216902 22792 2638 9 0 211408 0
[pid=1676/tid=1677] ppid=1674 vsize=867608 CPUtime=24.87
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15794 0 1 0 2460 27 0 0 25 0 9 0 75521982 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4127001636 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=867608 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 16 0 9 0 75521984 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1680] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=867608 CPUtime=0.25
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 661 0 0 0 24 1 0 0 16 0 9 0 75521986 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=867608 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 75521986 888430592 22792 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 867608

[startup+51.1019 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 1685
/proc/meminfo: memFree=1777856/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=867608 CPUtime=50.84
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23628 0 1 0 5030 54 0 0 18 0 9 0 75521981 888430592 22795 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 216902 22795 2638 9 0 211408 0
[pid=1676/tid=1677] ppid=1674 vsize=867608 CPUtime=50.31
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15795 0 1 0 4981 50 0 0 25 0 9 0 75521982 888430592 22795 996147200 134512640 134550740 4294955952 18446744073709551615 4126985203 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=867608 CPUtime=0.25

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

/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=868632 CPUtime=0.26
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 672 0 0 0 25 1 0 0 16 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 868632

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1685
/proc/meminfo: memFree=1777536/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=868632 CPUtime=161.71
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23637 0 1 0 15693 478 0 0 18 0 9 0 75521981 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 217158 22804 2639 9 0 211664 0
[pid=1676/tid=1677] ppid=1674 vsize=868632 CPUtime=161.17
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15795 0 1 0 15643 474 0 0 25 0 9 0 75521982 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4127005184 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=868632 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 16 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1680] ppid=1674 vsize=868636 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 889483264 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=868632 CPUtime=0.26
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 672 0 0 0 25 1 0 0 16 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 868632

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

[startup+166.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1685
/proc/meminfo: memFree=1777536/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=868632 CPUtime=165.71
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23637 0 1 0 16068 503 0 0 18 0 9 0 75521981 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 217158 22804 2639 9 0 211664 0
[pid=1676/tid=1677] ppid=1674 vsize=868632 CPUtime=165.17
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15795 0 1 0 16018 499 0 0 25 0 9 0 75521982 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4127009385 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=868632 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 16 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1680] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=868632 CPUtime=0.26
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 672 0 0 0 25 1 0 0 16 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 165.71
Current children cumulated vsize (KiB) 868632

[startup+172.707 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 1685
/proc/meminfo: memFree=1777536/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=868636 CPUtime=172.11
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 23637 0 1 0 16673 538 0 0 18 0 9 0 75521981 889483264 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 217158 22804 2639 9 0 211664 0
[pid=1676/tid=1677] ppid=1674 vsize=868632 CPUtime=171.58
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15795 0 1 0 16624 534 0 0 25 0 9 0 75521982 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=868632 CPUtime=0.25
/proc/1676/task/1679/stat : 1679 (java) S 1674 1676 1391 0 -1 64 6473 0 0 0 23 2 0 0 16 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1680] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75521984 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=868632 CPUtime=0.26
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 672 0 0 0 25 1 0 0 16 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=868632 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75521986 889479168 22804 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.11
Current children cumulated vsize (KiB) 868636

[startup+175.903 s]
/proc/loadavg: 2.08 2.02 2.01 4/82 1685
/proc/meminfo: memFree=1069760/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=868544 CPUtime=175.32
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 200289 0 1 0 16922 610 0 0 18 0 9 0 75521981 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 217136 199375 2616 9 0 211664 0
[pid=1676/tid=1677] ppid=1674 vsize=868544 CPUtime=172.85
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15888 0 1 0 16748 537 0 0 25 0 9 0 75521982 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=868544 CPUtime=2.14
/proc/1676/task/1679/stat : 1679 (java) R 1674 1676 1391 0 -1 64 182991 0 0 0 144 70 0 0 16 0 9 0 75521984 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1680] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 75521984 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=868544 CPUtime=0.3
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 699 0 0 0 29 1 0 0 15 0 9 0 75521986 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75521986 889389056 199375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 175.32
Current children cumulated vsize (KiB) 868544

[startup+176.703 s]
/proc/loadavg: 2.08 2.02 2.01 4/82 1685
/proc/meminfo: memFree=1069760/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=868544 CPUtime=176.11
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 200295 0 1 0 17001 610 0 0 18 0 9 0 75521981 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 217136 199380 2616 9 0 211664 0
[pid=1676/tid=1677] ppid=1674 vsize=868544 CPUtime=172.85
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15889 0 1 0 16748 537 0 0 25 0 9 0 75521982 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=868544 CPUtime=2.93
/proc/1676/task/1679/stat : 1679 (java) R 1674 1676 1391 0 -1 64 182996 0 0 0 223 70 0 0 17 0 9 0 75521984 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 104457031 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1680] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 75521984 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=868544 CPUtime=0.3
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 699 0 0 0 29 1 0 0 15 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 176.11
Current children cumulated vsize (KiB) 868544

[startup+177.108 s]
/proc/loadavg: 2.08 2.02 2.01 4/82 1685
/proc/meminfo: memFree=1069768/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=868544 CPUtime=176.52
/proc/1676/stat : 1676 (java) S 1674 1676 1391 0 -1 0 200295 0 1 0 17042 610 0 0 18 0 9 0 75521981 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1676/statm: 217136 199380 2616 9 0 211664 0
[pid=1676/tid=1677] ppid=1674 vsize=868544 CPUtime=172.85
/proc/1676/task/1677/stat : 1677 (java) R 1674 1676 1391 0 -1 64 15889 0 1 0 16748 537 0 0 25 0 9 0 75521982 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1679] ppid=1674 vsize=868544 CPUtime=3.34
/proc/1676/task/1679/stat : 1679 (java) R 1674 1676 1391 0 -1 64 182996 0 0 0 264 70 0 0 17 0 9 0 75521984 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1680] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1680/stat : 1680 (java) S 1674 1676 1391 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 75521984 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1681] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1681/stat : 1681 (java) S 1674 1676 1391 0 -1 64 19 0 0 0 0 0 0 0 16 0 9 0 75521984 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1682] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1682/stat : 1682 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1683] ppid=1674 vsize=868544 CPUtime=0.3
/proc/1676/task/1683/stat : 1683 (java) S 1674 1676 1391 0 -1 64 699 0 0 0 29 1 0 0 15 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1676/tid=1684] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1684/stat : 1684 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1676/tid=1685] ppid=1674 vsize=868544 CPUtime=0
/proc/1676/task/1685/stat : 1685 (java) S 1674 1676 1391 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75521986 889389056 199380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 176.52
Current children cumulated vsize (KiB) 868544

[startup+177.503 s]
/proc/loadavg: 2.08 2.02 2.01 4/82 1685
/proc/meminfo: memFree=1069768/2055920 swapFree=4192812/4192956
[pid=1676] ppid=1674 vsize=0 CPUtime=176.89
/proc/1676/stat : 1676 (java) Z 1674 1676 1391 0 -1 12 200303 0 1 0 17072 617 0 0 16 0 2 0 75521981 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1676/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 176.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 177.548
CPU time (s): 176.941
CPU user time (s): 170.724
CPU system time (s): 6.21705
CPU usage (%): 99.6582
Max. virtual memory (cumulated for all children) (KiB): 868636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.724
system time used= 6.21705
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200303
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5275
involuntary context switches= 13323

runsolver used 0.438933 second user time and 0.901862 second system time

The end

Launcher Data (download as text)

Begin job on node4 at 2008-07-16 08:03:07
IDJOB=1127185
IDBENCH=66138
IDSOLVER=359
FILE ID=node4/1127185-1216188186
PBS_JOBID= 7905914
Free space on /tmp= 66552 MiB

SOLVER NAME= AbsconMax 112 pc-w
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-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127185-1216188186/watcher-1127185-1216188186 -o /tmp/evaluation-result-1127185-1216188186/solver-1127185-1216188186 -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-wdeg.xml 1 XSax HOME/instance-1127185-1216188186.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 93c5d394eb2c2860fd1ad7b3d6066719
RANDOM SEED=901893690

node4.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.232
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.232
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:       1859944 kB
Buffers:         22624 kB
Cached:          91344 kB
SwapCached:          0 kB
Active:          88692 kB
Inactive:        46932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3132 kB
Writeback:           0 kB
Mapped:          32780 kB
Slab:            45488 kB
Committed_AS:   368812 kB
PageTables:       1968 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= 66548 MiB
End job on node4 at 2008-07-16 08:06:04