0.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.17/0.28	
0.17/0.28	   configuration
0.17/0.28	     name=mrdac-wdeg.xml
0.27/0.32	   
0.27/0.32	   instance
0.27/0.32	     name=HOME/instance-1109891-1215813158.xml
0.27/0.36	   
0.27/0.36	   domains being loaded...
0.27/0.37	   
0.27/0.37	   variables being loaded...
0.86/0.95	     nbVariables=20820  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2  nbTotalValues=41636
0.86/0.95	       =>  wckTime=0.676  cpuTime=0.47  mem=21M779
0.86/0.96	   
0.86/0.96	   predicates being loaded...
0.95/1.02	   
0.95/1.02	   constraints being loaded...
8.69/8.87	     nbConstraints=44644  nbSingletonDomainVariables=4  nbConvertedConstraints=28128  nbConvertConstraintsChecks=136
8.69/8.87	     nbExtensionStructures=4  nbSharedExtensionStructures=28124  nbConflictsStructures=9
8.69/8.87	     nbSharedConflictsStructures=44635  nbSharedBinaryRepresentations=10  nbEvaluationManagers=5
8.69/8.87	     nbSharedEvaluationManagers=16511  minDegree=1  maxDegree=17  minArity=2  avgArity=2.42  maxArity=6
8.69/8.87	       =>  wckTime=8.589  cpuTime=7.0  mem=265M67
9.28/9.40	   
9.28/9.40	   solver LocalSearchSolver being built... 
9.28/9.46	       =>  wckTime=9.18  cpuTime=7.05  mem=266M842
9.37/9.56	
9.37/9.56	s SATISFIABLE
9.37/9.56	o 8907
9.37/9.58	o 8899
9.37/9.59	o 8891
9.47/9.60	o 8883
9.47/9.61	o 8876
9.47/9.62	o 8869
9.47/9.63	o 8862
9.47/9.64	o 8855
9.47/9.65	o 8848
9.47/9.66	o 8842
9.47/9.67	o 8836
9.47/9.68	o 8830
9.47/9.69	o 8824
9.57/9.70	o 8818
9.57/9.71	o 8812
9.57/9.72	o 8806
9.57/9.73	o 8800
9.57/9.74	o 8794
9.57/9.75	o 8788
9.57/9.76	o 8782
9.57/9.77	o 8776
9.57/9.78	o 8770
9.57/9.79	o 8764
9.57/9.80	o 8758
9.67/9.81	o 8752
9.67/9.82	o 8746
9.67/9.83	o 8740
9.67/9.84	o 8734
9.67/9.85	o 8729
9.67/9.86	o 8724
9.67/9.87	o 8719
9.67/9.88	o 8714
9.67/9.89	o 8709
9.67/9.90	o 8704
9.78/9.91	o 8699
9.78/9.92	o 8694
9.78/9.93	o 8689
9.78/9.93	o 8684
9.78/9.94	o 8679
9.78/9.95	o 8674
9.78/9.96	o 8669
9.78/9.97	o 8664
9.78/9.98	o 8659
9.78/9.99	o 8654
9.87/10.00	o 8649
9.87/10.01	o 8644
9.87/10.02	o 8639
9.87/10.03	o 8634
9.87/10.04	o 8629
9.87/10.05	o 8624
9.87/10.06	o 8619
9.87/10.07	o 8614
9.87/10.08	o 8609
9.87/10.09	o 8604
9.97/10.10	o 8599
9.97/10.11	o 8594
9.97/10.12	o 8589
9.97/10.13	o 8584
9.97/10.14	o 8579
9.97/10.15	o 8574
9.97/10.16	o 8569
9.97/10.17	o 8564
9.97/10.18	o 8559
9.97/10.19	o 8554
10.07/10.20	o 8549
10.07/10.21	o 8544
10.07/10.22	o 8539
10.07/10.23	o 8534
10.07/10.24	o 8529
10.07/10.25	o 8524
10.07/10.26	o 8519
10.07/10.27	o 8514
10.07/10.28	o 8509
10.07/10.29	o 8504
10.17/10.30	o 8499
10.17/10.31	o 8494
10.17/10.33	o 8489
10.17/10.34	o 8484
10.17/10.35	o 8479
10.17/10.36	o 8474
10.17/10.37	o 8469
10.17/10.38	o 8464
10.17/10.39	o 8459
10.17/10.40	o 8454
10.26/10.41	o 8449
10.26/10.42	o 8444
10.26/10.43	o 8439
10.26/10.44	o 8434
10.26/10.45	o 8429
10.26/10.45	o 8424
10.26/10.46	o 8419
10.26/10.47	o 8414
10.26/10.48	o 8409
10.26/10.49	o 8404
10.36/10.50	o 8399
10.36/10.51	o 8394
10.36/10.52	o 8389
10.36/10.53	o 8384
10.36/10.54	o 8379
10.36/10.55	o 8374
10.36/10.56	o 8369
10.36/10.57	o 8364
10.36/10.58	o 8359
10.36/10.59	o 8354
10.46/10.60	o 8349
10.46/10.61	o 8344
10.46/10.62	o 8339
10.46/10.63	o 8334
10.46/10.64	o 8329
10.46/10.65	o 8324
10.46/10.66	o 8319
10.46/10.67	o 8314
10.46/10.68	o 8309
10.46/10.69	o 8304
10.46/10.70	o 8299
10.56/10.71	o 8294
10.56/10.72	o 8289
10.56/10.73	o 8284
10.56/10.73	o 8279
10.56/10.74	o 8274
10.56/10.75	o 8270
10.56/10.76	o 8266
10.56/10.77	o 8262
10.56/10.78	o 8258
10.56/10.79	o 8254
10.65/10.80	o 8250
10.65/10.81	o 8246
10.65/10.82	o 8242
10.65/10.83	o 8238
10.65/10.84	o 8234
10.65/10.85	o 8230
10.65/10.86	o 8226
10.65/10.87	o 8222
10.65/10.88	o 8218
10.65/10.89	o 8214
10.75/10.90	o 8210
10.75/10.92	o 8206
10.75/10.92	o 8202
10.75/10.93	o 8198
10.75/10.94	o 8194
10.75/10.95	o 8190
10.75/10.96	o 8186
10.75/10.97	o 8182
10.75/10.98	o 8178
10.75/10.99	o 8174
10.75/11.00	o 8170
10.85/11.01	o 8166
10.85/11.02	o 8162
10.85/11.03	o 8158
10.85/11.04	o 8154
10.85/11.05	o 8150
10.85/11.06	o 8146
10.85/11.07	o 8142
10.85/11.08	o 8138
10.85/11.09	o 8134
10.95/11.10	o 8130
10.95/11.11	o 8126
10.95/11.12	o 8122
10.95/11.13	o 8118
10.95/11.14	o 8114
10.95/11.15	o 8110
10.95/11.16	o 8106
10.95/11.17	o 8102
10.95/11.18	o 8098
10.95/11.19	o 8094
11.05/11.20	o 8090
11.05/11.21	o 8086
11.05/11.22	o 8082
11.05/11.23	o 8078
11.05/11.24	o 8074
11.05/11.25	o 8070
11.05/11.26	o 8066
11.05/11.28	o 8062
11.05/11.29	o 8058
11.15/11.30	o 8054
11.15/11.31	o 8050
11.15/11.32	o 8046
11.15/11.33	o 8042
11.15/11.34	o 8038
11.15/11.35	o 8034
11.15/11.36	o 8030
11.15/11.37	o 8026
11.15/11.38	o 8022
11.15/11.39	o 8018
11.24/11.40	o 8014
11.24/11.42	o 8010
11.24/11.43	o 8006
11.24/11.44	o 8002
11.24/11.45	o 7998
11.24/11.46	o 7994
11.24/11.47	o 7990
11.24/11.48	o 7986
11.24/11.49	o 7982
11.33/11.50	o 7978
11.33/11.51	o 7974
11.33/11.53	o 7970
11.33/11.54	o 7966
11.33/11.55	o 7962
11.33/11.56	o 7958
11.33/11.57	o 7954
11.33/11.58	o 7950
11.33/11.59	o 7946
11.33/11.60	o 7942
11.43/11.61	o 7938
11.43/11.62	o 7934
11.43/11.63	o 7930
11.43/11.64	o 7926
11.43/11.65	o 7922
11.43/11.66	o 7918
11.43/11.67	o 7914
11.43/11.68	o 7910
11.43/11.69	o 7906
11.53/11.70	o 7902
11.53/11.71	o 7898
11.53/11.72	o 7894
11.53/11.73	o 7890
11.53/11.74	o 7886
11.53/11.75	o 7882
11.53/11.76	o 7878
11.53/11.77	o 7874
11.53/11.78	o 7870
11.53/11.79	o 7866
11.63/11.80	o 7862
11.63/11.81	o 7858
11.63/11.82	o 7854
11.63/11.83	o 7850
11.63/11.84	o 7846
11.63/11.85	o 7842
11.63/11.86	o 7838
11.63/11.87	o 7834
11.63/11.88	o 7830
11.63/11.89	o 7826
11.73/11.90	o 7822
11.73/11.91	o 7818
11.73/11.92	o 7814
11.73/11.93	o 7810
11.73/11.94	o 7806
11.73/11.95	o 7802
11.73/11.96	o 7798
11.73/11.97	o 7794
11.73/11.98	o 7790
11.73/11.99	o 7786
11.83/12.00	o 7782
11.83/12.02	o 7778
11.83/12.02	o 7774
11.83/12.03	o 7770
11.83/12.04	o 7766
11.83/12.05	o 7762
11.83/12.06	o 7758
11.83/12.07	o 7754
11.83/12.08	o 7750
11.83/12.09	o 7746
11.83/12.10	o 7742
11.93/12.11	o 7738
11.93/12.12	o 7734
11.93/12.13	o 7730
11.93/12.14	o 7726
11.93/12.15	o 7722
11.93/12.16	o 7718
11.93/12.17	o 7714
11.93/12.18	o 7710
11.93/12.19	o 7706
12.02/12.20	o 7702
12.02/12.21	o 7698
12.02/12.22	o 7694
12.02/12.23	o 7690
12.02/12.24	o 7686
12.02/12.25	o 7682
12.02/12.26	o 7678
12.02/12.27	o 7674
12.02/12.28	o 7670
12.02/12.29	o 7666
12.02/12.29	o 7662
12.11/12.30	o 7658
12.11/12.31	o 7654
12.11/12.32	o 7650
12.11/12.33	o 7646
12.11/12.34	o 7642
12.11/12.35	o 7638
12.11/12.36	o 7634
12.11/12.37	o 7630
12.11/12.38	o 7626
12.11/12.39	o 7622
12.22/12.40	o 7618
12.22/12.41	o 7614
12.22/12.42	o 7610
12.22/12.43	o 7606
12.22/12.44	o 7602
12.22/12.45	o 7599
12.22/12.46	o 7596
12.22/12.47	o 7593
12.22/12.48	o 7590
12.22/12.49	o 7587
12.32/12.50	o 7584
12.32/12.52	o 7581
12.32/12.53	o 7578
12.32/12.54	o 7575
12.32/12.55	o 7572
12.32/12.56	o 7569
12.32/12.57	o 7566
12.32/12.58	o 7563
12.32/12.59	o 7560
12.41/12.60	o 7557
12.41/12.61	o 7554
12.41/12.62	o 7551
12.41/12.63	o 7548
12.41/12.64	o 7545
12.41/12.65	o 7542
12.41/12.66	o 7539
12.41/12.67	o 7536
12.41/12.68	o 7533
12.41/12.69	o 7530
12.51/12.70	o 7527
12.51/12.71	o 7524
12.51/12.72	o 7521
12.51/12.73	o 7518
12.51/12.74	o 7515
12.51/12.75	o 7512
12.51/12.76	o 7509
12.51/12.77	o 7506
12.51/12.78	o 7503
12.51/12.79	o 7500
12.61/12.80	o 7497
12.61/12.81	o 7494
12.61/12.82	o 7491
12.61/12.83	o 7488
12.61/12.84	o 7485
12.61/12.85	o 7482
12.61/12.86	o 7479
12.61/12.87	o 7476
12.61/12.88	o 7473
12.61/12.89	o 7470
12.71/12.90	o 7467
12.71/12.91	o 7464
12.71/12.92	o 7461
12.71/12.93	o 7458
12.71/12.94	o 7455
12.71/12.95	o 7452
12.71/12.96	o 7449
12.71/12.97	o 7446
12.71/12.98	o 7443
12.71/12.99	o 7440
12.71/13.00	o 7437
12.80/13.01	o 7434
12.80/13.02	o 7431
12.80/13.03	o 7428
12.80/13.03	o 7425
12.80/13.04	o 7422
12.80/13.05	o 7419
12.80/13.06	o 7416
12.80/13.07	o 7413
12.80/13.08	o 7410
12.80/13.09	o 7407
12.90/13.11	o 7404
12.90/13.12	o 7401
12.90/13.13	o 7398
12.90/13.14	o 7395
12.90/13.15	o 7392
12.90/13.16	o 7389
12.90/13.17	o 7386
12.90/13.18	o 7383
12.90/13.19	o 7380
12.90/13.20	o 7377
13.01/13.21	o 7374
13.01/13.22	o 7371
13.01/13.22	o 7368
13.01/13.23	o 7365
13.01/13.24	o 7362
13.01/13.25	o 7359
13.01/13.26	o 7356
13.01/13.27	o 7353
13.01/13.28	o 7350
13.01/13.29	o 7347
13.10/13.30	o 7344
13.10/13.31	o 7341
13.10/13.32	o 7338
13.10/13.33	o 7335
13.10/13.34	o 7332
13.10/13.35	o 7329
13.10/13.36	o 7326
13.10/13.37	o 7323
13.10/13.38	o 7320
13.10/13.38	o 7317
13.10/13.39	o 7314
13.20/13.40	o 7311
13.20/13.41	o 7308
13.20/13.42	o 7305
13.20/13.43	o 7302
13.20/13.44	o 7299
13.20/13.45	o 7296
13.20/13.46	o 7293
13.20/13.47	o 7290
13.20/13.48	o 7287
13.20/13.49	o 7284
13.20/13.50	o 7281
13.29/13.50	o 7278
13.29/13.52	o 7275
13.29/13.52	o 7272
13.29/13.53	o 7269
13.29/13.54	o 7266
13.29/13.55	o 7263
13.29/13.56	o 7260
13.29/13.57	o 7257
13.29/13.58	o 7254
13.29/13.59	o 7251
13.40/13.60	o 7248
13.40/13.61	o 7245
13.40/13.62	o 7242
13.40/13.63	o 7239
13.40/13.64	o 7236
13.40/13.65	o 7233
13.40/13.66	o 7230
13.40/13.67	o 7227
13.40/13.68	o 7224
13.40/13.69	o 7221
13.40/13.69	o 7218
13.49/13.70	o 7215
13.49/13.71	o 7212
13.49/13.72	o 7209
13.49/13.73	o 7206
13.49/13.74	o 7203
13.49/13.75	o 7200
13.49/13.76	o 7197
13.49/13.77	o 7194
13.49/13.78	o 7191
13.49/13.79	o 7188
13.49/13.79	o 7185
13.59/13.80	o 7182
13.59/13.81	o 7179
13.59/13.82	o 7176
13.59/13.83	o 7173
13.59/13.84	o 7170
13.59/13.86	o 7167
13.59/13.87	o 7164
13.59/13.88	o 7161
13.59/13.89	o 7158
13.69/13.90	o 7155
13.69/13.92	o 7152
13.69/13.93	o 7149
13.69/13.94	o 7146
13.69/13.95	o 7143
13.69/13.96	o 7140
13.69/13.98	o 7137
13.69/13.99	o 7134
13.79/14.00	o 7131
13.79/14.01	o 7128
13.79/14.02	o 7125
13.79/14.04	o 7122
13.79/14.05	o 7119
13.79/14.06	o 7116
13.79/14.07	o 7113
13.79/14.08	o 7110
13.79/14.09	o 7107
13.89/14.11	o 7104
13.89/14.12	o 7101
13.89/14.13	o 7098
13.89/14.14	o 7095
13.89/14.15	o 7092
13.89/14.17	o 7089
13.89/14.18	o 7086
13.89/14.19	o 7083
13.99/14.21	o 7080
13.99/14.22	o 7077
13.99/14.23	o 7074
13.99/14.24	o 7071
13.99/14.25	o 7068
13.99/14.27	o 7065
13.99/14.28	o 7062
13.99/14.29	o 7059
13.99/14.30	o 7056
14.08/14.31	o 7053
14.08/14.32	o 7050
14.08/14.34	o 7047
14.08/14.35	o 7044
14.08/14.36	o 7041
14.08/14.37	o 7038
14.08/14.38	o 7035
14.08/14.39	o 7032
14.18/14.41	o 7029
14.18/14.42	o 7026
14.18/14.43	o 7023
14.18/14.44	o 7020
14.18/14.45	o 7017
14.18/14.46	o 7014
14.18/14.47	o 7011
14.18/14.49	o 7008
14.18/14.50	o 7005
14.28/14.51	o 7002
14.28/14.52	o 6999
14.28/14.53	o 6996
14.28/14.54	o 6993
14.28/14.55	o 6990
14.28/14.57	o 6987
14.28/14.58	o 6984
14.28/14.59	o 6981
14.38/14.60	o 6978
14.38/14.61	o 6975
14.38/14.62	o 6972
14.38/14.63	o 6969
14.38/14.65	o 6966
14.38/14.66	o 6963
14.38/14.67	o 6960
14.38/14.68	o 6957
14.38/14.69	o 6954
14.48/14.70	o 6951
14.48/14.72	o 6948
14.48/14.73	o 6945
14.48/14.74	o 6942
14.48/14.75	o 6939
14.48/14.76	o 6936
14.48/14.78	o 6933
14.48/14.79	o 6930
14.48/14.80	o 6927
14.58/14.81	o 6924
14.58/14.82	o 6921
14.58/14.83	o 6918
14.58/14.84	o 6915
14.58/14.85	o 6912
14.58/14.87	o 6909
14.58/14.88	o 6906
14.58/14.89	o 6903
14.68/14.90	o 6900
14.68/14.91	o 6897
14.68/14.92	o 6894
14.68/14.93	o 6891
14.68/14.94	o 6888
14.68/14.95	o 6885
14.68/14.97	o 6882
14.68/14.98	o 6879
14.68/14.99	o 6876
14.78/15.00	o 6873
14.78/15.01	o 6870
14.78/15.02	o 6867
14.78/15.03	o 6864
14.78/15.04	o 6861
14.78/15.05	o 6858
14.78/15.06	o 6855
14.78/15.08	o 6852
14.78/15.09	o 6849
14.78/15.10	o 6846
14.87/15.11	o 6843
14.87/15.12	o 6840
14.87/15.13	o 6837
14.87/15.14	o 6834
14.87/15.15	o 6831
14.87/15.16	o 6828
14.87/15.17	o 6825
14.87/15.18	o 6822
14.87/15.20	o 6819
14.97/15.21	o 6816
14.97/15.22	o 6813
14.97/15.23	o 6810
14.97/15.24	o 6807
14.97/15.25	o 6804
14.97/15.26	o 6801
14.97/15.27	o 6798
14.97/15.28	o 6795
14.97/15.29	o 6792
15.07/15.31	o 6789
15.07/15.32	o 6786
15.07/15.33	o 6783
15.07/15.34	o 6780
15.07/15.35	o 6777
15.07/15.36	o 6774
15.07/15.37	o 6771
15.07/15.38	o 6768
15.07/15.40	o 6765
15.17/15.41	o 6762
15.17/15.42	o 6759
15.17/15.43	o 6756
15.17/15.44	o 6753
15.17/15.45	o 6750
15.17/15.46	o 6747
15.17/15.47	o 6744
15.17/15.48	o 6741
15.17/15.49	o 6738
15.26/15.50	o 6735
15.26/15.51	o 6732
15.26/15.52	o 6729
15.26/15.54	o 6726
15.26/15.55	o 6723
15.26/15.56	o 6720
15.26/15.57	o 6717
15.26/15.58	o 6714
15.26/15.59	o 6711
15.36/15.60	o 6708
15.36/15.61	o 6705
15.36/15.62	o 6702
15.36/15.63	o 6699
15.36/15.64	o 6696
15.36/15.65	o 6693
15.36/15.66	o 6690
15.36/15.67	o 6687
15.36/15.68	o 6684
15.36/15.69	o 6681
15.47/15.70	o 6678
15.47/15.71	o 6675
15.47/15.73	o 6672
15.47/15.74	o 6669
15.47/15.75	o 6666
15.47/15.76	o 6663
15.47/15.77	o 6660
15.47/15.78	o 6657
15.47/15.79	o 6654
15.57/15.80	o 6651
15.57/15.81	o 6648
15.57/15.83	o 6645
15.57/15.84	o 6642
15.57/15.85	o 6639
15.57/15.86	o 6636
15.57/15.87	o 6633
15.57/15.88	o 6630
15.57/15.89	o 6627
15.57/15.90	o 6624
15.66/15.91	o 6621
15.66/15.92	o 6618
15.66/15.93	o 6615
15.66/15.94	o 6612
15.66/15.95	o 6609
15.66/15.96	o 6606
15.66/15.97	o 6603
15.66/15.98	o 6600
15.66/15.99	o 6597
15.76/16.00	o 6594
15.76/16.01	o 6591
15.76/16.02	o 6588
15.76/16.03	o 6585
15.76/16.04	o 6582
15.76/16.05	o 6579
15.76/16.06	o 6576
15.76/16.07	o 6573
15.76/16.08	o 6570
15.76/16.09	o 6567
15.85/16.10	o 6564
15.85/16.11	o 6561
15.85/16.12	o 6558
15.85/16.13	o 6555
15.85/16.14	o 6552
15.85/16.15	o 6549
15.85/16.16	o 6546
15.85/16.17	o 6543
15.85/16.18	o 6540
15.85/16.19	o 6537
15.95/16.20	o 6534
15.95/16.22	o 6531
15.95/16.23	o 6528
15.95/16.24	o 6525
15.95/16.24	o 6522
15.95/16.25	o 6519
15.95/16.26	o 6516
15.95/16.27	o 6513
15.95/16.28	o 6510
15.95/16.29	o 6507
16.05/16.30	o 6504
16.05/16.31	o 6501
16.05/16.32	o 6498
16.05/16.33	o 6495
16.05/16.35	o 6492
16.05/16.36	o 6489
16.05/16.37	o 6486
16.05/16.38	o 6483
16.05/16.39	o 6480
16.05/16.40	o 6477
16.15/16.41	o 6474
16.15/16.42	o 6471
16.15/16.43	o 6468
16.15/16.44	o 6465
16.15/16.45	o 6462
16.15/16.46	o 6459
16.15/16.47	o 6456
16.15/16.48	o 6453
16.15/16.49	o 6450
16.15/16.50	o 6447
16.24/16.51	o 6444
16.24/16.52	o 6441
16.24/16.53	o 6438
16.24/16.54	o 6435
16.24/16.55	o 6432
16.24/16.56	o 6429
16.24/16.57	o 6426
16.24/16.58	o 6423
16.24/16.59	o 6420
16.34/16.60	o 6417
16.34/16.61	o 6414
16.34/16.62	o 6411
16.34/16.63	o 6408
16.34/16.64	o 6405
16.34/16.65	o 6402
16.34/16.66	o 6399
16.34/16.67	o 6396
16.34/16.68	o 6393
16.34/16.69	o 6390
16.34/16.69	o 6387
16.44/16.71	o 6384
16.44/16.72	o 6381
16.44/16.73	o 6378
16.44/16.74	o 6375
16.44/16.75	o 6372
16.44/16.75	o 6369
16.44/16.77	o 6366
16.44/16.77	o 6363
16.44/16.78	o 6360
16.44/16.79	o 6357
16.53/16.80	o 6354
16.53/16.81	o 6351
16.53/16.82	o 6348
16.53/16.83	o 6345
16.53/16.84	o 6342
16.53/16.85	o 6339
16.53/16.86	o 6336
16.53/16.87	o 6333
16.53/16.88	o 6331
16.53/16.90	o 6329
16.64/16.91	o 6327
16.64/16.92	o 6325
16.64/16.93	o 6323
16.64/16.94	o 6321
16.64/16.96	o 6319
16.64/16.97	o 6317
16.64/16.98	o 6315
16.64/16.99	o 6313
16.73/17.00	o 6311
16.73/17.01	o 6309
16.73/17.02	o 6307
16.73/17.04	o 6305
16.73/17.05	o 6303
16.73/17.06	o 6301
16.73/17.07	o 6299
16.73/17.08	o 6297
16.73/17.09	o 6295
16.83/17.10	o 6293
16.83/17.11	o 6291
16.83/17.12	o 6289
16.83/17.14	o 6287
16.83/17.15	o 6285
16.83/17.16	o 6283
16.83/17.17	o 6281
16.83/17.18	o 6279
16.83/17.19	o 6277
16.92/17.20	o 6275
16.92/17.21	o 6273
16.92/17.22	o 6271
16.92/17.23	o 6269
16.92/17.24	o 6267
16.92/17.25	o 6265
16.92/17.26	o 6263
16.92/17.27	o 6261
16.92/17.28	o 6259
16.92/17.29	o 6257
17.03/17.31	o 6255
17.03/17.32	o 6253
17.03/17.33	o 6251
17.03/17.34	o 6249
17.03/17.35	o 6247
17.03/17.36	o 6245
17.03/17.37	o 6243
17.03/17.38	o 6241
17.03/17.39	o 6239
17.12/17.40	o 6237
17.12/17.41	o 6235
17.12/17.42	o 6233
17.12/17.43	o 6231
17.12/17.44	o 6229
17.12/17.45	o 6227
17.12/17.46	o 6225
17.12/17.47	o 6223
17.12/17.48	o 6221
17.12/17.49	o 6219
17.22/17.51	o 6217
17.22/17.52	o 6215
17.22/17.53	o 6213
17.22/17.54	o 6211
17.22/17.55	o 6209
17.22/17.56	o 6207
17.22/17.57	o 6205
17.22/17.58	o 6203
17.22/17.59	o 6201
17.22/17.60	o 6199
17.32/17.61	o 6197
17.32/17.62	o 6195
17.32/17.63	o 6193
17.32/17.64	o 6191
17.32/17.65	o 6189
17.32/17.66	o 6187
17.32/17.67	o 6185
17.32/17.68	o 6183
17.32/17.69	o 6181
17.41/17.70	o 6179
17.41/17.72	o 6177
17.41/17.73	o 6175
17.41/17.74	o 6173
17.41/17.75	o 6171
17.41/17.76	o 6169
17.41/17.77	o 6167
17.41/17.78	o 6165
17.41/17.79	o 6163
17.41/17.80	o 6161
17.51/17.81	o 6159
17.51/17.82	o 6157
17.51/17.83	o 6155
17.51/17.84	o 6153
17.51/17.85	o 6151
17.51/17.86	o 6149
17.51/17.87	o 6147
17.51/17.88	o 6145
17.51/17.89	o 6143
17.51/17.90	o 6141
17.61/17.91	o 6139
17.61/17.92	o 6137
17.61/17.93	o 6135
17.61/17.94	o 6133
17.61/17.95	o 6131
17.61/17.96	o 6129
17.61/17.97	o 6127
17.61/17.98	o 6125
17.61/17.99	o 6123
17.61/18.00	o 6121
17.71/18.01	o 6119
17.71/18.02	o 6117
17.71/18.03	o 6115
17.71/18.04	o 6113
17.71/18.05	o 6111
17.71/18.06	o 6109
17.71/18.07	o 6107
17.71/18.08	o 6105
17.71/18.09	o 6103
17.81/18.10	o 6101
17.81/18.11	o 6099
17.81/18.12	o 6097
17.81/18.13	o 6095
17.81/18.14	o 6093
17.81/18.15	o 6091
17.81/18.16	o 6089
17.81/18.17	o 6087
17.81/18.18	o 6085
17.81/18.19	o 6083
17.90/18.20	o 6081
17.90/18.21	o 6079
17.90/18.22	o 6077
17.90/18.23	o 6075
17.90/18.24	o 6073
17.90/18.25	o 6071
17.90/18.26	o 6069
17.90/18.27	o 6067
17.90/18.27	o 6065
17.90/18.28	o 6063
17.90/18.29	o 6061
18.00/18.30	o 6059
18.00/18.31	o 6057
18.00/18.32	o 6055
18.00/18.33	o 6053
18.00/18.34	o 6051
18.00/18.35	o 6049
18.00/18.36	o 6047
18.00/18.37	o 6045
18.00/18.38	o 6043
18.00/18.39	o 6041
18.10/18.40	o 6039
18.10/18.41	o 6037
18.10/18.42	o 6035
18.10/18.43	o 6033
18.10/18.44	o 6031
18.10/18.45	o 6029
18.10/18.46	o 6027
18.10/18.47	o 6025
18.10/18.47	o 6023
18.10/18.48	o 6021
18.10/18.49	o 6019
18.20/18.50	o 6017
18.20/18.51	o 6015
18.20/18.52	o 6013
18.20/18.53	o 6011
18.20/18.54	o 6009
18.20/18.55	o 6007
18.20/18.56	o 6005
18.20/18.57	o 6003
18.20/18.58	o 6001
18.20/18.59	o 5999
18.20/18.60	o 5997
18.30/18.61	o 5995
18.30/18.62	o 5993
18.30/18.63	o 5991
18.30/18.64	o 5989
18.30/18.65	o 5987
18.30/18.66	o 5985
18.30/18.67	o 5983
18.30/18.68	o 5981
18.30/18.69	o 5979
18.30/18.69	o 5977
18.39/18.70	o 5975
18.39/18.71	o 5973
18.39/18.72	o 5971
18.39/18.73	o 5969
18.39/18.74	o 5967
18.39/18.75	o 5965
18.39/18.76	o 5963
18.39/18.77	o 5961
18.39/18.78	o 5959
18.39/18.79	o 5957
18.39/18.80	o 5955
18.48/18.81	o 5953
18.48/18.81	o 5951
18.48/18.82	o 5949
18.48/18.83	o 5947
18.48/18.84	o 5945
18.48/18.85	o 5943
18.48/18.86	o 5941
18.48/18.87	o 5939
18.48/18.88	o 5937
18.48/18.89	o 5935
18.48/18.90	o 5933
18.59/18.91	o 5931
18.59/18.92	o 5929
18.59/18.92	o 5927
18.59/18.93	o 5925
18.59/18.94	o 5923
18.59/18.95	o 5921
18.59/18.96	o 5919
18.59/18.97	o 5917
18.59/18.98	o 5915
18.59/18.99	o 5913
18.59/19.00	o 5911
18.69/19.01	o 5909
18.69/19.02	o 5907
18.69/19.02	o 5905
18.69/19.03	o 5903
18.69/19.04	o 5901
18.69/19.05	o 5899
18.69/19.06	o 5897
18.69/19.07	o 5895
18.69/19.08	o 5893
18.69/19.09	o 5891
18.69/19.10	o 5889
18.78/19.11	o 5887
18.78/19.12	o 5885
18.78/19.13	o 5883
18.78/19.14	o 5881
18.78/19.15	o 5879
18.78/19.16	o 5877
18.78/19.17	o 5875
18.78/19.18	o 5873
18.78/19.19	o 5871
18.78/19.19	o 5869
18.88/19.20	o 5867
18.88/19.21	o 5865
18.88/19.22	o 5863
18.88/19.23	o 5861
18.88/19.24	o 5859
18.88/19.25	o 5857
18.88/19.26	o 5855
18.88/19.27	o 5853
18.88/19.28	o 5851
18.88/19.29	o 5849
18.98/19.30	o 5847
18.98/19.31	o 5845
18.98/19.32	o 5843
18.98/19.33	o 5841
18.98/19.34	o 5839
18.98/19.35	o 5837
18.98/19.36	o 5835
18.98/19.37	o 5833
18.98/19.38	o 5831
18.98/19.39	o 5829
18.98/19.40	o 5827
19.08/19.41	o 5825
19.08/19.42	o 5823
19.08/19.43	o 5821
19.08/19.44	o 5819
19.08/19.45	o 5817
19.08/19.46	o 5815
19.08/19.48	o 5813
19.08/19.49	o 5811
19.17/19.50	o 5809
19.17/19.52	o 5807
19.17/19.53	o 5805
19.17/19.55	o 5803
19.17/19.56	o 5801
19.17/19.57	o 5799
19.17/19.59	o 5797
19.27/19.60	o 5795
19.27/19.61	o 5793
19.27/19.63	o 5791
19.27/19.64	o 5789
19.27/19.65	o 5787
19.27/19.67	o 5785
19.27/19.68	o 5783
19.27/19.69	o 5781
19.37/19.71	o 5779
19.37/19.73	o 5777
19.37/19.74	o 5775
19.37/19.75	o 5773
19.37/19.77	o 5771
19.37/19.78	o 5769
19.37/19.79	o 5767
19.48/19.81	o 5765
19.48/19.82	o 5763
19.48/19.83	o 5761
19.48/19.85	o 5759
19.48/19.86	o 5757
19.48/19.87	o 5755
19.48/19.89	o 5753
19.57/19.90	o 5751
19.57/19.91	o 5749
19.57/19.93	o 5747
19.57/19.94	o 5745
19.57/19.95	o 5743
19.57/19.97	o 5741
19.57/19.98	o 5739
19.57/19.99	o 5737
19.67/20.01	o 5735
19.67/20.02	o 5733
19.67/20.03	o 5731
19.67/20.05	o 5729
19.67/20.06	o 5727
19.67/20.07	o 5725
19.67/20.09	o 5723
19.77/20.10	o 5721
19.77/20.11	o 5719
19.77/20.13	o 5717
19.77/20.14	o 5715
19.77/20.15	o 5713
19.77/20.16	o 5711
19.77/20.18	o 5709
19.77/20.19	o 5707
19.86/20.20	o 5705
19.86/20.22	o 5703
19.86/20.24	o 5701
19.86/20.25	o 5699
19.86/20.26	o 5697
19.86/20.27	o 5695
19.86/20.29	o 5693
19.96/20.30	o 5691
19.96/20.31	o 5689
19.96/20.33	o 5687
19.96/20.34	o 5685
19.96/20.35	o 5683
19.96/20.36	o 5681
19.96/20.38	o 5679
19.96/20.39	o 5677
20.05/20.40	o 5675
20.05/20.42	o 5673
20.05/20.43	o 5671
20.05/20.44	o 5669
20.05/20.45	o 5667
20.05/20.47	o 5665
20.05/20.48	o 5663
20.05/20.49	o 5661
20.15/20.51	o 5659
20.15/20.52	o 5657
20.15/20.53	o 5655
20.15/20.54	o 5653
20.15/20.56	o 5651
20.15/20.57	o 5649
20.15/20.58	o 5647
20.15/20.60	o 5645
20.25/20.61	o 5643
20.25/20.62	o 5641
20.25/20.63	o 5639
20.25/20.65	o 5637
20.25/20.66	o 5635
20.25/20.67	o 5633
20.25/20.68	o 5631
20.25/20.70	o 5629
20.35/20.71	o 5627
20.35/20.72	o 5625
20.35/20.74	o 5623
20.35/20.75	o 5621
20.35/20.76	o 5619
20.35/20.77	o 5617
20.35/20.79	o 5615
20.45/20.81	o 5613
20.45/20.82	o 5611
20.45/20.83	o 5609
20.45/20.84	o 5607
20.45/20.86	o 5605
20.45/20.87	o 5603
20.45/20.88	o 5601
20.45/20.89	o 5599
20.55/20.91	o 5597
20.55/20.92	o 5595
20.55/20.93	o 5593
20.55/20.94	o 5591
20.55/20.96	o 5589
20.55/20.97	o 5587
20.55/20.98	o 5585
20.55/20.99	o 5583
20.65/21.01	o 5581
20.65/21.02	o 5579
20.65/21.03	o 5577
20.65/21.05	o 5575
20.65/21.06	o 5573
20.65/21.07	o 5571
20.65/21.08	o 5569
20.65/21.10	o 5567
20.74/21.11	o 5565
20.74/21.12	o 5563
20.74/21.13	o 5561
20.74/21.15	o 5559
20.74/21.16	o 5557
20.74/21.17	o 5555
20.74/21.18	o 5553
20.74/21.19	o 5551
20.84/21.21	o 5549
20.84/21.22	o 5547
20.84/21.23	o 5545
20.84/21.24	o 5543
20.84/21.26	o 5541
20.84/21.27	o 5539
20.84/21.28	o 5537
20.84/21.29	o 5535
20.94/21.31	o 5533
20.94/21.32	o 5531
20.94/21.34	o 5529
20.94/21.35	o 5527
20.94/21.36	o 5525
20.94/21.37	o 5523
20.94/21.38	o 5521
21.04/21.40	o 5519
21.04/21.41	o 5517
21.04/21.42	o 5515
21.04/21.43	o 5513
21.04/21.45	o 5511
21.04/21.46	o 5509
21.04/21.47	o 5507
21.04/21.48	o 5505
21.04/21.49	o 5503
21.13/21.51	o 5501
21.13/21.52	o 5499
21.13/21.53	o 5497
21.13/21.54	o 5495
21.13/21.55	o 5493
21.13/21.57	o 5491
21.13/21.58	o 5489
21.13/21.59	o 5487
21.23/21.60	o 5485
21.23/21.61	o 5483
21.23/21.63	o 5481
21.23/21.64	o 5479
21.23/21.65	o 5477
21.23/21.66	o 5475
21.23/21.67	o 5473
21.23/21.68	o 5471
21.33/21.70	o 5469
21.33/21.71	o 5467
21.33/21.72	o 5465
21.33/21.73	o 5463
21.33/21.74	o 5461
21.33/21.76	o 5459
21.33/21.77	o 5457
21.33/21.78	o 5455
21.33/21.79	o 5453
21.43/21.80	o 5451
21.43/21.82	o 5449
21.43/21.83	o 5447
21.43/21.84	o 5445
21.43/21.85	o 5443
21.43/21.86	o 5441
21.43/21.87	o 5439
21.43/21.89	o 5437
21.53/21.90	o 5435
21.53/21.92	o 5433
21.53/21.93	o 5431
21.53/21.94	o 5429
21.53/21.95	o 5427
21.53/21.96	o 5425
21.53/21.97	o 5423
21.53/21.98	o 5421
21.53/22.00	o 5419
21.63/22.01	o 5417
21.63/22.02	o 5415
21.63/22.03	o 5413
21.63/22.04	o 5411
21.63/22.05	o 5409
21.63/22.07	o 5407
21.63/22.08	o 5405
21.63/22.09	o 5403
21.73/22.10	o 5401
21.73/22.11	o 5399
21.73/22.12	o 5397
21.73/22.14	o 5395
21.73/22.15	o 5393
21.73/22.16	o 5391
21.73/22.17	o 5389
21.73/22.18	o 5387
21.73/22.19	o 5385
21.83/22.20	o 5383
21.83/22.22	o 5381
21.83/22.23	o 5379
21.83/22.24	o 5377
21.83/22.25	o 5375
21.83/22.26	o 5373
21.83/22.27	o 5371
21.83/22.28	o 5369
21.83/22.29	o 5367
21.93/22.31	o 5365
21.93/22.32	o 5363
21.93/22.33	o 5361
21.93/22.34	o 5359
21.93/22.35	o 5357
21.93/22.36	o 5355
21.93/22.37	o 5353
21.93/22.38	o 5351
21.93/22.39	o 5349
22.03/22.41	o 5347
22.03/22.42	o 5345
22.03/22.43	o 5343
22.03/22.45	o 5341
22.03/22.46	o 5339
22.03/22.47	o 5337
22.03/22.48	o 5335
22.03/22.49	o 5333
22.12/22.50	o 5331
22.12/22.51	o 5329
22.12/22.52	o 5327
22.12/22.53	o 5325
22.12/22.55	o 5323
22.12/22.56	o 5321
22.12/22.57	o 5319
22.12/22.58	o 5317
22.12/22.59	o 5315
22.22/22.60	o 5313
22.22/22.61	o 5311
22.22/22.62	o 5309
22.22/22.63	o 5307
22.22/22.64	o 5305
22.22/22.65	o 5303
22.22/22.67	o 5301
22.22/22.68	o 5299
22.22/22.69	o 5297
22.31/22.70	o 5295
22.31/22.71	o 5293
22.31/22.72	o 5291
22.31/22.73	o 5289
22.31/22.74	o 5287
22.31/22.75	o 5285
22.31/22.76	o 5283
22.31/22.77	o 5281
22.31/22.78	o 5279
22.31/22.80	o 5277
22.41/22.81	o 5275
22.41/22.82	o 5273
22.41/22.83	o 5271
22.41/22.84	o 5269
22.41/22.85	o 5267
22.41/22.86	o 5265
22.41/22.87	o 5263
22.41/22.88	o 5261
22.41/22.89	o 5259
22.51/22.90	o 5257
22.51/22.91	o 5255
22.51/22.93	o 5253
22.51/22.94	o 5251
22.51/22.95	o 5249
22.51/22.96	o 5247
22.51/22.97	o 5245
22.51/22.98	o 5243
22.51/22.99	o 5241
22.61/23.01	o 5239
22.61/23.02	o 5237
22.61/23.03	o 5235
22.61/23.04	o 5233
22.61/23.05	o 5231
22.61/23.06	o 5229
22.61/23.07	o 5227
22.61/23.08	o 5225
22.61/23.09	o 5223
22.61/23.10	o 5221
22.70/23.11	o 5219
22.70/23.12	o 5217
22.70/23.13	o 5215
22.70/23.14	o 5213
22.70/23.15	o 5211
22.70/23.16	o 5209
22.70/23.17	o 5207
22.70/23.18	o 5205
22.70/23.19	o 5203
22.81/23.21	o 5201
22.81/23.22	o 5199
22.81/23.23	o 5197
22.81/23.24	o 5195
22.81/23.25	o 5193
22.81/23.26	o 5191
22.81/23.27	o 5189
22.81/23.28	o 5187
22.81/23.29	o 5185
22.90/23.30	o 5183
22.90/23.31	o 5181
22.90/23.32	o 5179
22.90/23.33	o 5177
22.90/23.34	o 5175
22.90/23.35	o 5173
22.90/23.36	o 5171
22.90/23.37	o 5169
22.90/23.38	o 5167
22.90/23.39	o 5165
23.00/23.40	o 5163
23.00/23.41	o 5161
23.00/23.42	o 5159
23.00/23.43	o 5157
23.00/23.44	o 5155
23.00/23.45	o 5153
23.00/23.46	o 5151
23.00/23.47	o 5149
23.00/23.48	o 5147
23.00/23.49	o 5145
23.10/23.50	o 5143
23.10/23.52	o 5141
23.10/23.53	o 5139
23.10/23.54	o 5137
23.10/23.55	o 5135
23.10/23.56	o 5133
23.10/23.57	o 5131
23.10/23.58	o 5129
23.10/23.59	o 5127
23.19/23.60	o 5125
23.19/23.61	o 5123
23.19/23.62	o 5121
23.19/23.63	o 5119
23.19/23.64	o 5117
23.19/23.65	o 5115
23.19/23.66	o 5113
23.19/23.67	o 5111
23.19/23.68	o 5109
23.19/23.69	o 5107
23.29/23.70	o 5105
23.29/23.71	o 5103
23.29/23.72	o 5101
23.29/23.73	o 5099
23.29/23.74	o 5097
23.29/23.75	o 5095
23.29/23.76	o 5093
23.29/23.77	o 5091
23.29/23.78	o 5089
23.29/23.79	o 5087
23.39/23.80	o 5085
23.39/23.81	o 5083
23.39/23.82	o 5081
23.39/23.83	o 5079
23.39/23.84	o 5077
23.39/23.85	o 5075
23.39/23.86	o 5073
23.39/23.87	o 5071
23.39/23.88	o 5069
23.39/23.89	o 5067
23.49/23.90	o 5065
23.49/23.91	o 5063
23.49/23.92	o 5061
23.49/23.93	o 5059
23.49/23.94	o 5057
23.49/23.95	o 5055
23.49/23.96	o 5053
23.49/23.97	o 5051
23.49/23.98	o 5049
23.49/23.99	o 5047
23.59/24.00	o 5045
23.59/24.01	o 5043
23.59/24.02	o 5041
23.59/24.03	o 5039
23.59/24.04	o 5037
23.59/24.05	o 5035
23.59/24.06	o 5033
23.59/24.07	o 5031
23.59/24.08	o 5029
23.59/24.09	o 5027
23.70/24.11	o 5025
23.70/24.12	o 5023
23.70/24.13	o 5021
23.70/24.14	o 5019
23.70/24.15	o 5017
23.70/24.16	o 5015
23.70/24.17	o 5013
23.70/24.18	o 5011
23.70/24.19	o 5009
23.70/24.20	o 5007
23.79/24.21	o 5005
23.79/24.22	o 5003
23.79/24.23	o 5001
23.79/24.24	o 4999
23.79/24.25	o 4997
23.79/24.26	o 4995
23.79/24.27	o 4993
23.79/24.28	o 4991
23.79/24.29	o 4989
23.88/24.30	o 4987
23.88/24.32	o 4985
23.88/24.32	o 4983
23.88/24.33	o 4981
23.88/24.35	o 4979
23.88/24.36	o 4977
23.88/24.37	o 4976
23.88/24.38	o 4975
23.88/24.39	o 4974
23.98/24.41	o 4973
23.98/24.42	o 4972
23.98/24.43	o 4971
23.98/24.44	o 4970
23.98/24.45	o 4969
23.98/24.47	o 4968
23.98/24.48	o 4967
23.98/24.49	o 4966
24.08/24.50	o 4965
24.08/24.51	o 4964
24.08/24.53	o 4963
24.08/24.54	o 4962
24.08/24.55	o 4961
24.08/24.56	o 4960
24.08/24.57	o 4959
24.08/24.58	o 4958
24.08/24.60	o 4957
24.19/24.61	o 4956
24.19/24.63	o 4955
24.19/24.64	o 4954
24.19/24.65	o 4953
24.19/24.66	o 4952
24.19/24.67	o 4951
24.19/24.68	o 4950
24.19/24.70	o 4949
24.28/24.71	o 4948
24.28/24.72	o 4947
24.28/24.73	o 4946
24.28/24.74	o 4945
24.28/24.76	o 4944
24.28/24.77	o 4943
24.28/24.78	o 4942
24.28/24.79	o 4941
24.38/24.80	o 4940
24.38/24.82	o 4939
24.38/24.83	o 4938
24.38/24.84	o 4937
24.38/24.85	o 4936
24.38/24.86	o 4935
24.38/24.87	o 4934
24.38/24.89	o 4933
24.38/24.90	o 4932
24.47/24.91	o 4931
24.47/24.92	o 4930
24.47/24.93	o 4929
24.47/24.94	o 4928
24.47/24.96	o 4927
24.47/24.97	o 4926
24.47/24.98	o 4925
24.47/24.99	o 4924
24.57/25.00	o 4923
24.57/25.01	o 4922
24.57/25.03	o 4921
24.57/25.04	o 4920
24.57/25.05	o 4919
24.57/25.06	o 4918
24.57/25.07	o 4917
24.57/25.08	o 4916
24.57/25.09	o 4915
24.68/25.11	o 4914
24.68/25.12	o 4913
24.68/25.13	o 4912
24.68/25.14	o 4911
24.68/25.15	o 4910
24.68/25.16	o 4909
24.68/25.18	o 4908
24.68/25.19	o 4907
24.78/25.20	o 4906
24.78/25.22	o 4905
24.78/25.23	o 4904
24.78/25.24	o 4903
24.78/25.25	o 4902
24.78/25.26	o 4901
24.78/25.27	o 4900
24.78/25.28	o 4899
24.78/25.30	o 4898
24.88/25.31	o 4897
24.88/25.32	o 4896
24.88/25.33	o 4895
24.88/25.34	o 4894
24.88/25.35	o 4893
24.88/25.36	o 4892
24.88/25.38	o 4891
24.88/25.39	o 4890
24.97/25.40	o 4889
24.97/25.41	o 4888
24.97/25.42	o 4887
24.97/25.43	o 4886
24.97/25.45	o 4885
24.97/25.46	o 4884
24.97/25.47	o 4883
24.97/25.48	o 4882
24.97/25.49	o 4881
25.06/25.51	o 4880
25.06/25.52	o 4879
25.06/25.53	o 4878
25.06/25.54	o 4877
25.06/25.55	o 4876
25.06/25.56	o 4875
25.06/25.57	o 4874
25.06/25.58	o 4873
25.06/25.60	o 4872
25.16/25.61	o 4871
25.16/25.62	o 4870
25.16/25.63	o 4869
25.16/25.64	o 4868
25.16/25.65	o 4867
25.16/25.67	o 4866
25.16/25.68	o 4865
25.16/25.69	o 4864
25.26/25.70	o 4863
25.26/25.72	o 4862
25.26/25.73	o 4861
25.26/25.74	o 4860
25.26/25.75	o 4859
25.26/25.76	o 4858
25.26/25.77	o 4857
25.26/25.78	o 4856
25.26/25.79	o 4855
25.35/25.81	o 4854
25.35/25.82	o 4853
25.35/25.83	o 4852
25.35/25.84	o 4851
25.35/25.85	o 4850
25.35/25.86	o 4849
25.35/25.87	o 4848
25.35/25.88	o 4847
25.35/25.89	o 4846
25.46/25.90	o 4845
25.46/25.92	o 4844
25.46/25.93	o 4843
25.46/25.94	o 4842
25.46/25.95	o 4841
25.46/25.96	o 4840
25.46/25.97	o 4839
25.46/25.98	o 4838
25.46/25.99	o 4837
25.55/26.00	o 4836
25.55/26.01	o 4835
25.55/26.03	o 4834
25.55/26.04	o 4833
25.55/26.05	o 4832
25.55/26.06	o 4831
25.55/26.07	o 4830
25.55/26.08	o 4829
25.55/26.09	o 4828
25.65/26.10	o 4827
25.65/26.11	o 4826
25.65/26.12	o 4825
25.65/26.14	o 4824
25.65/26.15	o 4823
25.65/26.16	o 4822
25.65/26.17	o 4821
25.65/26.18	o 4820
25.65/26.19	o 4819
25.75/26.20	o 4818
25.75/26.21	o 4817
25.75/26.22	o 4816
25.75/26.23	o 4815
25.75/26.24	o 4814
25.75/26.25	o 4813
25.75/26.26	o 4812
25.75/26.27	o 4811
25.75/26.28	o 4810
25.75/26.29	o 4809
25.85/26.31	o 4808
25.85/26.32	o 4807
25.85/26.33	o 4806
25.85/26.34	o 4805
25.85/26.35	o 4804
25.85/26.36	o 4803
25.85/26.37	o 4802
25.85/26.38	o 4801
25.85/26.39	o 4800
25.95/26.41	o 4799
25.95/26.42	o 4798
25.95/26.43	o 4797
25.95/26.44	o 4796
25.95/26.45	o 4795
25.95/26.46	o 4794
25.95/26.47	o 4793
25.95/26.48	o 4792
25.95/26.49	o 4791
26.04/26.50	o 4790
26.04/26.51	o 4789
26.04/26.52	o 4788
26.04/26.53	o 4787
26.04/26.54	o 4786
26.04/26.55	o 4785
26.04/26.56	o 4784
26.04/26.57	o 4783
26.04/26.58	o 4782
26.04/26.59	o 4781
26.13/26.61	o 4780
26.13/26.62	o 4779
26.13/26.63	o 4778
26.13/26.64	o 4777
26.13/26.65	o 4776
26.13/26.66	o 4775
26.13/26.67	o 4774
26.13/26.68	o 4773
26.13/26.69	o 4772
26.24/26.70	o 4771
26.24/26.71	o 4770
26.24/26.72	o 4769
26.24/26.73	o 4768
26.24/26.74	o 4767
26.24/26.75	o 4766
26.24/26.76	o 4765
26.24/26.77	o 4764
26.24/26.78	o 4763
26.24/26.79	o 4762
26.33/26.80	o 4761
26.33/26.82	o 4760
26.33/26.83	o 4759
26.33/26.84	o 4758
26.33/26.85	o 4757
26.33/26.86	o 4756
26.33/26.87	o 4755
26.33/26.88	o 4754
26.33/26.89	o 4753
26.43/26.90	o 4752
26.43/26.91	o 4751
26.43/26.92	o 4750
26.43/26.93	o 4749
26.43/26.94	o 4748
26.43/26.95	o 4747
26.43/26.96	o 4746
26.43/26.97	o 4745
26.43/26.98	o 4744
26.43/26.99	o 4743
26.53/27.00	o 4742
26.53/27.01	o 4741
26.53/27.02	o 4740
26.53/27.03	o 4739
26.53/27.04	o 4738
26.53/27.05	o 4737
26.53/27.06	o 4736
26.53/27.07	o 4735
26.53/27.08	o 4734
26.53/27.09	o 4733
26.63/27.10	o 4732
26.63/27.11	o 4731
26.63/27.12	o 4730
26.63/27.13	o 4729
26.63/27.14	o 4728
26.63/27.15	o 4727
26.63/27.16	o 4726
26.63/27.17	o 4725
26.63/27.18	o 4724
26.63/27.19	o 4723
26.72/27.20	o 4722
26.72/27.21	o 4721
26.72/27.22	o 4720
26.72/27.23	o 4719
26.72/27.24	o 4718
26.72/27.25	o 4717
26.72/27.26	o 4716
26.72/27.27	o 4715
26.72/27.28	o 4714
26.72/27.29	o 4713
26.72/27.30	o 4712
26.82/27.31	o 4711
26.82/27.32	o 4710
26.82/27.33	o 4709
26.82/27.34	o 4708
26.82/27.35	o 4707
26.82/27.36	o 4706
26.82/27.37	o 4705
26.82/27.38	o 4704
26.82/27.39	o 4703
26.82/27.40	o 4702
26.92/27.41	o 4701
26.92/27.42	o 4700
26.92/27.43	o 4699
26.92/27.44	o 4698
26.92/27.45	o 4697
26.92/27.46	o 4696
26.92/27.47	o 4695
26.92/27.48	o 4694
26.92/27.49	o 4693
26.92/27.50	o 4692
27.03/27.51	o 4691
27.03/27.52	o 4690
27.03/27.53	o 4689
27.03/27.54	o 4688
27.03/27.54	o 4687
27.03/27.55	o 4686
27.03/27.56	o 4685
27.03/27.57	o 4684
27.03/27.58	o 4683
27.03/27.59	o 4682
27.12/27.60	o 4681
27.12/27.61	o 4680
27.12/27.62	o 4679
27.12/27.63	o 4678
27.12/27.64	o 4677
27.12/27.65	o 4676
27.12/27.66	o 4675
27.12/27.67	o 4674
27.12/27.67	o 4673
27.12/27.68	o 4672
27.12/27.69	o 4671
27.22/27.70	o 4670
27.22/27.71	o 4669
27.22/27.72	o 4668
27.22/27.73	o 4667
27.22/27.74	o 4666
27.22/27.75	o 4665
27.22/27.76	o 4664
27.22/27.77	o 4663
27.22/27.78	o 4662
27.22/27.78	o 4661
27.22/27.79	o 4660
27.32/27.80	o 4659
27.32/27.81	o 4658
27.32/27.82	o 4657
27.32/27.83	o 4656
27.32/27.84	o 4655
27.32/27.85	o 4654
27.32/27.86	o 4653
27.32/27.87	o 4652
27.32/27.88	o 4651
27.32/27.89	o 4650
27.41/27.90	o 4649
27.41/27.91	o 4648
27.41/27.92	o 4647
27.41/27.93	o 4646
27.41/27.94	o 4645
27.41/27.95	o 4644
27.41/27.96	o 4643
27.41/27.97	o 4642
27.41/27.98	o 4641
27.41/27.99	o 4640
27.50/28.00	o 4639
27.50/28.01	o 4638
27.50/28.02	o 4637
27.50/28.03	o 4636
27.50/28.04	o 4635
27.50/28.05	o 4634
27.50/28.06	o 4633
27.50/28.07	o 4632
27.50/28.08	o 4631
27.50/28.08	o 4630
27.50/28.09	o 4629
27.61/28.11	o 4628
27.61/28.11	o 4627
27.61/28.12	o 4626
27.61/28.13	o 4625
27.61/28.14	o 4624
27.61/28.15	o 4623
27.61/28.16	o 4622
27.61/28.17	o 4621
27.61/28.18	o 4620
27.61/28.19	o 4619
27.61/28.19	o 4618
27.71/28.20	o 4617
27.71/28.21	o 4616
27.71/28.22	o 4615
27.71/28.23	o 4614
27.71/28.24	o 4613
27.71/28.25	o 4612
27.71/28.26	o 4611
27.71/28.28	o 4610
27.71/28.29	o 4609
27.71/28.29	o 4608
27.81/28.30	o 4607
27.81/28.31	o 4606
27.81/28.32	o 4605
27.81/28.33	o 4604
27.81/28.34	o 4603
27.81/28.35	o 4602
27.81/28.36	o 4601
27.81/28.37	o 4600
27.81/28.38	o 4599
27.81/28.39	o 4598
27.81/28.39	o 4597
27.90/28.40	o 4596
27.90/28.41	o 4595
27.90/28.42	o 4594
27.90/28.43	o 4593
27.90/28.44	o 4592
27.90/28.46	o 4591
27.90/28.47	o 4590
27.90/28.48	o 4589
27.90/28.49	o 4588
27.90/28.50	o 4587
28.00/28.51	o 4586
28.00/28.52	o 4585
28.00/28.53	o 4584
28.00/28.54	o 4583
28.00/28.56	o 4582
28.00/28.57	o 4581
28.00/28.59	o 4580
28.00/28.60	o 4579
28.11/28.60	o 4578
28.11/28.61	o 4577
28.11/28.62	o 4576
28.11/28.63	o 4575
28.11/28.65	o 4574
28.11/28.65	o 4573
28.11/28.66	o 4572
28.11/28.68	o 4571
28.11/28.69	o 4570
28.11/28.69	o 4569
28.20/28.70	o 4568
28.20/28.71	o 4567
28.20/28.72	o 4566
28.20/28.73	o 4565
28.20/28.74	o 4564
28.20/28.75	o 4563
28.20/28.76	o 4562
28.20/28.77	o 4561
28.20/28.78	o 4560
28.20/28.80	o 4559
28.30/28.81	o 4558
28.30/28.82	o 4557
28.30/28.83	o 4556
28.30/28.84	o 4555
28.30/28.85	o 4554
28.30/28.87	o 4553
28.30/28.88	o 4552
28.30/28.88	o 4551
28.30/28.89	o 4550
28.40/28.90	o 4549
28.40/28.91	o 4548
28.40/28.93	o 4547
28.40/28.93	o 4546
28.40/28.94	o 4545
28.40/28.96	o 4544
28.40/28.97	o 4543
28.40/28.98	o 4542
28.40/28.99	o 4541
28.50/29.01	o 4540
28.50/29.02	o 4539
28.50/29.03	o 4538
28.50/29.05	o 4537
28.50/29.07	o 4536
28.50/29.09	o 4535
28.59/29.10	o 4534
28.59/29.11	o 4533
28.59/29.12	o 4532
28.59/29.13	o 4531
28.59/29.14	o 4530
28.59/29.15	o 4529
28.59/29.16	o 4528
28.59/29.17	o 4527
28.59/29.18	o 4526
28.59/29.19	o 4525
28.69/29.21	o 4524
28.69/29.22	o 4523
28.69/29.24	o 4522
28.69/29.25	o 4521
28.69/29.26	o 4520
28.69/29.27	o 4519
28.69/29.29	o 4518
28.79/29.30	o 4517
28.79/29.32	o 4516
28.79/29.35	o 4515
28.79/29.37	o 4514
28.89/29.40	o 4513
28.89/29.43	o 4512
28.89/29.46	o 4511
28.89/29.48	o 4510
28.99/29.51	o 4509
28.99/29.54	o 4508
28.99/29.57	o 4507
28.99/29.59	o 4506
29.08/29.63	o 4505
29.08/29.65	o 4504
29.08/29.68	o 4503
29.18/29.71	o 4502
29.18/29.74	o 4501
29.18/29.76	o 4500
29.18/29.79	o 4499
29.28/29.82	o 4498
29.28/29.85	o 4497
29.28/29.87	o 4496
29.38/29.90	o 4495
29.38/29.93	o 4494
29.38/29.95	o 4493
29.38/29.98	o 4492
29.49/30.01	o 4491
29.49/30.04	o 4490
29.49/30.06	o 4489
29.49/30.09	o 4488
29.59/30.12	o 4487
29.59/30.15	o 4486
29.59/30.18	o 4485
29.68/30.20	o 4484
29.68/30.23	o 4483
29.68/30.26	o 4482
29.68/30.29	o 4481
29.78/30.31	o 4480
29.78/30.34	o 4479
29.78/30.37	o 4478
29.78/30.40	o 4477
29.88/30.42	o 4476
29.88/30.45	o 4475
29.88/30.48	o 4474
29.98/30.51	o 4473
29.98/30.53	o 4472
29.98/30.56	o 4471
29.98/30.59	o 4470
30.08/30.62	o 4469
30.08/30.64	o 4468
30.08/30.67	o 4467
30.08/30.70	o 4466
30.18/30.73	o 4465
30.18/30.76	o 4464
30.18/30.78	o 4463
30.28/30.81	o 4462
30.28/30.84	o 4461
30.28/30.86	o 4460
30.28/30.89	o 4459
30.37/30.92	o 4458
30.37/30.95	o 4457
30.37/30.97	o 4456
30.47/31.00	o 4455
30.47/31.03	o 4454
30.47/31.06	o 4453
30.47/31.08	o 4452
30.57/31.11	o 4451
30.57/31.14	o 4450
30.57/31.16	o 4449
30.57/31.19	o 4448
30.67/31.22	o 4447
30.67/31.25	o 4446
30.67/31.28	o 4445
30.76/31.31	o 4444
30.76/31.33	o 4443
30.76/31.36	o 4442
30.76/31.39	o 4441
30.86/31.41	o 4440
30.86/31.44	o 4439
30.86/31.47	o 4438
30.86/31.49	o 4437
30.96/31.52	o 4436
30.96/31.55	o 4435
30.96/31.58	o 4434
31.06/31.60	o 4433
31.06/31.63	o 4432
31.06/31.66	o 4431
31.06/31.68	o 4430
31.16/31.71	o 4429
31.16/31.74	o 4428
31.16/31.77	o 4427
31.16/31.79	o 4426
31.26/31.83	o 4425
31.26/31.85	o 4424
31.26/31.88	o 4423
31.36/31.91	o 4422
31.36/31.93	o 4421
31.36/31.96	o 4420
31.36/31.99	o 4419
31.45/32.01	o 4418
31.45/32.04	o 4417
31.45/32.07	o 4416
31.45/32.09	o 4415
31.55/32.12	o 4414
31.55/32.15	o 4413
31.55/32.17	o 4412
31.65/32.20	o 4411
31.65/32.23	o 4410
31.65/32.25	o 4409
31.65/32.28	o 4408
31.75/32.31	o 4407
31.75/32.34	o 4406
31.75/32.37	o 4405
31.75/32.39	o 4404
31.85/32.42	o 4403
31.85/32.45	o 4402
31.85/32.47	o 4401
31.94/32.50	o 4400
31.94/32.53	o 4399
31.94/32.55	o 4398
31.94/32.58	o 4397
32.04/32.61	o 4396
32.04/32.63	o 4395
32.04/32.66	o 4394
32.04/32.69	o 4393
32.14/32.72	o 4392
32.14/32.74	o 4391
32.14/32.77	o 4390
32.14/32.79	o 4389
32.24/32.82	o 4388
32.24/32.85	o 4387
32.24/32.88	o 4386
32.34/32.91	o 4385
32.34/32.94	o 4384
32.34/32.96	o 4383
32.34/32.99	o 4382
32.45/33.02	o 4381
32.45/33.04	o 4380
32.45/33.07	o 4379
32.45/33.10	o 4378
32.54/33.12	o 4377
32.54/33.15	o 4376
32.54/33.18	o 4375
32.64/33.20	o 4374
32.64/33.23	o 4373
32.64/33.26	o 4372
32.64/33.28	o 4371
32.74/33.31	o 4370
32.74/33.34	o 4369
32.74/33.36	o 4368
32.74/33.39	o 4367
32.84/33.42	o 4366
32.84/33.45	o 4365
32.84/33.47	o 4364
32.94/33.50	o 4363
32.94/33.53	o 4362
32.94/33.55	o 4361
32.94/33.58	o 4360
33.04/33.60	o 4359
33.04/33.63	o 4358
33.04/33.66	o 4357
33.04/33.68	o 4356
33.14/33.71	o 4355
33.14/33.74	o 4354
33.14/33.76	o 4353
33.14/33.79	o 4352
33.24/33.82	o 4351
33.24/33.84	o 4350
33.24/33.87	o 4349
33.24/33.89	o 4348
33.33/33.92	o 4347
33.33/33.95	o 4346
33.33/33.97	o 4345
33.43/34.01	o 4344
33.43/34.03	o 4343
33.43/34.06	o 4342
33.43/34.08	o 4341
33.53/34.11	o 4340
33.53/34.14	o 4339
33.53/34.16	o 4338
33.53/34.19	o 4337
33.63/34.22	o 4336
33.63/34.24	o 4335
33.63/34.27	o 4334
33.63/34.29	o 4333
33.73/34.32	o 4332
33.73/34.35	o 4331
33.73/34.37	o 4330
33.83/34.40	o 4329
33.83/34.43	o 4328
33.83/34.45	o 4327
33.83/34.48	o 4326
33.93/34.51	o 4325
33.93/34.54	o 4324
33.93/34.56	o 4323
33.93/34.59	o 4322
34.02/34.62	o 4321
34.02/34.64	o 4320
34.02/34.67	o 4319
34.02/34.69	o 4318
34.12/34.72	o 4317
34.12/34.75	o 4316
34.12/34.77	o 4315
34.22/34.80	o 4314
34.22/34.83	o 4313
34.22/34.85	o 4312
34.22/34.88	o 4311
34.32/34.90	o 4310
34.32/34.93	o 4309
34.32/34.96	o 4308
34.32/34.98	o 4307
34.42/35.01	o 4306
34.42/35.04	o 4305
34.42/35.06	o 4304
34.42/35.09	o 4303
34.52/35.12	o 4302
34.52/35.15	o 4301
34.52/35.17	o 4300
34.52/35.20	o 4299
34.62/35.22	o 4298
34.62/35.25	o 4297
34.62/35.27	o 4296
34.71/35.30	o 4295
34.71/35.33	o 4294
34.71/35.35	o 4293
34.71/35.38	o 4292
34.81/35.41	o 4291
34.81/35.43	o 4290
34.81/35.46	o 4289
34.81/35.48	o 4288
34.91/35.51	o 4287
34.91/35.54	o 4286
34.91/35.56	o 4285
34.91/35.59	o 4284
35.01/35.62	o 4283
35.01/35.65	o 4282
35.01/35.67	o 4281
35.01/35.70	o 4280
35.10/35.72	o 4279
35.10/35.75	o 4278
35.10/35.78	o 4277
35.20/35.80	o 4276
35.20/35.83	o 4275
35.20/35.85	o 4274
35.20/35.88	o 4273
35.30/35.91	o 4272
35.30/35.93	o 4271
35.30/35.96	o 4270
35.30/35.99	o 4269
35.41/36.01	o 4268
35.41/36.04	o 4267
35.41/36.06	o 4266
35.41/36.09	o 4265
35.51/36.12	o 4264
35.51/36.14	o 4263
35.51/36.17	o 4262
35.51/36.19	o 4261
35.60/36.23	o 4260
35.60/36.25	o 4259
35.60/36.28	o 4258
35.60/36.30	o 4257
35.70/36.33	o 4256
35.70/36.35	o 4255
35.70/36.38	o 4254
35.80/36.41	o 4253
35.80/36.43	o 4252
35.80/36.46	o 4251
35.80/36.48	o 4250
35.90/36.51	o 4249
35.90/36.54	o 4248
35.90/36.56	o 4247
35.90/36.59	o 4246
35.99/36.61	o 4245
35.99/36.64	o 4244
35.99/36.67	o 4243
35.99/36.69	o 4242
36.09/36.72	o 4241
36.09/36.75	o 4240
36.09/36.77	o 4239
36.19/36.80	o 4238
36.19/36.83	o 4237
36.19/36.85	o 4236
36.19/36.88	o 4235
36.29/36.90	o 4234
36.29/36.93	o 4233
36.29/36.95	o 4232
36.29/36.98	o 4231
36.38/37.01	o 4230
36.38/37.03	o 4229
36.38/37.06	o 4228
36.38/37.08	o 4227
36.48/37.11	o 4226
36.48/37.13	o 4225
36.48/37.16	o 4224
36.48/37.18	o 4223
36.58/37.21	o 4222
36.58/37.24	o 4221
36.58/37.26	o 4220
36.58/37.29	o 4219
36.68/37.32	o 4218
36.68/37.34	o 4217
36.68/37.37	o 4216
36.68/37.40	o 4215
36.78/37.42	o 4214
36.78/37.45	o 4213
36.78/37.47	o 4212
36.88/37.50	o 4211
36.88/37.52	o 4210
36.88/37.55	o 4209
36.88/37.58	o 4208
36.98/37.60	o 4207
36.98/37.63	o 4206
36.98/37.65	o 4205
36.98/37.68	o 4204
37.08/37.70	o 4203
37.08/37.73	o 4202
37.08/37.76	o 4201
37.08/37.78	o 4200
37.18/37.81	o 4199
37.18/37.84	o 4198
37.18/37.87	o 4197
37.18/37.89	o 4196
37.27/37.92	o 4195
37.27/37.94	o 4194
37.27/37.97	o 4193
37.27/37.99	o 4192
37.37/38.02	o 4191
37.37/38.05	o 4190
37.37/38.07	o 4189
37.47/38.10	o 4188
37.47/38.12	o 4187
37.47/38.15	o 4186
37.47/38.17	o 4185
37.57/38.20	o 4184
37.57/38.23	o 4183
37.57/38.25	o 4182
37.57/38.28	o 4181
37.67/38.30	o 4180
37.67/38.33	o 4179
37.67/38.35	o 4178
37.67/38.38	o 4177
37.77/38.41	o 4176
37.77/38.44	o 4175
37.77/38.46	o 4174
37.77/38.49	o 4173
37.87/38.51	o 4172
37.87/38.54	o 4171
37.87/38.56	o 4170
37.87/38.59	o 4169
37.96/38.61	o 4168
37.96/38.64	o 4167
37.96/38.66	o 4166
37.96/38.69	o 4165
38.06/38.72	o 4164
38.06/38.74	o 4163
38.06/38.77	o 4162
38.06/38.79	o 4161
38.16/38.82	o 4160
38.16/38.84	o 4159
38.16/38.87	o 4158
38.16/38.89	o 4157
38.26/38.93	o 4156
38.26/38.95	o 4155
38.26/38.98	o 4154
38.36/39.00	o 4153
38.36/39.03	o 4152
38.36/39.05	o 4151
38.36/39.08	o 4150
38.45/39.10	o 4149
38.45/39.13	o 4148
38.45/39.15	o 4147
38.45/39.18	o 4146
38.55/39.20	o 4145
38.55/39.23	o 4144
38.55/39.26	o 4143
38.55/39.28	o 4142
38.66/39.31	o 4141
38.66/39.33	o 4140
38.66/39.36	o 4139
38.66/39.38	o 4138
38.76/39.41	o 4137
38.76/39.43	o 4136
38.76/39.46	o 4135
38.76/39.48	o 4134
38.86/39.51	o 4133
38.86/39.54	o 4132
38.86/39.56	o 4131
38.86/39.59	o 4130
38.96/39.61	o 4129
38.96/39.64	o 4128
38.96/39.66	o 4127
38.96/39.69	o 4126
39.05/39.72	o 4125
39.05/39.74	o 4124
39.05/39.77	o 4123
39.05/39.79	o 4122
39.15/39.82	o 4121
39.15/39.84	o 4120
39.15/39.87	o 4119
39.15/39.89	o 4118
39.25/39.92	o 4117
39.25/39.94	o 4116
39.25/39.97	o 4115
39.25/39.99	o 4114
39.35/40.02	o 4113
39.35/40.05	o 4112
39.35/40.07	o 4111
39.44/40.10	o 4110
39.44/40.12	o 4109
39.44/40.15	o 4108
39.44/40.17	o 4107
39.54/40.20	o 4106
39.54/40.23	o 4105
39.54/40.25	o 4104
39.54/40.27	o 4103
39.64/40.30	o 4102
39.64/40.33	o 4101
39.64/40.35	o 4100
39.64/40.38	o 4099
39.74/40.40	o 4098
39.74/40.43	o 4097
39.74/40.45	o 4096
39.74/40.48	o 4095
39.84/40.50	o 4094
39.84/40.53	o 4093
39.84/40.55	o 4092
39.84/40.58	o 4091
39.94/40.61	o 4090
39.94/40.63	o 4089
39.94/40.66	o 4088
39.94/40.68	o 4087
40.04/40.71	o 4086
40.04/40.73	o 4085
40.04/40.76	o 4084
40.04/40.78	o 4083
40.13/40.81	o 4082
40.13/40.83	o 4081
40.13/40.86	o 4080
40.13/40.88	o 4079
40.23/40.91	o 4078
40.23/40.93	o 4077
40.23/40.96	o 4076
40.23/40.98	o 4075
40.33/41.01	o 4074
40.33/41.03	o 4073
40.33/41.06	o 4072
40.33/41.08	o 4071
40.43/41.11	o 4070
40.43/41.14	o 4069
40.43/41.16	o 4068
40.43/41.19	o 4067
40.52/41.21	o 4066
40.52/41.24	o 4065
40.52/41.26	o 4064
40.52/41.29	o 4063
40.62/41.32	o 4062
40.62/41.34	o 4061
40.62/41.36	o 4060
40.62/41.39	o 4059
40.72/41.42	o 4058
40.72/41.44	o 4057
40.72/41.46	o 4056
40.72/41.49	o 4055
40.82/41.52	o 4054
40.82/41.54	o 4053
40.82/41.56	o 4052
40.82/41.59	o 4051
40.93/41.62	o 4050
40.93/41.64	o 4049
40.93/41.66	o 4048
40.93/41.69	o 4047
41.03/41.72	o 4046
41.03/41.74	o 4045
41.03/41.77	o 4044
41.03/41.79	o 4043
41.13/41.82	o 4042
41.13/41.84	o 4041
41.13/41.87	o 4040
41.13/41.89	o 4039
41.22/41.92	o 4038
41.22/41.94	o 4037
41.22/41.97	o 4036
41.22/41.99	o 4035
41.32/42.02	o 4034
41.32/42.04	o 4033
41.32/42.07	o 4032
41.32/42.09	o 4031
41.42/42.12	o 4030
41.42/42.14	o 4029
41.42/42.17	o 4028
41.42/42.19	o 4027
41.52/42.22	o 4026
41.52/42.25	o 4025
41.52/42.27	o 4024
41.52/42.29	o 4023
41.61/42.32	o 4022
41.61/42.34	o 4021
41.61/42.37	o 4020
41.61/42.39	o 4019
41.71/42.42	o 4018
41.71/42.44	o 4017
41.71/42.47	o 4016
41.71/42.49	o 4015
41.81/42.52	o 4014
41.81/42.54	o 4013
41.81/42.57	o 4012
41.81/42.59	o 4011
41.91/42.62	o 4010
41.91/42.64	o 4009
41.91/42.66	o 4008
41.91/42.69	o 4007
42.01/42.71	o 4006
42.01/42.74	o 4005
42.01/42.76	o 4004
42.01/42.79	o 4003
42.11/42.82	o 4002
42.11/42.84	o 4001
42.11/42.87	o 4000
42.11/42.89	o 3999
42.21/42.92	o 3998
42.21/42.94	o 3997
42.21/42.96	o 3996
42.21/42.99	o 3995
42.30/43.01	o 3994
42.30/43.04	o 3993
42.30/43.06	o 3992
42.30/43.09	o 3991
42.40/43.11	o 3990
42.40/43.13	o 3989
42.40/43.16	o 3988
42.40/43.18	o 3987
42.50/43.21	o 3986
42.50/43.23	o 3985
42.50/43.26	o 3984
42.50/43.28	o 3983
42.60/43.31	o 3982
42.60/43.34	o 3981
42.60/43.36	o 3980
42.60/43.38	o 3979
42.69/43.41	o 3978
42.69/43.43	o 3977
42.69/43.46	o 3976
42.69/43.48	o 3975
42.79/43.51	o 3974
42.79/43.53	o 3973
42.79/43.55	o 3972
42.79/43.58	o 3971
42.90/43.60	o 3970
42.90/43.63	o 3969
42.90/43.65	o 3968
42.90/43.68	o 3967
43.00/43.70	o 3966
43.00/43.73	o 3965
43.00/43.75	o 3964
43.00/43.77	o 3963
43.00/43.80	o 3962
43.10/43.82	o 3961
43.10/43.85	o 3960
43.10/43.87	o 3959
43.10/43.89	o 3958
43.20/43.92	o 3957
43.20/43.95	o 3956
43.20/43.97	o 3955
43.20/44.00	o 3954
43.29/44.02	o 3953
43.29/44.05	o 3952
43.29/44.07	o 3951
43.29/44.09	o 3950
43.39/44.12	o 3949
43.39/44.14	o 3948
43.39/44.17	o 3947
43.39/44.19	o 3946
43.49/44.22	o 3945
43.49/44.24	o 3944
43.49/44.26	o 3943
43.49/44.29	o 3942
43.59/44.31	o 3941
43.59/44.34	o 3940
43.59/44.36	o 3939
43.59/44.38	o 3938
43.68/44.41	o 3937
43.68/44.44	o 3936
43.68/44.46	o 3935
43.68/44.49	o 3934
43.78/44.51	o 3933
43.78/44.53	o 3932
43.78/44.56	o 3931
43.78/44.58	o 3930
43.88/44.61	o 3929
43.88/44.63	o 3928
43.88/44.65	o 3927
43.88/44.68	o 3926
43.98/44.70	o 3925
43.98/44.73	o 3924
43.98/44.75	o 3923
43.98/44.77	o 3922
44.07/44.80	o 3921
44.07/44.82	o 3920
44.07/44.85	o 3919
44.07/44.87	o 3918
44.07/44.90	o 3917
44.17/44.92	o 3916
44.17/44.94	o 3915
44.17/44.97	o 3914
44.17/44.99	o 3913
44.27/45.02	o 3912
44.27/45.05	o 3911
44.27/45.07	o 3910
44.27/45.09	o 3909
44.37/45.12	o 3908
44.37/45.14	o 3907
44.37/45.16	o 3906
44.37/45.19	o 3905
44.47/45.21	o 3904
44.47/45.24	o 3903
44.47/45.26	o 3902
44.47/45.28	o 3901
44.57/45.31	o 3900
44.57/45.33	o 3899
44.57/45.36	o 3898
44.57/45.38	o 3897
44.67/45.40	o 3896
44.67/45.43	o 3895
44.67/45.45	o 3894
44.67/45.48	o 3893
44.77/45.50	o 3892
44.77/45.53	o 3891
44.77/45.55	o 3890
44.77/45.58	o 3889
44.87/45.60	o 3888
44.87/45.62	o 3887
44.87/45.65	o 3886
44.87/45.67	o 3885
44.87/45.70	o 3884
44.97/45.72	o 3883
44.97/45.74	o 3882
44.97/45.77	o 3881
44.97/45.79	o 3880
45.06/45.82	o 3879
45.06/45.84	o 3878
45.06/45.86	o 3877
45.06/45.89	o 3876
45.16/45.91	o 3875
45.16/45.93	o 3874
45.16/45.96	o 3873
45.16/45.98	o 3872
45.26/46.01	o 3871
45.26/46.03	o 3870
45.26/46.05	o 3869
45.26/46.08	o 3868
45.36/46.11	o 3867
45.36/46.13	o 3866
45.36/46.15	o 3865
45.36/46.18	o 3864
45.36/46.20	o 3863
45.45/46.23	o 3862
45.45/46.25	o 3861
45.45/46.27	o 3860
45.45/46.30	o 3859
45.55/46.32	o 3858
45.55/46.34	o 3857
45.55/46.37	o 3856
45.55/46.39	o 3855
45.65/46.42	o 3854
45.65/46.44	o 3853
45.65/46.46	o 3852
45.65/46.49	o 3851
45.75/46.51	o 3850
45.75/46.53	o 3849
45.75/46.56	o 3848
45.75/46.58	o 3847
45.85/46.61	o 3846
45.85/46.63	o 3845
45.85/46.66	o 3844
45.85/46.68	o 3843
45.94/46.71	o 3842
45.94/46.73	o 3841
45.94/46.75	o 3840
45.94/46.78	o 3839
46.04/46.80	o 3838
46.04/46.82	o 3837
46.04/46.85	o 3836
46.04/46.87	o 3835
46.04/46.89	o 3834
46.15/46.92	o 3833
46.15/46.94	o 3832
46.15/46.97	o 3831
46.15/46.99	o 3830
46.25/47.01	o 3829
46.25/47.04	o 3828
46.25/47.06	o 3827
46.25/47.08	o 3826
46.34/47.11	o 3825
46.34/47.13	o 3824
46.34/47.15	o 3823
46.34/47.18	o 3822
46.44/47.21	o 3821
46.44/47.23	o 3820
46.44/47.25	o 3819
46.44/47.28	o 3818
46.44/47.30	o 3817
46.54/47.32	o 3816
46.54/47.35	o 3815
46.54/47.37	o 3814
46.54/47.39	o 3813
46.64/47.42	o 3812
46.64/47.44	o 3811
46.64/47.46	o 3810
46.64/47.49	o 3809
46.74/47.51	o 3808
46.74/47.53	o 3807
46.74/47.56	o 3806
46.74/47.58	o 3805
46.83/47.60	o 3804
46.83/47.63	o 3803
46.83/47.65	o 3802
46.83/47.67	o 3801
46.83/47.70	o 3800
46.93/47.73	o 3799
46.93/47.75	o 3798
46.93/47.77	o 3797
46.93/47.79	o 3796
47.03/47.82	o 3795
47.03/47.84	o 3794
47.03/47.86	o 3793
47.03/47.89	o 3792
47.13/47.91	o 3791
47.13/47.93	o 3790
47.13/47.96	o 3789
47.13/47.98	o 3788
47.23/48.00	o 3787
47.23/48.02	o 3786
47.23/48.05	o 3785
47.23/48.07	o 3784
47.23/48.09	o 3783
47.32/48.12	o 3782
47.32/48.14	o 3781
47.32/48.16	o 3780
47.32/48.19	o 3779
47.42/48.21	o 3778
47.42/48.23	o 3777
47.42/48.25	o 3776
47.42/48.28	o 3775
47.52/48.31	o 3774
47.52/48.33	o 3773
47.52/48.35	o 3772
47.52/48.37	o 3771
47.52/48.40	o 3770
47.62/48.42	o 3769
47.62/48.44	o 3768
47.62/48.47	o 3767
47.62/48.49	o 3766
47.72/48.51	o 3765
47.72/48.54	o 3764
47.72/48.56	o 3763
47.72/48.58	o 3762
47.83/48.60	o 3761
47.83/48.63	o 3760
47.83/48.65	o 3759
47.83/48.67	o 3758
47.83/48.69	o 3757
47.93/48.72	o 3756
47.93/48.74	o 3755
47.93/48.76	o 3754
47.93/48.78	o 3753
48.03/48.81	o 3752
48.03/48.84	o 3751
48.03/48.86	o 3750
48.03/48.88	o 3749
48.12/48.90	o 3748
48.12/48.93	o 3747
48.12/48.95	o 3746
48.12/48.97	o 3745
48.12/48.99	o 3744
48.22/49.02	o 3743
48.22/49.04	o 3742
48.22/49.06	o 3741
48.22/49.09	o 3740
48.32/49.11	o 3739
48.32/49.13	o 3738
48.32/49.15	o 3737
48.32/49.18	o 3736
48.42/49.20	o 3735
48.42/49.22	o 3734
48.42/49.24	o 3733
48.42/49.27	o 3732
48.42/49.29	o 3731
48.51/49.31	o 3730
48.51/49.33	o 3729
48.51/49.36	o 3728
48.51/49.38	o 3727
48.61/49.41	o 3726
48.61/49.43	o 3725
48.61/49.45	o 3724
48.61/49.48	o 3723
48.61/49.50	o 3722
48.71/49.52	o 3721
48.71/49.54	o 3720
48.71/49.57	o 3719
48.71/49.59	o 3718
48.80/49.61	o 3717
48.80/49.63	o 3716
48.80/49.66	o 3715
48.80/49.68	o 3714
48.90/49.70	o 3713
48.90/49.72	o 3712
48.90/49.75	o 3711
48.90/49.77	o 3710
48.90/49.79	o 3709
49.00/49.81	o 3708
49.00/49.84	o 3707
49.00/49.86	o 3706
49.00/49.88	o 3705
49.10/49.90	o 3704
49.10/49.93	o 3703
49.10/49.95	o 3702
49.10/49.98	o 3701
49.20/50.00	o 3700
49.20/50.02	o 3699
49.20/50.04	o 3698
49.20/50.07	o 3697
49.20/50.09	o 3696
49.29/50.11	o 3695
49.29/50.13	o 3694
49.29/50.16	o 3693
49.29/50.18	o 3692
49.39/50.20	o 3691
49.39/50.22	o 3690
49.39/50.25	o 3689
49.39/50.27	o 3688
49.39/50.29	o 3687
49.49/50.31	o 3686
49.49/50.33	o 3685
49.49/50.36	o 3684
49.49/50.38	o 3683
49.59/50.40	o 3682
49.59/50.42	o 3681
49.59/50.45	o 3680
49.59/50.47	o 3679
49.59/50.49	o 3678
49.70/50.52	o 3677
49.70/50.54	o 3676
49.70/50.56	o 3675
49.70/50.58	o 3674
49.80/50.61	o 3673
49.80/50.63	o 3672
49.80/50.65	o 3671
49.80/50.67	o 3670
49.80/50.70	o 3669
49.89/50.72	o 3668
49.89/50.74	o 3667
49.89/50.76	o 3666
49.89/50.79	o 3665
49.99/50.81	o 3664
49.99/50.83	o 3663
49.99/50.85	o 3662
49.99/50.87	o 3661
49.99/50.90	o 3660
50.09/50.92	o 3659
50.09/50.94	o 3658
50.09/50.96	o 3657
50.09/50.99	o 3656
50.19/51.01	o 3655
50.19/51.04	o 3654
50.19/51.06	o 3653
50.19/51.08	o 3652
50.29/51.10	o 3651
50.29/51.13	o 3650
50.29/51.15	o 3649
50.29/51.17	o 3648
50.29/51.19	o 3647
50.39/51.22	o 3646
50.39/51.24	o 3645
50.39/51.26	o 3644
50.39/51.28	o 3643
50.49/51.30	o 3642
50.49/51.33	o 3641
50.49/51.35	o 3640
50.49/51.37	o 3639
50.49/51.39	o 3638
50.58/51.41	o 3637
50.58/51.44	o 3636
50.58/51.46	o 3635
50.58/51.48	o 3634
50.68/51.50	o 3633
50.68/51.53	o 3632
50.68/51.55	o 3631
50.68/51.57	o 3630
50.68/51.59	o 3629
50.78/51.62	o 3628
50.78/51.64	o 3627
50.78/51.66	o 3626
50.78/51.69	o 3625
50.88/51.71	o 3624
50.88/51.73	o 3623
50.88/51.75	o 3622
50.88/51.77	o 3621
50.88/51.80	o 3620
50.97/51.82	o 3619
50.97/51.84	o 3618
50.97/51.86	o 3617
50.97/51.88	o 3616
51.07/51.91	o 3615
51.07/51.93	o 3614
51.07/51.95	o 3613
51.07/51.97	o 3612
51.07/51.99	o 3611
51.17/52.02	o 3610
51.17/52.04	o 3609
51.17/52.06	o 3608
51.17/52.08	o 3607
51.27/52.10	o 3606
51.27/52.13	o 3605
51.27/52.15	o 3604
51.27/52.17	o 3603
51.27/52.20	o 3602
51.36/52.22	o 3601
51.36/52.24	o 3600
51.36/52.26	o 3599
51.36/52.28	o 3598
51.46/52.31	o 3597
51.46/52.33	o 3596
51.46/52.35	o 3595
51.46/52.37	o 3594
51.46/52.39	o 3593
51.56/52.42	o 3592
51.56/52.44	o 3591
51.56/52.46	o 3590
51.56/52.48	o 3589
51.67/52.50	o 3588
51.67/52.52	o 3587
51.67/52.55	o 3586
51.67/52.57	o 3585
51.67/52.59	o 3584
51.76/52.61	o 3583
51.76/52.63	o 3582
51.76/52.65	o 3581
51.76/52.68	o 3580
51.86/52.70	o 3579
51.86/52.72	o 3578
51.86/52.75	o 3577
51.86/52.77	o 3576
51.86/52.79	o 3575
51.96/52.81	o 3574
51.96/52.83	o 3573
51.96/52.85	o 3572
51.96/52.88	o 3571
52.06/52.90	o 3570
52.06/52.92	o 3569
52.06/52.94	o 3568
52.06/52.96	o 3567
52.06/52.98	o 3566
52.15/53.01	o 3565
52.15/53.03	o 3564
52.15/53.05	o 3563
52.15/53.07	o 3562
52.15/53.09	o 3561
52.25/53.11	o 3560
52.25/53.14	o 3559
52.25/53.16	o 3558
52.25/53.18	o 3557
52.35/53.20	o 3556
52.35/53.23	o 3555
52.35/53.25	o 3554
52.35/53.27	o 3553
52.35/53.29	o 3552
52.45/53.31	o 3551
52.45/53.33	o 3550
52.45/53.36	o 3549
52.45/53.38	o 3548
52.54/53.40	o 3547
52.54/53.42	o 3546
52.54/53.44	o 3545
52.54/53.46	o 3544
52.54/53.48	o 3543
52.64/53.51	o 3542
52.64/53.53	o 3541
52.64/53.55	o 3540
52.64/53.57	o 3539
52.64/53.59	o 3538
52.74/53.61	o 3537
52.74/53.63	o 3536
52.74/53.66	o 3535
52.74/53.68	o 3534
52.84/53.70	o 3533
52.84/53.72	o 3532
52.84/53.74	o 3531
52.84/53.76	o 3530
52.84/53.78	o 3529
52.95/53.81	o 3528
52.95/53.83	o 3527
52.95/53.85	o 3526
52.95/53.87	o 3525
52.95/53.89	o 3524
53.05/53.92	o 3523
53.05/53.94	o 3522
53.05/53.96	o 3521
53.05/53.98	o 3520
53.14/54.00	o 3519
53.14/54.02	o 3518
53.14/54.04	o 3517
53.14/54.07	o 3516
53.14/54.09	o 3515
53.24/54.11	o 3514
53.24/54.13	o 3513
53.24/54.15	o 3512
53.24/54.17	o 3511
53.24/54.19	o 3510
53.34/54.21	o 3509
53.34/54.24	o 3508
53.34/54.26	o 3507
53.34/54.28	o 3506
53.44/54.30	o 3505
53.44/54.33	o 3504
53.44/54.35	o 3503
53.44/54.37	o 3502
53.44/54.39	o 3501
53.53/54.41	o 3500
53.53/54.43	o 3499
53.53/54.45	o 3498
53.53/54.47	o 3497
53.53/54.49	o 3496
53.63/54.52	o 3495
53.63/54.54	o 3494
53.63/54.56	o 3493
53.63/54.58	o 3492
53.73/54.60	o 3491
53.73/54.62	o 3490
53.73/54.64	o 3489
53.73/54.66	o 3488
53.73/54.68	o 3487
53.83/54.71	o 3486
53.83/54.73	o 3485
53.83/54.75	o 3484
53.83/54.77	o 3483
53.83/54.79	o 3482
53.93/54.81	o 3481
53.93/54.83	o 3480
53.93/54.85	o 3479
53.93/54.87	o 3478
53.93/54.90	o 3477
54.03/54.92	o 3476
54.03/54.94	o 3475
54.03/54.96	o 3474
54.03/54.99	o 3473
54.13/55.01	o 3472
54.13/55.03	o 3471
54.13/55.05	o 3470
54.13/55.07	o 3469
54.13/55.09	o 3468
54.22/55.11	o 3467
54.22/55.13	o 3466
54.22/55.15	o 3465
54.22/55.17	o 3464
54.22/55.20	o 3463
54.32/55.22	o 3462
54.32/55.24	o 3461
54.32/55.26	o 3460
54.32/55.28	o 3459
54.42/55.30	o 3458
54.42/55.32	o 3457
54.42/55.34	o 3456
54.42/55.36	o 3455
54.42/55.38	o 3454
54.52/55.41	o 3453
54.52/55.43	o 3452
54.52/55.45	o 3451
54.52/55.47	o 3450
54.52/55.49	o 3449
54.61/55.52	o 3448
54.61/55.54	o 3447
54.61/55.56	o 3446
54.61/55.58	o 3445
54.72/55.60	o 3444
54.72/55.62	o 3443
54.72/55.64	o 3442
54.72/55.66	o 3441
54.72/55.68	o 3440
54.82/55.70	o 3439
54.82/55.73	o 3438
54.82/55.75	o 3437
54.82/55.77	o 3436
54.82/55.79	o 3435
54.92/55.81	o 3434
54.92/55.83	o 3433
54.92/55.85	o 3432
54.92/55.87	o 3431
54.92/55.89	o 3430
55.01/55.91	o 3429
55.01/55.93	o 3428
55.01/55.95	o 3427
55.01/55.97	o 3426
55.01/55.99	o 3425
55.11/56.02	o 3424
55.11/56.04	o 3423
55.11/56.06	o 3422
55.11/56.08	o 3421
55.21/56.10	o 3420
55.21/56.13	o 3419
55.21/56.15	o 3418
55.21/56.17	o 3417
55.21/56.19	o 3416
55.31/56.21	o 3415
55.31/56.23	o 3414
55.31/56.25	o 3413
55.31/56.27	o 3412
55.31/56.29	o 3411
55.40/56.31	o 3410
55.40/56.33	o 3409
55.40/56.35	o 3408
55.40/56.37	o 3407
55.40/56.39	o 3406
55.50/56.42	o 3405
55.50/56.44	o 3404
55.50/56.46	o 3403
55.50/56.48	o 3402
55.60/56.50	o 3401
55.60/56.53	o 3400
55.60/56.55	o 3399
55.60/56.57	o 3398
55.60/56.59	o 3397
55.70/56.61	o 3396
55.70/56.63	o 3395
55.70/56.65	o 3394
55.70/56.67	o 3393
55.70/56.69	o 3392
55.79/56.71	o 3391
55.79/56.73	o 3390
55.79/56.75	o 3389
55.79/56.77	o 3388
55.79/56.79	o 3387
55.89/56.81	o 3386
55.89/56.83	o 3385
55.89/56.85	o 3384
55.89/56.87	o 3383
55.89/56.89	o 3382
55.99/56.92	o 3381
55.99/56.94	o 3380
55.99/56.96	o 3379
55.99/56.98	o 3378
56.09/57.00	o 3377
56.09/57.02	o 3376
56.09/57.04	o 3375
56.09/57.06	o 3374
56.09/57.08	o 3373
56.20/57.11	o 3372
56.20/57.13	o 3371
56.20/57.15	o 3370
56.20/57.17	o 3369
56.20/57.19	o 3368
56.30/57.21	o 3367
56.30/57.23	o 3366
56.30/57.25	o 3365
56.30/57.27	o 3364
56.30/57.29	o 3363
56.39/57.31	o 3362
56.39/57.33	o 3361
56.39/57.35	o 3360
56.39/57.37	o 3359
56.39/57.39	o 3358
56.49/57.41	o 3357
56.49/57.43	o 3356
56.49/57.45	o 3355
56.49/57.47	o 3354
56.49/57.49	o 3353
56.59/57.51	o 3352
56.59/57.53	o 3351
56.59/57.55	o 3350
56.59/57.57	o 3349
56.59/57.59	o 3348
56.69/57.62	o 3347
56.69/57.64	o 3346
56.69/57.66	o 3345
56.69/57.68	o 3344
56.78/57.70	o 3343
56.78/57.72	o 3342
56.78/57.74	o 3341
56.78/57.76	o 3340
56.78/57.78	o 3339
56.88/57.80	o 3338
56.88/57.82	o 3337
56.88/57.84	o 3336
56.88/57.86	o 3335
56.88/57.88	o 3334
56.98/57.91	o 3333
56.98/57.93	o 3332
56.98/57.95	o 3331
56.98/57.97	o 3330
56.98/57.99	o 3329
57.08/58.01	o 3328
57.08/58.03	o 3327
57.08/58.05	o 3326
57.08/58.07	o 3325
57.08/58.09	o 3324
57.19/58.11	o 3323
57.19/58.13	o 3322
57.19/58.15	o 3321
57.19/58.17	o 3320
57.19/58.19	o 3319
57.28/58.22	o 3318
57.28/58.24	o 3317
57.28/58.26	o 3316
57.28/58.28	o 3315
57.28/58.30	o 3314
57.38/58.32	o 3313
57.38/58.34	o 3312
57.38/58.36	o 3311
57.38/58.38	o 3310
57.48/58.40	o 3309
57.48/58.42	o 3308
57.48/58.44	o 3307
57.48/58.46	o 3306
57.48/58.48	o 3305
57.57/58.50	o 3304
57.57/58.52	o 3303
57.57/58.54	o 3302
57.57/58.56	o 3301
57.57/58.58	o 3300
57.67/58.60	o 3299
57.67/58.62	o 3298
57.67/58.64	o 3297
57.67/58.66	o 3296
57.67/58.68	o 3295
57.77/58.70	o 3294
57.77/58.72	o 3293
57.77/58.74	o 3292
57.77/58.76	o 3291
57.77/58.78	o 3290
57.87/58.80	o 3289
57.87/58.82	o 3288
57.87/58.84	o 3287
57.87/58.86	o 3286
57.87/58.88	o 3285
57.97/58.90	o 3284
57.97/58.92	o 3283
57.97/58.94	o 3282
57.97/58.96	o 3281
57.97/58.98	o 3280
58.07/59.00	o 3279
58.07/59.02	o 3278
58.07/59.04	o 3277
58.07/59.06	o 3276
58.07/59.08	o 3275
58.17/59.10	o 3274
58.17/59.12	o 3273
58.17/59.14	o 3272
58.17/59.16	o 3271
58.17/59.18	o 3270
58.27/59.20	o 3269
58.27/59.22	o 3268
58.27/59.24	o 3267
58.27/59.26	o 3266
58.27/59.28	o 3265
58.37/59.31	o 3264
58.37/59.33	o 3263
58.37/59.35	o 3262
58.37/59.37	o 3261
58.37/59.39	o 3260
58.47/59.41	o 3259
58.47/59.43	o 3258
58.47/59.45	o 3257
58.47/59.46	o 3256
58.47/59.48	o 3255
58.56/59.50	o 3254
58.56/59.52	o 3253
58.56/59.54	o 3252
58.56/59.56	o 3251
58.56/59.58	o 3250
58.66/59.60	o 3249
58.66/59.62	o 3248
58.66/59.64	o 3247
58.66/59.66	o 3246
58.66/59.68	o 3245
58.75/59.70	o 3244
58.75/59.72	o 3243
58.75/59.74	o 3242
58.75/59.76	o 3241
58.75/59.78	o 3240
58.86/59.80	o 3239
58.86/59.83	o 3238
58.86/59.84	o 3237
58.86/59.86	o 3236
58.86/59.88	o 3235
58.95/59.90	o 3234
58.95/59.92	o 3233
58.95/59.94	o 3232
58.95/59.96	o 3231
58.95/59.98	o 3230
59.05/60.00	o 3229
59.05/60.02	o 3228
59.05/60.04	o 3227
59.05/60.06	o 3226
59.05/60.08	o 3225
59.15/60.10	o 3224
59.15/60.12	o 3223
59.15/60.14	o 3222
59.15/60.16	o 3221
59.15/60.18	o 3220
59.15/60.20	o 3219
59.25/60.22	o 3218
59.25/60.24	o 3217
59.25/60.25	o 3216
59.25/60.27	o 3215
59.25/60.29	o 3214
59.35/60.31	o 3213
59.35/60.33	o 3212
59.35/60.35	o 3211
59.35/60.37	o 3210
59.35/60.39	o 3209
59.44/60.42	o 3208
59.44/60.44	o 3207
59.44/60.45	o 3206
59.44/60.47	o 3205
59.44/60.49	o 3204
59.54/60.51	o 3203
59.54/60.53	o 3202
59.54/60.55	o 3201
59.54/60.57	o 3200
59.54/60.59	o 3199
59.65/60.61	o 3198
59.65/60.63	o 3197
59.65/60.65	o 3196
59.65/60.67	o 3195
59.65/60.69	o 3194
59.74/60.71	o 3193
59.74/60.73	o 3192
59.74/60.75	o 3191
59.74/60.76	o 3190
59.74/60.78	o 3189
59.84/60.80	o 3188
59.84/60.82	o 3187
59.84/60.84	o 3186
59.84/60.86	o 3185
59.84/60.88	o 3184
59.94/60.90	o 3183
59.94/60.92	o 3182
59.94/60.94	o 3181
59.94/60.96	o 3180
59.94/60.98	o 3179
60.03/61.00	o 3178
60.03/61.02	o 3177
60.03/61.04	o 3176
60.03/61.06	o 3175
60.03/61.08	o 3174
60.13/61.10	o 3173
60.13/61.12	o 3172
60.13/61.14	o 3171
60.13/61.16	o 3170
60.13/61.18	o 3169
60.13/61.19	o 3168
60.23/61.21	o 3167
60.23/61.23	o 3166
60.23/61.25	o 3165
60.23/61.27	o 3164
60.23/61.29	o 3163
60.33/61.31	o 3162
60.33/61.33	o 3161
60.33/61.35	o 3160
60.33/61.37	o 3159
60.33/61.39	o 3158
60.44/61.41	o 3157
60.44/61.42	o 3156
60.44/61.44	o 3155
60.44/61.46	o 3154
60.44/61.48	o 3153
60.53/61.51	o 3152
60.53/61.53	o 3151
60.53/61.54	o 3150
60.53/61.56	o 3149
60.53/61.58	o 3148
60.53/61.60	o 3147
60.63/61.62	o 3146
60.63/61.64	o 3145
60.63/61.66	o 3144
60.63/61.68	o 3143
60.73/61.70	o 3142
60.73/61.72	o 3141
60.73/61.74	o 3140
60.73/61.76	o 3139
60.73/61.78	o 3138
60.73/61.79	o 3137
60.83/61.81	o 3136
60.83/61.83	o 3135
60.83/61.85	o 3134
60.83/61.87	o 3133
60.83/61.89	o 3132
60.92/61.91	o 3131
60.92/61.93	o 3130
60.92/61.95	o 3129
60.92/61.97	o 3128
60.92/61.98	o 3127
61.02/62.00	o 3126
61.02/62.03	o 3125
61.02/62.05	o 3124
61.02/62.07	o 3123
61.02/62.08	o 3122
61.12/62.10	o 3121
61.12/62.12	o 3120
61.12/62.14	o 3119
61.12/62.16	o 3118
61.12/62.18	o 3117
61.21/62.20	o 3116
61.21/62.22	o 3115
61.21/62.24	o 3114
61.21/62.26	o 3113
61.21/62.27	o 3112
61.21/62.29	o 3111
61.31/62.31	o 3110
61.31/62.33	o 3109
61.31/62.35	o 3108
61.31/62.37	o 3107
61.31/62.39	o 3106
61.41/62.41	o 3105
61.41/62.43	o 3104
61.41/62.45	o 3103
61.41/62.46	o 3102
61.41/62.48	o 3101
61.51/62.50	o 3100
61.51/62.52	o 3099
61.51/62.54	o 3098
61.51/62.56	o 3097
61.51/62.58	o 3096
61.51/62.59	o 3095
61.62/62.62	o 3094
61.62/62.64	o 3093
61.62/62.66	o 3092
61.62/62.68	o 3091
61.62/62.69	o 3090
61.72/62.71	o 3089
61.72/62.73	o 3088
61.72/62.75	o 3087
61.72/62.77	o 3086
61.72/62.79	o 3085
61.81/62.81	o 3084
61.81/62.83	o 3083
61.81/62.84	o 3082
61.81/62.86	o 3081
61.81/62.88	o 3080
61.91/62.90	o 3079
61.91/62.92	o 3078
61.91/62.94	o 3077
61.91/62.96	o 3076
61.91/62.97	o 3075
61.91/62.99	o 3074
62.00/63.01	o 3073
62.00/63.03	o 3072
62.00/63.05	o 3071
62.00/63.07	o 3070
62.00/63.08	o 3069
62.10/63.10	o 3068
62.10/63.13	o 3067
62.10/63.15	o 3066
62.10/63.16	o 3065
62.10/63.18	o 3064
62.19/63.20	o 3063
62.19/63.22	o 3062
62.19/63.24	o 3061
62.19/63.26	o 3060
62.19/63.27	o 3059
62.19/63.29	o 3058
62.29/63.31	o 3057
62.29/63.33	o 3056
62.29/63.35	o 3055
62.29/63.37	o 3054
62.29/63.38	o 3053
62.39/63.40	o 3052
62.39/63.42	o 3051
62.39/63.44	o 3050
62.39/63.46	o 3049
62.39/63.48	o 3048
62.39/63.49	o 3047
62.49/63.51	o 3046
62.49/63.53	o 3045
62.49/63.55	o 3044
62.49/63.57	o 3043
62.49/63.59	o 3042
62.59/63.60	o 3041
62.59/63.62	o 3040
62.59/63.64	o 3039
62.59/63.66	o 3038
62.59/63.68	o 3037
62.59/63.70	o 3036
62.69/63.72	o 3035
62.69/63.74	o 3034
62.69/63.76	o 3033
62.69/63.77	o 3032
62.69/63.79	o 3031
62.79/63.81	o 3030
62.79/63.83	o 3029
62.79/63.85	o 3028
62.79/63.87	o 3027
62.79/63.88	o 3026
62.88/63.90	o 3025
62.88/63.92	o 3024
62.88/63.94	o 3023
62.88/63.96	o 3022
62.88/63.97	o 3021
62.88/63.99	o 3020
62.98/64.01	o 3019
62.98/64.03	o 3018
62.98/64.05	o 3017
62.98/64.07	o 3016
62.98/64.08	o 3015
63.08/64.10	o 3014
63.08/64.12	o 3013
63.08/64.14	o 3012
63.08/64.16	o 3011
63.08/64.17	o 3010
63.08/64.19	o 3009
63.18/64.21	o 3008
63.18/64.23	o 3007
63.18/64.25	o 3006
63.18/64.27	o 3005
63.18/64.29	o 3004
63.27/64.31	o 3003
63.27/64.32	o 3002
63.27/64.34	o 3001
63.27/64.36	o 3000
63.27/64.38	o 2999
63.27/64.40	o 2998
63.38/64.41	o 2997
63.38/64.43	o 2996
63.38/64.45	o 2995
63.38/64.47	o 2994
63.38/64.49	o 2993
63.48/64.50	o 2992
63.48/64.52	o 2991
63.48/64.54	o 2990
63.48/64.56	o 2989
63.48/64.58	o 2988
63.48/64.59	o 2987
63.58/64.61	o 2986
63.58/64.63	o 2985
63.58/64.65	o 2984
63.58/64.67	o 2983
63.58/64.68	o 2982
63.68/64.70	o 2981
63.68/64.72	o 2980
63.68/64.74	o 2979
63.68/64.76	o 2978
63.68/64.77	o 2977
63.68/64.79	o 2976
63.77/64.81	o 2975
63.77/64.83	o 2974
63.77/64.85	o 2973
63.77/64.87	o 2972
63.77/64.88	o 2971
63.77/64.90	o 2970
63.87/64.92	o 2969
63.87/64.94	o 2968
63.87/64.96	o 2967
63.87/64.97	o 2966
63.87/64.99	o 2965
63.97/65.01	o 2964
63.97/65.03	o 2963
63.97/65.05	o 2962
63.97/65.06	o 2961
63.97/65.08	o 2960
64.06/65.10	o 2959
64.06/65.12	o 2958
64.06/65.14	o 2957
64.06/65.15	o 2956
64.06/65.17	o 2955
64.06/65.19	o 2954
64.16/65.21	o 2953
64.16/65.22	o 2952
64.16/65.24	o 2951
64.16/65.26	o 2950
64.16/65.28	o 2949
64.16/65.29	o 2948
64.26/65.32	o 2947
64.26/65.34	o 2946
64.26/65.35	o 2945
64.26/65.37	o 2944
64.26/65.39	o 2943
64.35/65.41	o 2942
64.35/65.42	o 2941
64.35/65.44	o 2940
64.35/65.46	o 2939
64.35/65.48	o 2938
64.35/65.49	o 2937
64.45/65.51	o 2936
64.45/65.53	o 2935
64.45/65.55	o 2934
64.45/65.56	o 2933
64.45/65.58	o 2932
64.56/65.60	o 2931
64.56/65.62	o 2930
64.56/65.64	o 2929
64.56/65.65	o 2928
64.56/65.67	o 2927
64.56/65.69	o 2926
64.66/65.71	o 2925
64.66/65.72	o 2924
64.66/65.74	o 2923
64.66/65.76	o 2922
64.66/65.78	o 2921
64.66/65.79	o 2920
64.76/65.81	o 2919
64.76/65.83	o 2918
64.76/65.85	o 2917
64.76/65.86	o 2916
64.76/65.88	o 2915
64.86/65.90	o 2914
64.86/65.92	o 2913
64.86/65.94	o 2912
64.86/65.96	o 2911
64.86/65.97	o 2910
64.86/65.99	o 2909
64.95/66.01	o 2908
64.95/66.03	o 2907
64.95/66.04	o 2906
64.95/66.06	o 2905
64.95/66.08	o 2904
64.95/66.10	o 2903
65.05/66.12	o 2902
65.05/66.13	o 2901
65.05/66.15	o 2900
65.05/66.17	o 2899
65.05/66.18	o 2898
65.15/66.20	o 2897
65.15/66.22	o 2896
65.15/66.24	o 2895
65.15/66.25	o 2894
65.15/66.27	o 2893
65.15/66.29	o 2892
65.25/66.31	o 2891
65.25/66.32	o 2890
65.25/66.34	o 2889
65.25/66.36	o 2888
65.25/66.38	o 2887
65.25/66.39	o 2886
65.35/66.41	o 2885
65.35/66.43	o 2884
65.35/66.45	o 2883
65.35/66.47	o 2882
65.35/66.49	o 2881
65.44/66.50	o 2880
65.44/66.52	o 2879
65.44/66.54	o 2878
65.44/66.56	o 2877
65.44/66.57	o 2876
65.44/66.59	o 2875
65.54/66.61	o 2874
65.54/66.62	o 2873
65.54/66.64	o 2872
65.54/66.66	o 2871
65.54/66.68	o 2870
65.54/66.69	o 2869
65.64/66.71	o 2868
65.64/66.73	o 2867
65.64/66.75	o 2866
65.64/66.76	o 2865
65.64/66.78	o 2864
65.64/66.80	o 2863
65.74/66.81	o 2862
65.74/66.83	o 2861
65.74/66.85	o 2860
65.74/66.87	o 2859
65.74/66.88	o 2858
65.84/66.90	o 2857
65.84/66.92	o 2856
65.84/66.93	o 2855
65.84/66.95	o 2854
65.84/66.97	o 2853
65.84/66.99	o 2852
65.94/67.01	o 2851
65.94/67.03	o 2850
65.94/67.04	o 2849
65.94/67.06	o 2848
65.94/67.08	o 2847
65.94/67.09	o 2846
66.04/67.11	o 2845
66.04/67.13	o 2844
66.04/67.15	o 2843
66.04/67.16	o 2842
66.04/67.18	o 2841
66.04/67.20	o 2840
66.13/67.21	o 2839
66.13/67.23	o 2838
66.13/67.25	o 2837
66.13/67.27	o 2836
66.13/67.28	o 2835
66.23/67.30	o 2834
66.23/67.32	o 2833
66.23/67.33	o 2832
66.23/67.35	o 2831
66.23/67.37	o 2830
66.23/67.38	o 2829
66.34/67.40	o 2828
66.34/67.42	o 2827
66.34/67.43	o 2826
66.34/67.45	o 2825
66.34/67.47	o 2824
66.34/67.48	o 2823
66.43/67.50	o 2822
66.43/67.52	o 2821
66.43/67.54	o 2820
66.43/67.56	o 2819
66.43/67.57	o 2818
66.43/67.59	o 2817
66.53/67.61	o 2816
66.53/67.62	o 2815
66.53/67.64	o 2814
66.53/67.66	o 2813
66.53/67.67	o 2812
66.53/67.69	o 2811
66.63/67.71	o 2810
66.63/67.72	o 2809
66.63/67.74	o 2808
66.63/67.76	o 2807
66.63/67.77	o 2806
66.63/67.79	o 2805
66.73/67.81	o 2804
66.73/67.82	o 2803
66.73/67.84	o 2802
66.73/67.86	o 2801
66.73/67.87	o 2800
66.73/67.89	o 2799
66.82/67.91	o 2798
66.82/67.92	o 2797
66.82/67.94	o 2796
66.82/67.96	o 2795
66.82/67.97	o 2794
66.82/67.99	o 2793
66.92/68.01	o 2792
66.92/68.02	o 2791
66.92/68.04	o 2790
66.92/68.05	o 2789
66.92/68.07	o 2788
66.92/68.09	o 2787
67.02/68.11	o 2786
67.02/68.13	o 2785
67.02/68.14	o 2784
67.02/68.16	o 2783
67.02/68.17	o 2782
67.02/68.19	o 2781
67.12/68.21	o 2780
67.12/68.22	o 2779
67.12/68.24	o 2778
67.12/68.26	o 2777
67.12/68.27	o 2776
67.12/68.29	o 2775
67.21/68.31	o 2774
67.21/68.32	o 2773
67.21/68.34	o 2772
67.21/68.36	o 2771
67.21/68.37	o 2770
67.21/68.39	o 2769
67.31/68.40	o 2768
67.31/68.42	o 2767
67.31/68.44	o 2766
67.31/68.45	o 2765
67.31/68.47	o 2764
67.31/68.48	o 2763
67.42/68.50	o 2762
67.42/68.52	o 2761
67.42/68.53	o 2760
67.42/68.55	o 2759
67.42/68.57	o 2758
67.42/68.58	o 2757
67.52/68.60	o 2756
67.52/68.62	o 2755
67.52/68.64	o 2754
67.52/68.65	o 2753
67.52/68.67	o 2752
67.52/68.68	o 2751
67.62/68.70	o 2750
67.62/68.72	o 2749
67.62/68.73	o 2748
67.62/68.75	o 2747
67.62/68.77	o 2746
67.62/68.78	o 2745
67.71/68.80	o 2744
67.71/68.82	o 2743
67.71/68.83	o 2742
67.71/68.85	o 2741
67.71/68.86	o 2740
67.71/68.88	o 2739
67.71/68.89	o 2738
67.81/68.91	o 2737
67.81/68.93	o 2736
67.81/68.94	o 2735
67.81/68.96	o 2734
67.81/68.98	o 2733
67.81/68.99	o 2732
67.91/69.01	o 2731
67.91/69.03	o 2730
67.91/69.04	o 2729
67.91/69.06	o 2728
67.91/69.07	o 2727
67.91/69.09	o 2726
68.01/69.10	o 2725
68.01/69.12	o 2724
68.01/69.14	o 2723
68.01/69.15	o 2722
68.01/69.17	o 2721
68.01/69.18	o 2720
68.11/69.21	o 2719
68.11/69.22	o 2718
68.11/69.24	o 2717
68.11/69.25	o 2716
68.11/69.27	o 2715
68.11/69.29	o 2714
68.11/69.30	o 2713
68.21/69.32	o 2712
68.21/69.33	o 2711
68.21/69.35	o 2710
68.21/69.37	o 2709
68.21/69.38	o 2708
68.21/69.40	o 2707
68.30/69.41	o 2706
68.30/69.43	o 2705
68.30/69.44	o 2704
68.30/69.46	o 2703
68.30/69.48	o 2702
68.30/69.49	o 2701
68.41/69.51	o 2700
68.41/69.52	o 2699
68.41/69.54	o 2698
68.41/69.56	o 2697
68.41/69.57	o 2696
68.41/69.59	o 2695
68.51/69.60	o 2694
68.51/69.62	o 2693
68.51/69.63	o 2692
68.51/69.65	o 2691
68.51/69.67	o 2690
68.51/69.68	o 2689
68.51/69.70	o 2688
68.60/69.72	o 2687
68.60/69.73	o 2686
68.60/69.75	o 2685
68.60/69.77	o 2684
68.60/69.78	o 2683
68.60/69.80	o 2682
68.69/69.81	o 2681
68.69/69.83	o 2680
68.69/69.84	o 2679
68.69/69.86	o 2678
68.69/69.87	o 2677
68.69/69.89	o 2676
68.79/69.91	o 2675
68.79/69.92	o 2674
68.79/69.94	o 2673
68.79/69.95	o 2672
68.79/69.97	o 2671
68.79/69.98	o 2670
68.89/70.00	o 2669
68.89/70.02	o 2668
68.89/70.03	o 2667
68.89/70.05	o 2666
68.89/70.06	o 2665
68.89/70.08	o 2664
68.89/70.09	o 2663
68.99/70.11	o 2662
68.99/70.13	o 2661
68.99/70.14	o 2660
68.99/70.16	o 2659
68.99/70.17	o 2658
68.99/70.19	o 2657
69.09/70.20	o 2656
69.09/70.22	o 2655
69.09/70.24	o 2654
69.09/70.25	o 2653
69.09/70.27	o 2652
69.09/70.28	o 2651
69.09/70.30	o 2650
69.19/70.32	o 2649
69.19/70.33	o 2648
69.19/70.35	o 2647
69.19/70.36	o 2646
69.19/70.38	o 2645
69.19/70.39	o 2644
69.29/70.41	o 2643
69.29/70.43	o 2642
69.29/70.44	o 2641
69.29/70.46	o 2640
69.29/70.47	o 2639
69.29/70.49	o 2638
69.38/70.50	o 2637
69.38/70.52	o 2636
69.38/70.53	o 2635
69.38/70.55	o 2634
69.38/70.56	o 2633
69.38/70.58	o 2632
69.38/70.60	o 2631
69.48/70.61	o 2630
69.48/70.63	o 2629
69.48/70.64	o 2628
69.48/70.66	o 2627
69.48/70.67	o 2626
69.48/70.69	o 2625
69.58/70.70	o 2624
69.58/70.72	o 2623
69.58/70.73	o 2622
69.58/70.75	o 2621
69.58/70.76	o 2620
69.58/70.78	o 2619
69.58/70.79	o 2618
69.68/70.81	o 2617
69.68/70.83	o 2616
69.68/70.85	o 2615
69.68/70.86	o 2614
69.68/70.88	o 2613
69.68/70.89	o 2612
69.77/70.91	o 2611
69.77/70.92	o 2610
69.77/70.94	o 2609
69.77/70.95	o 2608
69.77/70.97	o 2607
69.77/70.98	o 2606
69.87/71.00	o 2605
69.87/71.02	o 2604
69.87/71.03	o 2603
69.87/71.05	o 2602
69.87/71.06	o 2601
69.87/71.08	o 2600
69.87/71.09	o 2599
69.97/71.11	o 2598
69.97/71.12	o 2597
69.97/71.14	o 2596
69.97/71.15	o 2595
69.97/71.17	o 2594
69.97/71.18	o 2593
70.07/71.20	o 2592
70.07/71.21	o 2591
70.07/71.23	o 2590
70.07/71.25	o 2589
70.07/71.26	o 2588
70.07/71.28	o 2587
70.07/71.29	o 2586
70.18/71.31	o 2585
70.18/71.32	o 2584
70.18/71.34	o 2583
70.18/71.35	o 2582
70.18/71.37	o 2581
70.18/71.38	o 2580
70.18/71.40	o 2579
70.28/71.42	o 2578
70.28/71.43	o 2577
70.28/71.45	o 2576
70.28/71.46	o 2575
70.28/71.48	o 2574
70.28/71.49	o 2573
70.37/71.51	o 2572
70.37/71.52	o 2571
70.37/71.54	o 2570
70.37/71.55	o 2569
70.37/71.57	o 2568
70.37/71.58	o 2567
70.37/71.60	o 2566
70.47/71.61	o 2565
70.47/71.63	o 2564
70.47/71.64	o 2563
70.47/71.66	o 2562
70.47/71.67	o 2561
70.47/71.69	o 2560
70.57/71.71	o 2559
70.57/71.72	o 2558
70.57/71.74	o 2557
70.57/71.75	o 2556
70.57/71.77	o 2555
70.57/71.78	o 2554
70.57/71.80	o 2553
70.67/71.81	o 2552
70.67/71.83	o 2551
70.67/71.84	o 2550
70.67/71.86	o 2549
70.67/71.87	o 2548
70.67/71.89	o 2547
70.77/71.90	o 2546
70.77/71.92	o 2545
70.77/71.94	o 2544
70.77/71.95	o 2543
70.77/71.97	o 2542
70.77/71.98	o 2541
70.77/72.00	o 2540
70.86/72.01	o 2539
70.86/72.03	o 2538
70.86/72.04	o 2537
70.86/72.05	o 2536
70.86/72.07	o 2535
70.86/72.08	o 2534
70.96/72.10	o 2533
70.96/72.11	o 2532
70.96/72.13	o 2531
70.96/72.14	o 2530
70.96/72.16	o 2529
70.96/72.17	o 2528
70.96/72.19	o 2527
71.06/72.20	o 2526
71.06/72.22	o 2525
71.06/72.23	o 2524
71.06/72.25	o 2523
71.06/72.26	o 2522
71.06/72.28	o 2521
71.06/72.29	o 2520
71.16/72.31	o 2519
71.16/72.32	o 2518
71.16/72.34	o 2517
71.16/72.35	o 2516
71.16/72.37	o 2515
71.16/72.38	o 2514
71.16/72.39	o 2513
71.25/72.41	o 2512
71.25/72.43	o 2511
71.25/72.44	o 2510
71.25/72.45	o 2509
71.25/72.47	o 2508
71.25/72.48	o 2507
71.35/72.50	o 2506
71.35/72.52	o 2505
71.35/72.53	o 2504
71.35/72.55	o 2503
71.35/72.56	o 2502
71.35/72.58	o 2501
71.35/72.59	o 2500
71.45/72.61	o 2499
71.45/72.62	o 2498
71.45/72.64	o 2497
71.45/72.65	o 2496
71.45/72.67	o 2495
71.45/72.68	o 2494
71.45/72.70	o 2493
71.55/72.71	o 2492
71.55/72.73	o 2491
71.55/72.74	o 2490
71.55/72.76	o 2489
71.55/72.77	o 2488
71.55/72.78	o 2487
71.64/72.80	o 2486
71.64/72.81	o 2485
71.64/72.83	o 2484
71.64/72.84	o 2483
71.64/72.86	o 2482
71.64/72.87	o 2481
71.64/72.88	o 2480
71.74/72.90	o 2479
71.74/72.92	o 2478
71.74/72.93	o 2477
71.74/72.95	o 2476
71.74/72.96	o 2475
71.74/72.97	o 2474
71.74/72.99	o 2473
71.85/73.00	o 2472
71.85/73.02	o 2471
71.85/73.04	o 2470
71.85/73.05	o 2469
71.85/73.07	o 2468
71.85/73.08	o 2467
71.85/73.09	o 2466
71.94/73.11	o 2465
71.94/73.12	o 2464
71.94/73.14	o 2463
71.94/73.15	o 2462
71.94/73.17	o 2461
71.94/73.18	o 2460
72.04/73.20	o 2459
72.04/73.21	o 2458
72.04/73.23	o 2457
72.04/73.24	o 2456
72.04/73.25	o 2455
72.04/73.27	o 2454
72.04/73.28	o 2453
72.04/73.30	o 2452
72.14/73.31	o 2451
72.14/73.32	o 2450
72.14/73.34	o 2449
72.14/73.35	o 2448
72.14/73.37	o 2447
72.14/73.38	o 2446
72.14/73.40	o 2445
72.24/73.41	o 2444
72.24/73.42	o 2443
72.24/73.44	o 2442
72.24/73.45	o 2441
72.24/73.47	o 2440
72.24/73.48	o 2439
72.24/73.49	o 2438
72.34/73.51	o 2437
72.34/73.52	o 2436
72.34/73.54	o 2435
72.34/73.55	o 2434
72.34/73.57	o 2433
72.34/73.58	o 2432
72.34/73.59	o 2431
72.44/73.61	o 2430
72.44/73.63	o 2429
72.44/73.64	o 2428
72.44/73.66	o 2427
72.44/73.67	o 2426
72.44/73.68	o 2425
72.44/73.70	o 2424
72.54/73.71	o 2423
72.54/73.73	o 2422
72.54/73.74	o 2421
72.54/73.76	o 2420
72.54/73.77	o 2419
72.54/73.79	o 2418
72.64/73.80	o 2417
72.64/73.82	o 2416
72.64/73.83	o 2415
72.64/73.85	o 2414
72.64/73.86	o 2413
72.64/73.88	o 2412
72.64/73.89	o 2411
72.74/73.91	o 2410
72.74/73.92	o 2409
72.74/73.94	o 2408
72.74/73.95	o 2407
72.74/73.97	o 2406
72.74/73.98	o 2405
72.74/74.00	o 2404
72.83/74.01	o 2403
72.83/74.03	o 2402
72.83/74.04	o 2401
72.83/74.05	o 2400
72.83/74.07	o 2399
72.83/74.08	o 2398
72.93/74.10	o 2397
72.93/74.12	o 2396
72.93/74.14	o 2395
72.93/74.15	o 2394
72.93/74.17	o 2393
72.93/74.18	o 2392
72.93/74.20	o 2391
73.03/74.21	o 2390
73.03/74.22	o 2389
73.03/74.24	o 2388
73.03/74.25	o 2387
73.03/74.27	o 2386
73.03/74.28	o 2385
73.03/74.30	o 2384
73.13/74.31	o 2383
73.13/74.33	o 2382
73.13/74.34	o 2381
73.13/74.35	o 2380
73.13/74.37	o 2379
73.13/74.38	o 2378
73.23/74.40	o 2377
73.23/74.42	o 2376
73.23/74.43	o 2375
73.23/74.44	o 2374
73.23/74.46	o 2373
73.23/74.47	o 2372
73.23/74.49	o 2371
73.33/74.50	o 2370
73.33/74.52	o 2369
73.33/74.54	o 2368
73.33/74.55	o 2367
73.33/74.56	o 2366
73.33/74.58	o 2365
73.33/74.60	o 2364
73.42/74.61	o 2363
73.42/74.63	o 2362
73.42/74.64	o 2361
73.42/74.65	o 2360
73.42/74.67	o 2359
73.42/74.68	o 2358
73.42/74.69	o 2357
73.52/74.72	o 2356
73.52/74.74	o 2355
73.52/74.75	o 2354
73.52/74.77	o 2353
73.52/74.78	o 2352
73.52/74.80	o 2351
73.62/74.82	o 2350
73.62/74.89	o 2349
74.12/75.38	o 2348
74.42/75.66	o 2347
74.52/75.72	o 2346
74.72/76.00	o 2345
74.81/76.01	o 2344
74.81/76.07	o 2343
75.01/76.26	o 2342
75.30/76.57	o 2341
75.41/76.60	o 2340
75.41/76.63	o 2339
75.41/76.64	o 2338
75.71/76.93	o 2337
75.71/76.96	o 2336
75.71/76.99	o 2335
75.80/77.03	o 2334
75.90/77.10	o 2333
75.90/77.17	o 2332
76.19/77.43	o 2331
76.49/77.79	o 2330
76.79/78.04	o 2329
76.89/78.18	o 2328
76.99/78.21	o 2327
77.09/78.32	o 2326
77.18/78.40	o 2325
77.28/78.57	o 2324
77.38/78.65	o 2323
77.38/78.67	o 2322
77.68/78.94	o 2321
78.27/79.53	o 2320
78.67/79.99	o 2319
79.06/80.34	o 2318
79.16/80.43	o 2317
79.26/80.52	o 2316
79.56/80.89	o 2315
79.76/81.00	o 2314
79.76/81.04	o 2313
79.95/81.23	o 2312
80.15/81.50	o 2311
80.75/82.01	o 2310
80.84/82.12	o 2309
80.94/82.26	o 2308
81.04/82.31	o 2307
81.04/82.36	o 2306
81.24/82.51	o 2305
81.24/82.53	o 2304
81.43/82.79	o 2303
81.54/82.86	o 2302
81.83/83.11	o 2301
81.83/83.12	o 2300
82.03/83.35	o 2299
82.03/83.36	o 2298
82.03/83.37	o 2297
82.42/83.78	o 2296
82.42/83.79	o 2295
82.62/83.92	o 2294
82.72/84.03	o 2293
82.72/84.05	o 2292
82.72/84.09	o 2291
82.82/84.19	o 2290
83.81/85.14	o 2289
83.91/85.27	o 2288
84.12/85.44	o 2287
84.22/85.55	o 2286
84.41/85.78	o 2285
84.51/85.83	o 2284
94.61/96.02	o 2283
94.61/96.03	o 2282
94.61/96.04	o 2281
94.61/96.05	o 2280
94.61/96.06	o 2279
94.61/96.07	o 2278
94.61/96.08	o 2276
94.61/96.10	o 2274
94.71/96.14	o 2273
94.71/96.16	o 2272
94.71/96.17	o 2270
94.71/96.18	o 2269
94.71/96.19	o 2268
94.81/96.20	o 2265
94.81/96.22	o 2264
94.81/96.23	o 2262
94.81/96.25	o 2261
94.81/96.26	o 2259
94.81/96.28	o 2254
94.81/96.29	o 2252
94.91/96.31	o 2251
94.91/96.31	o 2245
94.91/96.34	o 2244
94.91/96.37	o 2242
94.91/96.39	o 2240
94.91/96.40	o 2239
95.01/96.41	o 2237
95.01/96.44	o 2236
95.01/96.46	o 2235
95.01/96.46	o 2234
95.01/96.48	o 2233
95.01/96.48	o 2232
95.01/96.49	o 2231
95.10/96.52	o 2230
95.10/96.54	o 2229
95.10/96.55	o 2228
95.10/96.57	o 2227
95.10/96.57	o 2226
95.10/96.59	o 2224
95.20/96.61	o 2222
95.20/96.62	o 2221
95.20/96.63	o 2220
95.20/96.64	o 2219
95.20/96.65	o 2218
95.20/96.67	o 2215
95.20/96.68	o 2214
95.30/96.71	o 2213
95.30/96.74	o 2212
95.30/96.75	o 2211
95.30/96.76	o 2210
95.30/96.76	o 2209
95.30/96.77	o 2208
95.30/96.78	o 2206
95.30/96.79	o 2205
95.30/96.80	o 2204
95.40/96.81	o 2202
95.40/96.84	o 2200
95.40/96.85	o 2198
95.40/96.86	o 2197
95.40/96.86	o 2196
95.40/96.88	o 2194
95.40/96.90	o 2192
95.49/96.91	o 2189
95.49/96.92	o 2188
95.49/96.93	o 2186
95.49/96.94	o 2184
95.49/96.95	o 2183
95.49/96.96	o 2180
95.49/96.97	o 2178
95.49/96.98	o 2177
95.49/96.99	o 2176
95.49/97.00	o 2175
95.60/97.01	o 2174
95.60/97.02	o 2172
95.60/97.03	o 2171
95.60/97.04	o 2169
95.60/97.04	o 2167
95.60/97.05	o 2165
95.60/97.06	o 2164
95.60/97.07	o 2163
95.60/97.10	o 2161
95.69/97.11	o 2159
95.69/97.11	o 2158
95.69/97.12	o 2157
95.69/97.13	o 2155
95.69/97.15	o 2153
95.69/97.16	o 2152
95.69/97.17	o 2150
95.69/97.18	o 2148
95.69/97.19	o 2147
95.79/97.20	o 2145
95.79/97.21	o 2143
95.79/97.22	o 2141
95.79/97.23	o 2139
95.79/97.24	o 2137
95.79/97.25	o 2135
95.79/97.26	o 2134
95.79/97.27	o 2133
95.79/97.27	o 2130
95.79/97.29	o 2128
95.88/97.32	o 2127
95.88/97.33	o 2126
95.88/97.34	o 2125
95.88/97.35	o 2123
95.88/97.36	o 2121
95.88/97.37	o 2120
95.88/97.37	o 2118
95.88/97.38	o 2117
95.88/97.39	o 2115
95.98/97.40	o 2113
95.98/97.41	o 2111
95.98/97.42	o 2107
95.98/97.42	o 2105
95.98/97.44	o 2101
95.98/97.45	o 2099
95.98/97.48	o 2097
95.98/97.50	o 2096
96.08/97.51	o 2094
96.08/97.53	o 2092
96.08/97.54	o 2090
96.08/97.55	o 2088
96.08/97.58	o 2087
96.08/97.59	o 2085
96.18/97.60	o 2084
96.18/97.61	o 2083
96.18/97.62	o 2082
96.18/97.63	o 2081
96.18/97.64	o 2080
96.18/97.65	o 2078
96.18/97.67	o 2077
96.18/97.67	o 2075
96.18/97.68	o 2074
96.18/97.69	o 2073
96.28/97.70	o 2070
96.28/97.72	o 2069
96.28/97.73	o 2068
96.28/97.74	o 2067
96.28/97.75	o 2065
96.28/97.76	o 2064
96.28/97.78	o 2063
96.28/97.78	o 2062
96.28/97.79	o 2061
96.38/97.81	o 2059
96.38/97.82	o 2057
96.38/97.83	o 2056
96.38/97.84	o 2054
96.38/97.85	o 2053
96.38/97.86	o 2052
96.38/97.87	o 2051
96.38/97.89	o 2050
96.48/97.91	o 2044
96.48/97.92	o 2043
96.48/97.93	o 2042
96.48/97.96	o 2041
96.48/97.97	o 2040
96.48/97.97	o 2037
96.48/97.98	o 2035
96.57/98.00	o 2034
96.57/98.02	o 2032
96.57/98.03	o 2031
96.57/98.05	o 2030
96.57/98.05	o 2027
96.57/98.07	o 2025
96.57/98.08	o 2024
96.68/98.10	o 2023
96.68/98.11	o 2021
96.68/98.13	o 2020
96.68/98.14	o 2019
96.68/98.15	o 2017
96.68/98.16	o 2016
96.68/98.17	o 2015
96.68/98.18	o 2014
96.68/98.18	o 2013
96.68/98.19	o 2012
96.78/98.21	o 2011
96.78/98.22	o 2010
96.78/98.23	o 2009
96.78/98.24	o 2008
96.78/98.25	o 2006
96.78/98.26	o 2005
96.78/98.27	o 2004
96.78/98.28	o 2002
96.87/98.30	o 2000
96.87/98.32	o 1998
96.87/98.34	o 1997
96.87/98.35	o 1996
96.87/98.36	o 1995
96.87/98.37	o 1993
96.87/98.38	o 1992
96.87/98.39	o 1990
96.97/98.40	o 1989
96.97/98.41	o 1988
96.97/98.41	o 1987
96.97/98.43	o 1986
96.97/98.44	o 1985
96.97/98.45	o 1984
96.97/98.46	o 1983
96.97/98.47	o 1981
96.97/98.48	o 1980
96.97/98.49	o 1979
97.07/98.50	o 1978
97.07/98.51	o 1975
97.07/98.53	o 1974
97.07/98.55	o 1972
97.07/98.56	o 1971
97.07/98.58	o 1970
97.07/98.59	o 1969
97.16/98.60	o 1968
97.16/98.61	o 1967
97.16/98.61	o 1965
97.16/98.62	o 1961
97.16/98.64	o 1960
97.16/98.65	o 1959
97.16/98.65	o 1958
97.16/98.66	o 1957
97.16/98.67	o 1956
97.16/98.68	o 1955
97.16/98.69	o 1949
97.27/98.70	o 1948
97.27/98.71	o 1947
97.27/98.72	o 1945
97.27/98.73	o 1943
97.27/98.75	o 1942
97.27/98.76	o 1941
97.27/98.77	o 1939
97.27/98.78	o 1937
97.27/98.80	o 1936
97.37/98.82	o 1935
97.37/98.83	o 1934
97.37/98.84	o 1932
97.37/98.85	o 1930
97.37/98.86	o 1929
97.37/98.87	o 1928
97.46/98.97	o 1927
97.46/98.98	o 1922
97.56/99.01	o 1921
97.56/99.02	o 1920
97.56/99.04	o 1919
97.56/99.07	o 1917
97.56/99.07	o 1914
97.56/99.08	o 1913
97.56/99.09	o 1911
97.65/99.10	o 1910
97.65/99.11	o 1906
97.65/99.13	o 1905
97.65/99.16	o 1904
97.65/99.19	o 1902
97.65/99.19	o 1901
97.75/99.22	o 1899
97.75/99.23	o 1898
97.75/99.26	o 1897
97.75/99.27	o 1896
97.86/99.33	o 1895
97.86/99.34	o 1892
97.86/99.34	o 1891
97.86/99.38	o 1890
97.86/99.39	o 1889
97.96/99.40	o 1888
97.96/99.42	o 1887
97.96/99.43	o 1886
97.96/99.45	o 1885
97.96/99.48	o 1884
97.96/99.49	o 1883
98.05/99.50	o 1882
98.05/99.51	o 1881
98.05/99.53	o 1880
98.05/99.54	o 1879
98.05/99.55	o 1878
98.05/99.56	o 1873
98.05/99.57	o 1872
98.05/99.60	o 1867
98.15/99.60	o 1862
98.15/99.61	o 1861
98.15/99.62	o 1860
98.15/99.63	o 1859
98.15/99.64	o 1858
98.15/99.65	o 1857
98.15/99.66	o 1854
98.15/99.69	o 1853
98.25/99.71	o 1852
98.25/99.74	o 1851
98.25/99.76	o 1850
98.35/99.82	o 1849
98.35/99.84	o 1848
98.46/99.90	o 1847
98.46/99.92	o 1846
98.46/99.93	o 1844
98.46/99.94	o 1843
98.46/99.97	o 1842
98.46/99.98	o 1841
98.46/99.99	o 1840
98.55/100.02	o 1839
98.55/100.03	o 1837
98.55/100.04	o 1836
98.55/100.05	o 1835
98.55/100.07	o 1834
98.55/100.07	o 1831
98.55/100.09	o 1830
98.55/100.10	o 1828
98.65/100.11	o 1827
98.65/100.12	o 1826
98.65/100.13	o 1825
98.65/100.15	o 1822
98.65/100.16	o 1821
98.65/100.17	o 1820
98.65/100.17	o 1819
98.65/100.20	o 1818
98.75/100.22	o 1817
98.75/100.22	o 1816
98.75/100.25	o 1815
98.75/100.27	o 1814
98.75/100.28	o 1813
98.75/100.29	o 1812
98.85/100.30	o 1811
98.85/100.33	o 1810
98.85/100.34	o 1809
98.85/100.35	o 1808
98.85/100.37	o 1807
98.94/100.46	o 1806
99.04/100.52	o 1804
99.04/100.53	o 1803
99.04/100.54	o 1802
99.04/100.58	o 1801
99.04/100.59	o 1800
99.13/100.61	o 1799
99.13/100.62	o 1797
99.13/100.65	o 1796
99.13/100.66	o 1795
99.13/100.68	o 1794
99.23/100.73	o 1790
99.23/100.75	o 1789
99.23/100.76	o 1788
99.23/100.77	o 1787
99.23/100.79	o 1786
99.34/100.80	o 1785
99.34/100.82	o 1783
99.34/100.82	o 1782
99.34/100.83	o 1781
99.34/100.84	o 1780
99.34/100.86	o 1779
99.34/100.87	o 1777
99.34/100.88	o 1776
99.34/100.90	o 1775
99.44/100.93	o 1773
99.44/100.94	o 1772
99.44/100.96	o 1771
99.44/100.96	o 1770
99.44/100.98	o 1769
100.04/101.59	o 1768
100.13/101.61	o 1767
100.13/101.62	o 1766
100.13/101.63	o 1765
100.13/101.64	o 1764
100.13/101.65	o 1763
100.13/101.66	o 1762
100.13/101.67	o 1761
100.23/101.71	o 1760
100.23/101.79	o 1759
100.33/101.81	o 1758
100.33/101.83	o 1757
100.42/101.91	o 1756
102.01/103.52	o 1755
102.11/103.61	o 1754
102.11/103.63	o 1753
102.21/103.78	o 1752
102.21/103.79	o 1751
102.30/103.82	o 1750
102.30/103.83	o 1749
102.30/103.83	o 1748
102.30/103.85	o 1747
102.40/103.92	o 1746
102.40/103.95	o 1745
102.50/104.05	o 1744
102.50/104.07	o 1743
102.50/104.09	o 1742
102.60/104.10	o 1741
102.60/104.12	o 1740
102.60/104.17	o 1739
102.60/104.18	o 1738
102.60/104.18	o 1737
102.70/104.22	o 1736
102.70/104.23	o 1735
102.70/104.24	o 1734
102.70/104.24	o 1733
102.70/104.26	o 1732
102.70/104.28	o 1731
102.70/104.29	o 1730
102.80/104.35	o 1729
102.80/104.36	o 1728
102.80/104.37	o 1727
102.90/104.44	o 1726
102.90/104.45	o 1725
102.90/104.50	o 1724
103.00/104.51	o 1723
103.00/104.52	o 1722
103.00/104.53	o 1721
103.00/104.54	o 1720
103.00/104.55	o 1719
103.00/104.57	o 1718
103.00/104.58	o 1717
103.00/104.59	o 1716
103.10/104.61	o 1715
103.10/104.63	o 1714
103.10/104.67	o 1713
103.10/104.68	o 1712
103.10/104.69	o 1711
103.19/104.73	o 1710
103.19/104.76	o 1709
103.19/104.77	o 1708
103.29/104.81	o 1707
103.29/104.86	o 1706
103.29/104.87	o 1705
103.29/104.89	o 1704
103.29/104.89	o 1703
103.39/104.90	o 1702
103.39/104.92	o 1701
103.39/104.96	o 1700
103.39/104.98	o 1699
103.69/105.20	   
103.69/105.20	   search
103.69/105.20	     run=0  nbConstraintChecks=50446122  nbAssignments=10000
103.69/105.20	       =>  wckTime=95.743  cpuTime=94.29  mem=267M833
103.79/105.36	o 1697
103.79/105.38	o 1696
103.79/105.39	o 1695
103.89/105.40	o 1694
103.99/105.50	o 1693
103.99/105.51	o 1692
103.99/105.53	o 1691
103.99/105.54	o 1690
103.99/105.55	o 1689
103.99/105.56	o 1688
103.99/105.56	o 1687
103.99/105.58	o 1686
104.09/105.60	o 1685
104.09/105.63	o 1684
104.09/105.64	o 1683
104.09/105.69	o 1681
104.09/105.70	o 1680
104.18/105.70	o 1679
104.18/105.75	o 1678
104.18/105.76	o 1677
104.18/105.77	o 1676
104.28/105.85	o 1675
104.38/105.91	o 1674
104.38/105.92	o 1673
104.38/105.94	o 1672
104.38/105.96	o 1671
104.68/106.23	o 1670
104.68/106.26	o 1669
104.68/106.26	o 1668
104.68/106.27	o 1667
104.68/106.28	o 1666
104.68/106.29	o 1663
104.77/106.31	o 1662
104.77/106.33	o 1661
104.77/106.34	o 1660
104.77/106.35	o 1659
104.77/106.39	o 1658
104.88/106.41	o 1657
104.88/106.42	o 1656
104.88/106.44	o 1655
104.88/106.44	o 1654
104.88/106.46	o 1653
104.88/106.49	o 1652
104.97/106.50	o 1651
104.97/106.52	o 1650
104.97/106.56	o 1649
105.07/106.63	o 1648
105.07/106.64	o 1647
105.07/106.65	o 1646
105.07/106.66	o 1645
105.07/106.67	o 1644
105.07/106.68	o 1643
105.17/106.72	o 1642
105.17/106.73	o 1641
105.17/106.74	o 1640
105.17/106.75	o 1639
105.17/106.76	o 1638
105.17/106.77	o 1636
105.17/106.78	o 1635
105.27/106.80	o 1634
105.37/106.90	o 1633
105.37/106.92	o 1631
105.37/106.92	o 1630
105.37/106.93	o 1629
105.37/106.95	o 1628
105.37/106.96	o 1627
105.46/107.01	o 1626
105.46/107.03	o 1625
105.46/107.05	o 1624
105.46/107.07	o 1623
105.46/107.08	o 1622
105.46/107.10	o 1621
105.57/107.11	o 1620
105.57/107.12	o 1617
105.57/107.13	o 1616
105.57/107.15	o 1615
105.57/107.16	o 1614
105.57/107.19	o 1613
105.67/107.20	o 1611
105.67/107.22	o 1610
105.67/107.25	o 1606
105.67/107.26	o 1604
105.67/107.27	o 1603
105.67/107.28	o 1602
105.67/107.29	o 1601
105.86/107.40	o 1600
105.86/107.43	o 1599
105.86/107.44	o 1598
105.86/107.48	o 1596
105.96/107.51	o 1595
105.96/107.52	o 1594
105.96/107.56	o 1593
105.96/107.57	o 1592
105.96/107.58	o 1590
105.96/107.60	o 1589
106.06/107.62	o 1588
106.06/107.64	o 1586
106.06/107.65	o 1585
106.06/107.67	o 1584
106.06/107.68	o 1583
106.06/107.69	o 1582
106.16/107.71	o 1581
106.16/107.72	o 1579
106.16/107.76	o 1578
106.16/107.77	o 1576
106.16/107.78	o 1575
106.16/107.79	o 1574
106.25/107.81	o 1573
106.25/107.85	o 1572
106.25/107.86	o 1570
106.25/107.87	o 1569
106.25/107.89	o 1568
106.36/107.90	o 1567
106.36/107.92	o 1566
106.36/107.93	o 1565
106.36/107.94	o 1564
106.36/107.95	o 1563
106.45/108.01	o 1560
106.45/108.03	o 1559
106.45/108.04	o 1558
106.45/108.04	o 1557
106.45/108.05	o 1556
106.45/108.07	o 1555
106.55/108.20	o 1554
106.65/108.23	o 1552
106.65/108.24	o 1551
106.65/108.28	o 1550
106.65/108.29	o 1549
106.74/108.31	o 1548
106.74/108.34	o 1547
106.74/108.35	o 1546
106.74/108.38	o 1545
106.74/108.40	o 1543
106.84/108.42	o 1542
106.84/108.46	o 1541
106.84/108.47	o 1540
106.95/108.55	o 1538
106.95/108.56	o 1537
107.05/108.62	o 1536
107.05/108.66	o 1535
107.05/108.67	o 1534
107.05/108.69	o 1533
107.14/108.70	o 1532
107.14/108.73	o 1531
107.14/108.75	o 1530
107.14/108.76	o 1529
107.24/108.83	o 1528
107.24/108.86	o 1526
107.24/108.87	o 1525
107.24/108.89	o 1524
107.24/108.89	o 1522
107.34/108.93	o 1521
107.34/108.94	o 1520
107.34/108.96	o 1519
107.34/108.97	o 1518
107.44/109.05	o 1517
107.44/109.06	o 1515
107.44/109.07	o 1514
107.44/109.08	o 1511
107.64/109.22	o 1509
107.64/109.24	o 1508
107.64/109.25	o 1507
107.64/109.28	o 1506
107.64/109.29	o 1505
107.74/109.31	o 1504
107.74/109.32	o 1503
108.13/109.74	o 1502
108.13/109.76	o 1499
108.24/109.80	o 1498
108.24/109.81	o 1497
108.24/109.83	o 1496
108.24/109.84	o 1495
108.24/109.85	o 1494
108.24/109.86	o 1493
108.24/109.87	o 1492
108.72/110.32	o 1491
109.22/110.87	o 1490
109.22/110.89	o 1489
109.32/110.90	o 1488
109.32/110.92	o 1487
109.32/110.93	o 1486
109.32/110.94	o 1485
109.32/110.95	o 1484
109.32/110.98	o 1480
109.42/111.02	o 1479
109.42/111.03	o 1478
109.42/111.04	o 1477
109.42/111.05	o 1476
109.42/111.06	o 1475
109.42/111.07	o 1474
109.42/111.09	o 1473
109.52/111.14	o 1472
109.52/111.15	o 1470
109.52/111.16	o 1469
109.72/111.32	o 1468
109.72/111.33	o 1467
109.72/111.39	o 1466
109.82/111.40	o 1465
109.82/111.42	o 1464
109.82/111.46	o 1463
109.82/111.47	o 1462
109.82/111.49	o 1461
109.92/111.55	o 1460
109.92/111.56	o 1459
109.92/111.57	o 1458
109.92/111.58	o 1457
109.92/111.59	o 1454
110.01/111.61	o 1453
110.01/111.62	o 1445
110.01/111.63	o 1443
110.01/111.64	o 1442
110.01/111.65	o 1441
110.01/111.68	o 1440
110.01/111.69	o 1439
110.11/111.73	o 1438
110.11/111.76	o 1437
110.11/111.80	o 1436
110.21/111.81	o 1435
110.21/111.82	o 1434
110.21/111.82	o 1433
110.30/111.91	o 1431
110.30/111.95	o 1430
110.41/112.10	o 1429
110.61/112.21	o 1428
110.61/112.23	o 1426
110.61/112.24	o 1425
110.61/112.26	o 1424
111.99/113.67	o 1423
111.99/113.68	o 1422
112.09/113.79	o 1421
112.18/113.80	o 1417
112.18/113.83	o 1416
112.18/113.86	o 1415
112.28/113.91	o 1411
112.28/113.92	o 1410
112.28/113.99	o 1409
112.38/114.06	o 1408
112.38/114.08	o 1407
113.97/115.66	o 1406
113.97/115.67	o 1405
114.27/115.92	o 1398
114.37/116.07	o 1397
114.37/116.08	o 1396
114.47/116.12	o 1395
114.67/116.36	o 1394
114.67/116.37	o 1393
114.67/116.38	o 1392
114.67/116.40	o 1391
115.16/116.85	o 1390
115.16/116.86	o 1389
115.16/116.88	o 1388
115.37/117.04	o 1387
115.37/117.05	o 1386
115.37/117.09	o 1385
115.46/117.10	o 1384
115.46/117.11	o 1383
115.46/117.12	o 1382
115.46/117.13	o 1381
116.15/117.80	o 1378
116.15/117.83	o 1377
116.15/117.84	o 1376
116.25/117.94	o 1375
116.35/118.05	o 1374
116.35/118.06	o 1373
116.45/118.12	o 1372
116.45/118.15	o 1371
116.45/118.17	o 1370
116.45/118.19	o 1369
116.54/118.20	o 1368
116.65/118.36	o 1367
116.65/118.38	o 1366
116.65/118.39	o 1365
116.75/118.41	o 1364
116.75/118.44	o 1363
116.94/118.67	o 1362
116.94/118.68	o 1361
116.94/118.70	o 1360
117.04/118.71	o 1359
117.14/118.84	o 1358
117.14/118.86	o 1357
117.14/118.86	o 1356
117.14/118.87	o 1355
117.14/118.89	o 1354
117.24/118.90	o 1353
117.73/119.42	o 1352
117.73/119.44	o 1351
117.73/119.46	o 1350
117.93/119.65	o 1349
117.93/119.66	o 1348
118.03/119.79	o 1346
118.14/119.81	o 1344
118.14/119.83	o 1343
118.14/119.84	o 1342
118.14/119.85	o 1341
118.14/119.86	o 1339
118.14/119.89	o 1338
118.24/119.93	o 1337
118.24/119.95	o 1336
118.24/119.99	o 1335
118.33/120.00	o 1334
118.72/120.41	o 1333
118.72/120.48	o 1332
118.82/120.51	o 1330
118.82/120.54	o 1329
118.82/120.56	o 1328
118.82/120.59	o 1327
119.82/121.58	o 1326
119.91/121.61	o 1325
119.91/121.63	o 1323
119.91/121.69	o 1322
120.01/121.72	o 1320
120.01/121.75	o 1319
120.11/121.82	o 1316
120.11/121.83	o 1315
120.11/121.85	o 1314
120.61/122.34	o 1313
120.61/122.35	o 1312
120.61/122.38	o 1311
121.20/122.95	o 1310
121.20/122.96	o 1309
121.20/122.98	o 1307
121.20/122.99	o 1306
121.29/123.01	o 1305
121.29/123.05	o 1304
121.29/123.06	o 1303
121.29/123.08	o 1302
121.29/123.09	o 1301
121.39/123.11	o 1300
121.39/123.13	o 1299
121.50/123.23	o 1298
121.50/123.27	o 1297
121.59/123.31	o 1296
121.59/123.33	o 1294
121.59/123.36	o 1292
121.79/123.54	o 1291
121.79/123.55	o 1290
121.79/123.56	o 1289
121.79/123.57	o 1288
121.89/123.60	o 1287
121.89/123.66	o 1286
121.89/123.69	o 1285
121.99/123.70	o 1284
121.99/123.71	o 1283
121.99/123.73	o 1282
122.08/123.80	o 1281
122.08/123.83	o 1280
122.08/123.86	o 1279
122.08/123.88	o 1278
122.18/123.90	o 1276
122.28/124.02	o 1275
122.28/124.03	o 1274
122.28/124.06	o 1273
122.28/124.07	o 1272
122.38/124.14	o 1270
122.48/124.23	o 1268
122.48/124.26	o 1267
122.48/124.27	o 1266
122.58/124.30	o 1265
122.68/124.41	o 1264
122.68/124.43	o 1263
122.68/124.45	o 1261
122.78/124.59	o 1260
122.88/124.60	o 1259
124.86/126.62	o 1258
125.76/127.55	o 1257
125.76/127.58	o 1256
125.76/127.59	o 1255
125.86/127.63	o 1254
125.86/127.64	o 1253
125.86/127.67	o 1252
126.05/127.85	o 1251
126.44/128.28	o 1250
126.84/128.65	o 1249
126.94/128.75	o 1248
126.94/128.77	o 1247
127.13/128.91	o 1246
127.13/128.92	o 1245
127.53/129.34	o 1244
128.12/129.90	o 1242
128.42/130.26	o 1241
128.52/130.30	o 1240
128.52/130.34	o 1239
128.52/130.35	o 1238
128.62/130.46	o 1234
128.62/130.47	o 1233
128.72/130.51	o 1232
128.72/130.53	o 1231
128.72/130.54	o 1230
128.72/130.55	o 1229
128.72/130.56	o 1228
128.72/130.58	o 1227
128.81/130.63	o 1226
128.81/130.67	o 1224
128.81/130.68	o 1223
129.01/130.85	o 1220
129.01/130.88	o 1218
129.01/130.90	o 1216
129.31/131.17	o 1215
129.31/131.18	o 1214
129.31/131.19	o 1213
129.51/131.34	o 1212
129.60/131.45	o 1211
129.81/131.63	o 1210
129.81/131.64	o 1208
129.81/131.64	o 1207
129.91/131.70	o 1206
129.91/131.71	o 1205
129.91/131.79	o 1204
130.01/131.80	o 1203
130.01/131.81	o 1202
130.01/131.83	o 1201
130.20/132.03	o 1199
130.20/132.04	o 1198
130.20/132.05	o 1196
130.20/132.06	o 1195
130.30/132.11	o 1194
130.30/132.14	o 1193
130.30/132.16	o 1192
130.30/132.20	o 1191
130.40/132.22	o 1190
130.40/132.23	o 1189
130.40/132.24	o 1188
130.40/132.26	o 1186
130.40/132.29	o 1185
130.49/132.30	o 1184
130.49/132.39	o 1183
130.59/132.44	o 1182
130.99/132.82	o 1181
130.99/132.82	o 1180
130.99/132.84	o 1179
130.99/132.86	o 1178
131.10/132.96	o 1177
131.10/132.97	o 1176
131.29/133.14	o 1174
131.29/133.17	o 1172
132.18/134.09	o 1171
132.18/134.10	o 1170
132.28/134.20	o 1169
132.38/134.22	o 1168
132.48/134.30	o 1167
132.48/134.36	o 1166
132.48/134.37	o 1165
132.48/134.39	o 1164
132.58/134.42	o 1163
132.58/134.44	o 1162
132.67/134.53	o 1161
132.67/134.54	o 1160
132.67/134.56	o 1159
132.67/134.57	o 1157
132.67/134.58	o 1156
132.67/134.59	o 1154
132.77/134.63	o 1153
132.77/134.64	o 1152
132.77/134.68	o 1150
132.96/134.87	o 1149
133.16/135.00	o 1148
133.16/135.01	o 1146
133.16/135.06	o 1145
133.16/135.08	o 1144
133.36/135.27	o 1143
133.76/135.66	o 1142
133.86/135.70	o 1141
133.86/135.73	o 1140
133.86/135.74	o 1139
133.86/135.77	o 1137
133.86/135.78	o 1136
133.95/135.80	o 1135
133.95/135.83	o 1134
134.05/135.91	o 1133
134.05/135.92	o 1132
134.05/135.94	o 1131
134.16/136.04	o 1130
134.16/136.06	o 1129
134.36/136.30	o 1128
134.46/136.32	o 1127
134.46/136.35	o 1126
134.55/136.44	o 1125
134.55/136.45	o 1124
135.14/137.05	o 1122
135.25/137.12	o 1120
135.25/137.20	o 1119
135.34/137.26	o 1117
135.34/137.27	o 1116
135.34/137.27	o 1115
135.34/137.28	o 1113
135.44/137.33	o 1112
135.44/137.34	o 1110
135.44/137.34	o 1109
135.44/137.37	o 1107
135.54/137.41	o 1106
135.64/137.56	o 1105
135.74/137.60	o 1104
135.74/137.63	o 1103
135.74/137.65	o 1102
135.74/137.67	o 1101
135.74/137.68	o 1100
135.74/137.70	o 1099
135.84/137.78	o 1098
135.94/137.80	o 1097
135.94/137.82	o 1096
135.94/137.86	o 1095
135.94/137.87	o 1094
136.03/137.92	o 1093
136.03/137.95	o 1088
136.73/138.65	o 1087
136.92/138.80	o 1086
136.92/138.82	o 1085
137.02/139.00	o 1084
137.12/139.05	o 1083
137.41/139.37	o 1082
137.62/139.57	o 1081
137.62/139.58	o 1080
137.91/139.86	o 1078
137.91/139.87	o 1076
137.91/139.88	o 1075
138.50/140.42	o 1074
138.50/140.46	o 1073
139.50/141.44	o 1072
139.50/141.45	o 1069
139.59/141.52	o 1068
139.59/141.53	o 1067
139.59/141.55	o 1066
140.88/142.81	o 1065
140.88/142.82	o 1063
140.88/142.84	o 1062
140.88/142.86	o 1061
140.88/142.89	o 1060
140.98/142.91	o 1059
140.98/142.95	o 1058
140.98/142.96	o 1057
141.08/143.09	o 1056
141.17/143.10	o 1055
141.17/143.12	o 1053
141.17/143.15	o 1052
141.17/143.17	o 1051
141.17/143.18	o 1050
141.28/143.20	o 1049
141.28/143.22	o 1048
141.28/143.27	o 1043
141.38/143.32	o 1042
141.38/143.34	o 1041
141.48/143.46	o 1040
141.57/143.50	o 1039
141.57/143.51	o 1038
141.57/143.53	o 1037
141.57/143.55	o 1036
141.57/143.57	o 1035
141.67/143.68	o 1034
141.67/143.70	o 1033
141.77/143.75	o 1032
141.87/143.85	o 1031
142.17/144.15	o 1030
142.17/144.18	o 1029
142.26/144.21	o 1028
142.26/144.28	o 1026
142.36/144.31	o 1025
142.36/144.32	o 1024
142.47/144.48	o 1023
142.57/144.58	o 1022
142.57/144.59	o 1021
142.66/144.62	o 1020
142.66/144.64	o 1019
142.66/144.66	o 1018
142.66/144.67	o 1017
142.76/144.71	o 1016
142.76/144.72	o 1015
142.76/144.79	o 1014
142.86/144.81	o 1011
142.86/144.82	o 1010
142.86/144.84	o 1009
143.06/145.00	o 1008
143.06/145.01	o 1007
143.06/145.03	o 1006
143.06/145.04	o 1005
143.06/145.07	o 1004
143.06/145.08	o 1003
143.06/145.09	o 1002
146.62/148.65	o 1001
146.72/148.74	o 1000
146.72/148.79	o 999
146.83/148.84	o 998
146.83/148.86	o 997
146.83/148.90	o 995
146.93/148.91	o 994
146.93/148.96	o 993
146.93/148.98	o 991
146.93/148.99	o 989
147.02/149.09	o 988
147.12/149.11	o 987
147.12/149.13	o 986
147.12/149.15	o 985
147.12/149.18	o 984
147.22/149.20	o 983
147.22/149.22	o 982
147.22/149.30	o 981
147.32/149.33	o 980
147.32/149.38	o 979
147.41/149.42	o 978
147.51/149.53	o 977
147.51/149.54	o 976
147.51/149.57	o 975
147.51/149.60	o 974
147.61/149.62	o 973
147.61/149.67	o 972
147.61/149.69	o 970
147.70/149.73	o 969
147.70/149.74	o 968
147.70/149.75	o 967
147.70/149.76	o 966
147.70/149.78	o 965
147.81/149.81	o 964
147.81/149.83	o 963
147.91/149.94	o 962
148.01/150.09	o 961
148.10/150.14	o 960
148.10/150.17	o 959
148.10/150.19	o 958
148.20/150.20	o 957
148.20/150.22	o 956
148.20/150.24	o 955
148.20/150.25	o 954
148.31/150.32	o 953
148.31/150.33	o 952
148.31/150.34	o 951
148.31/150.35	o 950
148.31/150.36	o 948
148.31/150.37	o 947
148.31/150.39	o 946
148.40/150.41	o 945
148.40/150.42	o 944
149.39/151.40	o 942
149.39/151.43	o 941
149.59/151.64	o 940
149.88/151.94	o 939
149.88/151.95	o 938
149.88/151.97	o 937
150.08/152.11	o 936
150.08/152.18	o 935
150.08/152.19	o 934
150.18/152.23	o 933
150.18/152.26	o 932
150.18/152.27	o 931
150.38/152.44	o 928
150.48/152.56	o 927
150.58/152.62	o 926
150.58/152.63	o 925
150.58/152.65	o 924
150.68/152.72	o 923
152.26/154.32	o 922
152.26/154.38	o 921
152.26/154.39	o 920
152.36/154.43	o 919
152.36/154.49	o 918
152.45/154.53	o 917
152.45/154.55	o 916
152.55/154.62	o 915
152.55/154.63	o 914
152.55/154.65	o 913
152.66/154.76	o 912
152.66/154.79	o 911
152.76/154.82	o 910
152.76/154.84	o 909
152.96/155.01	o 908
152.96/155.02	o 907
152.96/155.06	o 906
153.25/155.32	o 905
153.35/155.45	o 903
153.35/155.46	o 902
153.35/155.49	o 901
153.45/155.52	o 900
154.05/156.14	o 899
154.05/156.20	o 898
154.15/156.22	o 897
154.15/156.23	o 896
154.15/156.24	o 895
154.15/156.25	o 894
154.15/156.26	o 893
154.15/156.29	o 892
154.24/156.35	o 891
154.24/156.36	o 890
154.24/156.38	o 889
154.35/156.46	o 888
154.44/156.54	o 887
154.44/156.55	o 886
154.84/156.95	   
154.84/156.95	   search
154.84/156.95	     run=1  nbConstraintChecks=81261998  nbAssignments=20000
154.84/156.96	       =>  wckTime=147.499  cpuTime=145.48  mem=267M833
154.84/156.99	o 884
154.84/157.00	o 882
154.94/157.00	o 880
154.94/157.01	o 878
154.94/157.02	o 876
154.94/157.02	o 874
154.94/157.03	o 872
154.94/157.03	o 870
154.94/157.04	o 868
154.94/157.05	o 867
154.94/157.05	o 866
154.94/157.06	o 865
154.94/157.07	o 864
154.94/157.07	o 863
154.94/157.08	o 862
154.94/157.09	o 861
154.94/157.09	o 860
155.04/157.10	o 859
155.04/157.11	o 858
155.04/157.12	o 857
155.04/157.12	o 856
155.04/157.13	o 855
155.04/157.13	o 854
155.04/157.14	o 853
155.04/157.15	o 852
155.04/157.15	o 851
155.04/157.16	o 850
155.04/157.17	o 849
155.04/157.17	o 848
155.04/157.18	o 847
155.04/157.19	o 846
155.04/157.19	o 845
155.13/157.21	o 844
155.13/157.21	o 843
155.13/157.22	o 842
155.13/157.22	o 841
155.13/157.23	o 840
155.13/157.24	o 839
155.13/157.24	o 838
155.13/157.25	o 837
155.13/157.26	o 836
155.13/157.26	o 835
155.13/157.27	o 834
155.13/157.28	o 833
155.13/157.28	o 832
155.13/157.29	o 831
155.13/157.30	o 830
155.13/157.30	o 829
155.23/157.31	o 828
155.23/157.32	o 827
155.23/157.32	o 826
155.23/157.33	o 825
155.23/157.33	o 824
155.23/157.34	o 823
155.23/157.35	o 822
155.23/157.35	o 821
155.23/157.36	o 820
155.23/157.37	o 819
155.23/157.37	o 818
155.23/157.38	o 817
155.23/157.38	o 816
155.23/157.39	o 815
155.23/157.40	o 814
155.33/157.40	o 813
155.33/157.41	o 812
155.33/157.42	o 811
155.33/157.42	o 810
155.33/157.43	o 809
155.33/157.44	o 808
155.33/157.44	o 807
155.33/157.45	o 806
155.33/157.46	o 805
155.33/157.46	o 804
155.33/157.47	o 803
155.33/157.48	o 802
155.33/157.48	o 801
155.33/157.49	o 800
155.33/157.49	o 799
155.42/157.50	o 798
155.42/157.51	o 797
155.42/157.52	o 796
155.42/157.53	o 795
155.42/157.54	o 794
155.42/157.55	o 793
155.42/157.56	o 792
155.42/157.57	o 791
155.42/157.58	o 790
155.42/157.59	o 789
155.42/157.60	o 788
155.52/157.61	o 787
155.52/157.62	o 786
155.52/157.63	o 785
155.52/157.64	o 784
155.52/157.65	o 783
155.52/157.66	o 782
155.52/157.67	o 781
155.52/157.68	o 780
155.52/157.69	o 779
155.52/157.70	o 778
155.61/157.71	o 777
155.61/157.72	o 776
155.61/157.73	o 775
155.61/157.74	o 774
155.61/157.75	o 773
155.61/157.76	o 772
155.61/157.77	o 771
155.61/157.78	o 770
155.61/157.79	o 769
155.71/157.80	o 768
155.71/157.81	o 767
155.71/157.82	o 766
155.71/157.83	o 765
155.71/157.84	o 764
155.71/157.85	o 763
155.71/157.87	o 762
155.71/157.88	o 761
156.01/158.19	o 760
156.11/158.20	o 759
156.11/158.29	o 758
156.21/158.34	o 757
156.31/158.42	o 756
156.31/158.48	o 755
156.50/158.68	o 754
156.70/158.87	o 753
156.79/158.92	o 752
156.79/158.94	o 751
156.79/158.96	o 750
156.79/158.98	o 749
157.10/159.26	o 748
157.10/159.28	o 747
157.29/159.48	o 746
157.40/159.59	o 745
157.49/159.63	o 744
157.59/159.79	o 743
157.79/159.91	o 742
157.88/160.09	o 741
157.98/160.13	o 740
157.98/160.19	o 739
158.09/160.21	o 738
158.19/160.39	o 737
158.38/160.52	o 736
158.58/160.72	o 735
158.58/160.75	o 734
158.68/160.82	o 733
158.78/160.96	o 732
158.97/161.12	o 731
159.08/161.23	o 730
159.08/161.25	o 729
159.28/161.43	o 728
169.08/171.31	o 727
169.08/171.32	o 725
169.08/171.33	o 724
169.08/171.34	o 723
169.08/171.35	o 722
169.08/171.36	o 721
169.08/171.38	o 720
169.18/171.44	o 718
169.18/171.45	o 716
169.18/171.45	o 715
169.18/171.46	o 708
169.18/171.47	o 707
171.46/173.79	o 706
171.46/173.80	o 704
171.95/174.24	o 703
171.95/174.27	o 702
171.95/174.28	o 700
172.05/174.30	o 699
172.05/174.32	o 698
172.05/174.34	o 696
172.05/174.35	o 695
172.15/174.45	o 694
172.15/174.45	o 693
172.15/174.47	o 692
172.15/174.48	o 690
172.44/174.79	o 688
172.44/174.80	o 687
172.54/174.82	o 686
172.74/175.06	o 681
172.74/175.07	o 680
172.84/175.18	o 678
172.84/175.19	o 670
172.94/175.23	o 669
172.94/175.24	o 667
172.94/175.25	o 666
172.94/175.26	o 665
172.94/175.28	o 663
172.94/175.29	o 662
173.04/175.30	o 661
173.04/175.31	o 660
173.04/175.33	o 658
173.04/175.33	o 657
173.04/175.34	o 656
173.04/175.35	o 655
173.14/175.46	o 652
173.14/175.48	o 649
173.14/175.48	o 648
173.23/175.50	o 647
173.23/175.50	o 646
173.23/175.51	o 645
173.23/175.59	o 644
173.33/175.60	o 642
173.33/175.61	o 640
173.33/175.66	o 639
173.44/175.70	o 638
176.11/178.42	o 637
176.11/178.44	o 636
176.11/178.45	o 635
176.11/178.46	o 634
176.11/178.48	o 633
176.20/178.50	o 632
176.20/178.51	o 631
176.31/178.60	o 629
176.31/178.62	o 628
176.31/178.69	o 627
176.31/178.70	o 626
176.40/178.71	o 624
176.40/178.72	o 623
176.40/178.73	o 622
176.49/178.90	o 621
176.60/178.93	o 620
176.60/178.94	o 619
176.60/178.94	o 617
177.88/180.20	   
177.88/180.20	   search
177.88/180.21	     run=2  nbConstraintChecks=92034976  nbAssignments=30000
177.88/180.21	       =>  wckTime=170.749  cpuTime=168.49  mem=267M833
182.53/184.98	o 616
182.53/184.99	o 615
182.64/185.01	o 614
182.74/185.19	o 613
183.03/185.45	o 611
183.03/185.46	o 610
183.33/185.70	o 609
183.33/185.71	o 608
183.33/185.73	o 607
183.33/185.76	o 606
183.53/185.97	o 605
183.53/185.98	o 604
186.01/188.44	o 601
186.01/188.45	o 599
186.01/188.46	o 597
186.01/188.47	o 596
186.10/188.52	o 595
186.10/188.53	o 594
186.10/188.55	o 593
186.10/188.56	o 592
186.10/188.59	o 590
186.20/188.60	o 589
188.38/190.87	o 588
188.47/190.94	o 587
188.47/190.96	o 585
188.47/190.96	o 584
188.47/190.97	o 583
188.47/190.98	o 582
188.58/191.01	o 576
188.58/191.05	o 575
188.58/191.06	o 571
188.58/191.08	o 570
188.58/191.09	o 569
188.68/191.10	o 568
188.68/191.15	o 567
188.68/191.17	o 566
189.07/191.58	o 565
189.07/191.59	o 564
189.17/191.61	o 563
189.17/191.62	o 561
189.17/191.64	o 560
189.27/191.77	o 553
189.27/191.78	o 552
189.27/191.79	o 551
189.37/191.83	o 550
189.47/191.91	o 549
189.47/191.93	o 548
189.47/191.95	o 547
189.66/192.18	o 546
189.66/192.19	o 545
189.87/192.39	o 544
190.46/192.97	o 543
190.46/192.99	o 542
190.66/193.10	o 540
190.66/193.13	o 538
190.66/193.16	o 536
190.96/193.44	o 535
190.96/193.45	o 533
190.96/193.48	o 532
191.15/193.66	o 529
191.15/193.67	o 528
191.15/193.68	o 527
192.34/194.85	o 526
192.34/194.86	o 525
192.34/194.87	o 524
192.34/194.88	o 523
192.93/195.48	o 522
192.93/195.49	o 521
193.03/195.59	o 520
193.13/195.60	o 519
193.13/195.61	o 518
193.13/195.62	o 517
193.13/195.66	o 516
200.26/202.86	o 515
200.26/202.87	o 514
203.03/205.63	o 513
203.03/205.65	o 511
203.03/205.66	o 509
203.03/205.68	o 507
203.53/206.14	o 506
203.53/206.15	o 505
203.73/206.32	o 504
203.73/206.34	o 503
203.73/206.35	o 502
203.73/206.35	o 501
203.73/206.36	o 500
203.73/206.38	o 499
203.82/206.42	o 498
204.61/207.23	   
204.61/207.23	   search
204.61/207.23	     run=3  nbConstraintChecks=106822354  nbAssignments=40000
204.61/207.23	       =>  wckTime=197.77  cpuTime=195.23  mem=267M833
204.61/207.27	o 497
204.61/207.27	o 495
204.61/207.28	o 493
204.61/207.28	o 491
204.61/207.29	o 489
204.61/207.30	o 487
204.71/207.30	o 486
204.71/207.31	o 485
204.71/207.32	o 484
204.71/207.32	o 483
204.71/207.33	o 482
204.71/207.33	o 481
204.71/207.34	o 480
204.71/207.35	o 479
204.71/207.35	o 478
204.71/207.36	o 477
204.71/207.37	o 476
204.71/207.37	o 475
204.71/207.38	o 474
204.71/207.38	o 473
204.71/207.39	o 472
204.71/207.40	o 471
204.81/207.40	o 470
204.81/207.41	o 469
204.81/207.42	o 468
204.81/207.42	o 467
204.81/207.43	o 466
204.81/207.43	o 465
204.81/207.44	o 464
204.81/207.45	o 463
204.81/207.45	o 462
204.81/207.46	o 461
204.81/207.46	o 460
204.81/207.47	o 459
204.81/207.48	o 458
204.81/207.48	o 457
204.81/207.49	o 456
204.81/207.50	o 455
204.91/207.50	o 454
204.91/207.51	o 453
204.91/207.52	o 452
204.91/207.53	o 451
204.91/207.53	o 450
204.91/207.54	o 449
204.91/207.55	o 448
204.91/207.56	o 447
204.91/207.57	o 446
204.91/207.57	o 445
204.91/207.58	o 444
204.91/207.59	o 443
204.91/207.60	o 442
205.01/207.61	o 441
205.01/207.61	o 440
205.01/207.62	o 439
205.01/207.63	o 438
205.01/207.64	o 437
205.01/207.65	o 436
205.01/207.65	o 435
205.01/207.66	o 434
205.01/207.67	o 433
205.01/207.68	o 432
205.01/207.68	o 431
205.01/207.69	o 430
205.11/207.70	o 429
205.11/207.71	o 428
205.11/207.72	o 427
205.11/207.72	o 426
205.11/207.73	o 425
205.11/207.74	o 424
205.11/207.75	o 423
205.11/207.75	o 422
205.11/207.76	o 421
205.11/207.77	o 420
205.11/207.78	o 419
205.11/207.79	o 418
205.11/207.79	o 417
205.20/207.81	o 416
205.40/208.01	o 415
205.49/208.11	o 414
205.49/208.13	o 413
205.59/208.20	o 412
205.89/208.53	o 411
205.99/208.61	o 410
206.09/208.74	o 409
206.09/208.78	o 408
206.19/208.86	o 407
206.29/208.94	o 406
206.29/208.96	o 405
209.16/211.81	o 404
209.36/212.07	o 403
209.36/212.08	o 402
209.36/212.09	o 401
209.46/212.13	o 400
209.46/212.13	o 399
209.46/212.15	o 398
209.46/212.16	o 396
209.46/212.16	o 395
209.46/212.18	o 394
209.46/212.19	o 393
209.46/212.20	o 392
209.56/212.24	o 390
209.56/212.26	o 389
209.56/212.27	o 388
209.56/212.28	o 387
209.56/212.29	o 386
222.23/225.09	   
222.23/225.09	   search
222.23/225.09	     run=4  nbConstraintChecks=114972163  nbAssignments=50000
222.23/225.09	       =>  wckTime=215.631  cpuTime=212.91  mem=267M833
239.56/242.59	   
239.56/242.59	   search
239.56/242.59	     run=5  nbConstraintChecks=124086856  nbAssignments=58194
239.56/242.59	       =>  wckTime=233.135  cpuTime=230.25  mem=267M833
239.56/242.59	   
239.56/242.59	   global
239.56/242.59	     nbConstraintChecks=124086856  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
239.56/242.59	     solvingWckTime=233.118  solvingCpuTime=230.24  expiredTime=no  totalExploration=no  nbFoundSolutions=0
239.56/242.59	     globalCpuTime=237.35
239.56/242.59	       =>  wckTime=242.315  cpuTime=237.3  mem=267M833
239.67/242.61	   
239.67/242.61	   solver DecomposerSolver being built... 
245.60/248.67	s UNKNOWN

ERROR: no interpretation found !

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109891-1215813158/watcher-1109891-1215813158 -o /tmp/evaluation-result-1109891-1215813158/solver-1109891-1215813158 -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-1109891-1215813158.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.07 2.00 1.91 4/88 16078
/proc/meminfo: memFree=1819776/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=18572 CPUtime=0
/proc/16078/stat : 16078 (runsolver) R 16076 16078 15014 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 38013727 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 228774702375 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16078/statm: 4643 292 257 25 0 2626 0

[startup+0.0310261 s]
/proc/loadavg: 2.07 2.00 1.91 4/88 16078
/proc/meminfo: memFree=1819776/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=861876 CPUtime=0.02
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 1880 0 1 0 1 1 0 0 18 0 5 0 38013727 882561024 1567 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 215469 1567 695 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.101876 s]
/proc/loadavg: 2.07 2.00 1.91 4/88 16078
/proc/meminfo: memFree=1819776/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=865988 CPUtime=0.08
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 3689 0 1 0 7 1 0 0 18 0 9 0 38013727 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216497 3164 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.302918 s]
/proc/loadavg: 2.07 2.00 1.91 4/88 16078
/proc/meminfo: memFree=1819776/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=866280 CPUtime=0.27
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 5525 0 1 0 23 4 0 0 18 0 9 0 38013727 887070720 4946 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216570 4946 1889 9 0 211118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866280

[startup+0.703012 s]
/proc/loadavg: 2.07 2.00 1.91 4/88 16078
/proc/meminfo: memFree=1819776/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867396 CPUtime=0.66
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 12122 0 1 0 59 7 0 0 18 0 9 0 38013727 888213504 11493 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216849 11493 1973 9 0 211377 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867396

[startup+1.50115 s]
/proc/loadavg: 2.07 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1754936/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867484 CPUtime=1.46
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 18761 0 1 0 134 12 0 0 18 0 9 0 38013727 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216871 18120 2025 9 0 211377 0
[pid=16078/tid=16080] ppid=16076 vsize=867484 CPUtime=1.18
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15767 0 1 0 108 10 0 0 25 0 9 0 38013729 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 102385832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867484 CPUtime=0.07
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 1692 0 0 0 6 1 0 0 16 0 9 0 38013730 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867484 CPUtime=0.18
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 606 0 0 0 18 0 0 0 16 0 9 0 38013733 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888303616 18120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867484

[startup+3.10247 s]
/proc/loadavg: 2.06 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1740344/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867396 CPUtime=3.04
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 24427 0 1 0 289 15 0 0 18 0 9 0 38013727 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216849 23762 2004 9 0 211377 0
[pid=16078/tid=16080] ppid=16076 vsize=867396 CPUtime=2.45
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15769 0 1 0 235 10 0 0 25 0 9 0 38013729 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4126848443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867396 CPUtime=0.37
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 7355 0 0 0 34 3 0 0 17 0 9 0 38013730 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867396 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867396 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867396 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867396 CPUtime=0.18
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 607 0 0 0 18 0 0 0 16 0 9 0 38013733 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867396 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867396 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888213504 23762 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867396

[startup+6.3011 s]
/proc/loadavg: 2.06 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1721784/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867400 CPUtime=6.2
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 29915 0 1 0 483 137 0 0 18 0 9 0 38013727 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216850 29245 2006 9 0 211378 0
[pid=16078/tid=16080] ppid=16076 vsize=867400 CPUtime=5.2
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15804 0 1 0 390 130 0 0 25 0 9 0 38013729 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867400 CPUtime=0.73
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 12768 0 0 0 68 5 0 0 17 0 9 0 38013730 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867400 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867400 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867400 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867400 CPUtime=0.24
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 647 0 0 0 24 0 0 0 16 0 9 0 38013733 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867400 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867400 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888217600 29245 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867400

[startup+12.7013 s]
/proc/loadavg: 2.05 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1492728/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867484 CPUtime=12.51
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 85052 0 1 0 1026 225 0 0 18 0 9 0 38013727 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216871 84066 2639 9 0 211377 0
[pid=16078/tid=16080] ppid=16076 vsize=867484 CPUtime=10.38
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15854 0 1 0 844 194 0 0 25 0 9 0 38013729 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4127185051 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867484 CPUtime=1.79
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 67814 0 0 0 149 30 0 0 16 0 9 0 38013730 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867484 CPUtime=0.32
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 688 0 0 0 32 0 0 0 15 0 9 0 38013733 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888303616 84066 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 867484

[startup+25.5028 s]
/proc/loadavg: 2.04 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1492792/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867484 CPUtime=25.06
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 85068 0 1 0 2262 244 0 0 18 0 9 0 38013727 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216871 84077 2639 9 0 211377 0
[pid=16078/tid=16080] ppid=16076 vsize=867484 CPUtime=22.92
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15859 0 1 0 2079 213 0 0 25 0 9 0 38013729 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4127195204 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867484 CPUtime=1.79
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 67814 0 0 0 149 30 0 0 16 0 9 0 38013730 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867484 CPUtime=0.33
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 699 0 0 0 33 0 0 0 16 0 9 0 38013733 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888303616 84077 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 867484

[startup+51.1028 s]
/proc/loadavg: 2.03 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1492728/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867484 CPUtime=50.29
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 85070 0 1 0 4768 261 0 0 18 0 9 0 38013727 888303616 84079 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216871 84079 2639 9 0 211377 0
[pid=16078/tid=16080] ppid=16076 vsize=867484 CPUtime=48.13
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15859 0 1 0 4584 229 0 0 25 0 9 0 38013729 888303616 84079 996147200 134512640 134550740 4294955952 18446744073709551615 4127167580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867484 CPUtime=1.79
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 67814 0 0 0 149 30 0 0 16 0 9 0 38013730 888303616 84079 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84079 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84079 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888303616 84079 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867484 CPUtime=0.34
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 701 0 0 0 34 0 0 0 16 0 9 0 38013733 888303616 84079 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867484 CPUtime=0

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

/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867484 CPUtime=0.35
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 709 0 0 0 35 0 0 0 16 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 227.48
Current children cumulated vsize (KiB) 867484

[startup+236.701 s]
/proc/loadavg: 2.00 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1492280/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867484 CPUtime=233.82
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 85079 0 1 0 22670 712 0 0 18 0 9 0 38013727 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216871 84087 2640 9 0 211377 0
[pid=16078/tid=16080] ppid=16076 vsize=867484 CPUtime=231.65
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15860 0 1 0 22485 680 0 0 25 0 9 0 38013729 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4127167527 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867484 CPUtime=1.79
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 67814 0 0 0 149 30 0 0 16 0 9 0 38013730 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867484 CPUtime=0.35
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 709 0 0 0 35 0 0 0 16 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888303616 84087 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 233.82
Current children cumulated vsize (KiB) 867484

[startup+243.107 s]
/proc/loadavg: 2.00 2.00 1.91 3/97 16087
/proc/meminfo: memFree=1488440/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867484 CPUtime=240.16
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 86110 0 1 0 23283 733 0 0 18 0 9 0 38013727 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216871 85080 2641 9 0 211377 0
[pid=16078/tid=16080] ppid=16076 vsize=867484 CPUtime=237.87
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15924 0 1 0 23086 701 0 0 25 0 9 0 38013729 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 104454896 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867484 CPUtime=1.86
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 68740 0 0 0 156 30 0 0 16 0 9 0 38013730 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 18 0 0 0 0 0 0 0 16 0 9 0 38013731 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867484 CPUtime=0.4
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 737 0 0 0 40 0 0 0 15 0 9 0 38013733 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867484 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888303616 85080 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 240.16
Current children cumulated vsize (KiB) 867484

[startup+246.302 s]
/proc/loadavg: 2.00 2.00 1.91 4/97 16087
/proc/meminfo: memFree=1029624/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867744 CPUtime=243.33
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 200721 0 1 0 23553 780 0 0 18 0 9 0 38013727 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216936 199521 2617 9 0 211464 0
[pid=16078/tid=16080] ppid=16076 vsize=867744 CPUtime=238.73
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15953 0 1 0 23172 701 0 0 25 0 9 0 38013729 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867744 CPUtime=4.13
/proc/16078/task/16081/stat : 16081 (java) R 16076 16078 15014 0 -1 64 183297 0 0 0 336 77 0 0 17 0 9 0 38013730 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38013731 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867744 CPUtime=0.43
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 757 0 0 0 43 0 0 0 15 0 9 0 38013733 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888569856 199521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 243.33
Current children cumulated vsize (KiB) 867744

[startup+247.902 s]
/proc/loadavg: 2.08 2.02 1.92 4/97 16087
/proc/meminfo: memFree=1029560/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867744 CPUtime=244.91
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 200862 0 1 0 23711 780 0 0 18 0 9 0 38013727 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216936 199535 2617 9 0 211464 0
[pid=16078/tid=16080] ppid=16076 vsize=867744 CPUtime=238.75
/proc/16078/task/16080/stat : 16080 (java) R 16076 16078 15014 0 -1 64 15954 0 1 0 23174 701 0 0 25 0 9 0 38013729 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867744 CPUtime=5.7
/proc/16078/task/16081/stat : 16081 (java) R 16076 16078 15014 0 -1 64 183437 0 0 0 493 77 0 0 18 0 9 0 38013730 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38013731 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867744 CPUtime=0.43
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 757 0 0 0 43 0 0 0 15 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 244.91
Current children cumulated vsize (KiB) 867744

[startup+248.302 s]
/proc/loadavg: 2.08 2.02 1.92 4/97 16087
/proc/meminfo: memFree=1029560/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867744 CPUtime=245.3
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 200862 0 1 0 23750 780 0 0 18 0 9 0 38013727 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216936 199535 2617 9 0 211464 0
[pid=16078/tid=16080] ppid=16076 vsize=867744 CPUtime=238.75
/proc/16078/task/16080/stat : 16080 (java) S 16076 16078 15014 0 -1 64 15954 0 1 0 23174 701 0 0 25 0 9 0 38013729 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867744 CPUtime=6.09
/proc/16078/task/16081/stat : 16081 (java) R 16076 16078 15014 0 -1 64 183437 0 0 0 532 77 0 0 19 0 9 0 38013730 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38013731 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867744 CPUtime=0.43
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 757 0 0 0 43 0 0 0 15 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867744 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888569856 199535 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 245.3
Current children cumulated vsize (KiB) 867744

[startup+248.702 s]
/proc/loadavg: 2.08 2.02 1.92 3/97 16087
/proc/meminfo: memFree=1029560/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=867492 CPUtime=245.67
/proc/16078/stat : 16078 (java) S 16076 16078 15014 0 -1 0 200928 0 1 0 23787 780 0 0 18 0 9 0 38013727 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 216873 199473 2617 9 0 211401 0
[pid=16078/tid=16080] ppid=16076 vsize=867492 CPUtime=238.75
/proc/16078/task/16080/stat : 16080 (java) S 16076 16078 15014 0 -1 64 15957 0 1 0 23174 701 0 0 23 0 9 0 38013729 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16081] ppid=16076 vsize=867492 CPUtime=6.46
/proc/16078/task/16081/stat : 16081 (java) S 16076 16078 15014 0 -1 64 183500 0 0 0 569 77 0 0 19 0 9 0 38013730 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16082] ppid=16076 vsize=867492 CPUtime=0
/proc/16078/task/16082/stat : 16082 (java) S 16076 16078 15014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 38013731 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16083] ppid=16076 vsize=867492 CPUtime=0
/proc/16078/task/16083/stat : 16083 (java) S 16076 16078 15014 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 38013731 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16084] ppid=16076 vsize=867492 CPUtime=0
/proc/16078/task/16084/stat : 16084 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38013733 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16085] ppid=16076 vsize=867492 CPUtime=0.43
/proc/16078/task/16085/stat : 16085 (java) S 16076 16078 15014 0 -1 64 757 0 0 0 43 0 0 0 15 0 9 0 38013733 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16086] ppid=16076 vsize=867492 CPUtime=0
/proc/16078/task/16086/stat : 16086 (java) S 16076 16078 15014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38013733 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16078/tid=16087] ppid=16076 vsize=867492 CPUtime=0
/proc/16078/task/16087/stat : 16087 (java) S 16076 16078 15014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 38013733 888311808 199473 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 245.67
Current children cumulated vsize (KiB) 867492

[startup+248.803 s]
/proc/loadavg: 2.08 2.02 1.92 3/97 16087
/proc/meminfo: memFree=1029560/2055920 swapFree=4190156/4192956
[pid=16078] ppid=16076 vsize=0 CPUtime=245.77
/proc/16078/stat : 16078 (java) Z 16076 16078 15014 0 -1 12 200933 0 1 0 23787 790 0 0 16 0 2 0 38013727 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16078/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 245.77
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 248.831
CPU time (s): 245.807
CPU user time (s): 237.877
CPU system time (s): 7.92979
CPU usage (%): 98.7845
Max. virtual memory (cumulated for all children) (KiB): 867900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 237.877
system time used= 7.92979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200933
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= 7073
involuntary context switches= 27554

runsolver used 0.474927 second user time and 1.24681 second system time

The end

Begin job on node74 at 2008-07-11 23:52:38
IDJOB=1109891
IDBENCH=61031
IDSOLVER=359
FILE ID=node74/1109891-1215813158
PBS_JOBID= 7903241
Free space on /tmp= 103228 MiB

SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/pseudo/ssa/normalized-ssa-6288-047.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-1109891-1215813158/watcher-1109891-1215813158 -o /tmp/evaluation-result-1109891-1215813158/solver-1109891-1215813158 -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-1109891-1215813158.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= dd00c5def4c55b065ec455ee1bcb23cb
RANDOM SEED=2036200736

node74.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.261
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.261
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:       1820256 kB
Buffers:          8888 kB
Cached:          61356 kB
SwapCached:          0 kB
Active:         158856 kB
Inactive:        24860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820256 kB
SwapTotal:     4192956 kB
SwapFree:      4190156 kB
Dirty:            9092 kB
Writeback:           0 kB
Mapped:         134952 kB
Slab:            35924 kB
Committed_AS:   347436 kB
PageTables:       2624 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103228 MiB
End job on node74 at 2008-07-11 23:56:47