Trace number 4425631

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Exact_no_SoPlex 2024-07-05OPTIMUM 177.303 177.934

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv8.ucl--soft-0-100-0.wbo
MD5SUMf8936bf513cf214d5098f23a79bd3cde
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1.07315
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2355
Total number of constraints6744
Number of soft constraints6744
Number of constraints which are clauses6568
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints176
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 341452
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 341451
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	o 68445
0.00/0.08	o 51827
0.00/0.08	o 51769
0.00/0.09	o 51691
0.00/0.09	o 51684
0.00/0.10	o 51659
0.09/0.10	o 51642
0.09/0.11	o 51622
0.09/0.11	o 51604
0.09/0.12	o 51579
0.09/0.12	o 51504
0.09/0.13	o 51430
0.09/0.14	o 51390
0.09/0.14	o 51374
0.09/0.17	o 51369
0.09/0.19	o 51357
0.09/0.20	o 51355
0.09/0.21	o 51339
0.20/0.22	o 51332
0.20/0.24	o 51322
0.20/0.25	o 51319
0.20/0.27	o 51318
0.20/0.28	o 51308
0.20/0.29	o 51307
0.20/0.30	o 51279
0.20/0.30	o 51239
0.20/0.30	o 51223
0.30/0.31	o 51222
0.30/0.31	o 51191
0.30/0.32	o 51175
0.30/0.32	o 51118
0.30/0.33	o 51088
0.30/0.34	o 51072
0.30/0.35	o 51067
0.30/0.38	o 51063
0.30/0.38	o 51062
0.30/0.39	o 51061
0.30/0.39	o 51059
0.30/0.39	o 51058
0.30/0.40	o 51056
0.40/0.43	o 51049
0.40/0.43	o 51042
0.40/0.44	o 51010
0.40/0.44	o 51002
0.40/0.45	o 50992
0.40/0.46	o 50990
0.40/0.47	o 50983
0.40/0.47	o 50951
0.40/0.48	o 50893
0.40/0.48	o 50862
0.40/0.50	o 50861
0.50/0.51	o 50860
0.50/0.52	o 50844
0.50/0.54	o 50842
0.50/0.55	o 50841
0.50/0.56	o 50789
0.50/0.58	o 50711
0.78/0.80	o 50710
0.78/0.81	o 50708
0.78/0.81	o 50700
0.78/0.82	o 50693
0.78/0.85	o 50669
0.78/0.86	o 50666
0.78/0.87	o 50665
0.78/0.88	o 50659
0.88/0.93	o 50645
0.88/0.94	o 50618
0.99/1.09	o 50616
0.99/1.10	o 50609
1.09/1.10	o 50607
1.18/1.23	o 50529
1.29/1.33	o 50527
1.29/1.33	o 50526
1.29/1.34	o 50509
1.48/1.52	o 50508
1.48/1.52	o 50506
1.48/1.53	o 50505
1.48/1.53	o 50501
1.48/1.55	o 50496
1.48/1.55	o 50487
1.48/1.56	o 50481
1.48/1.58	o 50461
1.48/1.58	o 50460
1.68/1.78	o 50437
1.68/1.78	o 50426
1.68/1.79	o 50411
1.78/1.88	o 50389
1.78/1.89	o 50370
2.28/2.33	o 50363
2.28/2.34	o 50359
2.28/2.38	o 50350
2.39/2.43	o 50335
2.39/2.43	o 50326
2.48/2.56	o 50313
2.58/2.67	o 50247
2.68/2.78	o 50236
2.87/3.00	o 50212
2.98/3.00	o 50196
2.98/3.02	o 50167
3.09/3.19	o 50166
3.18/3.21	o 50160
3.18/3.21	o 50158
3.18/3.23	o 50157
3.18/3.23	o 50146
3.18/3.26	o 50099
3.38/3.44	o 50087
3.38/3.44	o 50073
3.38/3.45	o 50048
3.38/3.49	o 50040
3.58/3.62	o 50038
3.58/3.62	o 50037
3.68/3.76	o 50014
3.68/3.77	o 50003
3.68/3.77	o 49988
3.78/3.83	o 49984
3.78/3.83	o 49981
3.88/3.95	o 49979
3.88/3.97	o 49954
3.88/3.97	o 49945
3.88/3.98	o 49932
3.98/4.06	o 49923
4.08/4.12	o 49805
4.17/4.21	o 49768
4.17/4.22	o 49750
4.17/4.24	o 49708
4.17/4.24	o 49698
4.17/4.25	o 49673
4.27/4.35	o 49672
4.27/4.36	o 49670
4.27/4.37	o 49669
4.27/4.37	o 49661
4.47/4.50	o 49638
4.47/4.51	o 49627
4.47/4.52	o 49612
4.47/4.59	o 49606
4.57/4.64	o 49587
4.57/4.65	o 49581
4.57/4.67	o 49556
4.68/4.71	o 49532
4.68/4.72	o 49512
4.77/4.83	o 49478
4.77/4.88	o 49468
4.77/4.89	o 49461
4.87/4.90	o 49433
4.87/4.90	o 49423
4.87/4.91	o 49417
4.87/4.91	o 49392
5.67/5.72	o 49356
5.67/5.72	o 49309
5.87/5.97	o 49244
5.97/6.09	o 49176
6.07/6.16	o 49151
6.07/6.17	o 49127
6.07/6.17	o 49126
6.07/6.18	o 49118
6.17/6.27	o 49051
6.27/6.31	o 49014
6.27/6.34	o 49007
6.27/6.38	o 48995
6.37/6.41	o 48987
6.37/6.41	o 48971
6.37/6.42	o 48930
6.37/6.49	o 48903
6.47/6.50	o 48834
6.47/6.50	o 48821
6.47/6.57	o 48805
6.47/6.58	o 48789
6.47/6.58	o 48748
6.47/6.59	o 48744
6.56/6.66	o 48639
6.66/6.72	o 48598
6.66/6.75	o 48511
6.76/6.84	o 48505
6.86/6.94	o 48501
6.86/6.95	o 48409
6.86/6.99	o 48358
6.97/7.02	o 48299
6.97/7.05	o 48284
6.97/7.06	o 48248
7.27/7.38	o 48240
7.27/7.38	o 48239
7.37/7.44	o 48192
7.37/7.46	o 48190
7.47/7.55	o 48167
7.47/7.55	o 48156
7.47/7.57	o 48141
7.56/7.62	o 48077
7.56/7.65	o 48006
7.66/7.79	o 47993
7.76/7.85	o 47990
7.76/7.87	o 47987
7.86/7.96	o 47984
7.86/7.97	o 47977
7.97/8.03	o 47976
7.97/8.04	o 47956
7.97/8.06	o 47933
7.97/8.06	o 47931
8.06/8.16	o 47922
8.36/8.47	o 47896
8.46/8.50	o 47824
8.46/8.54	o 47750
8.56/8.65	o 47733
8.66/8.70	o 47717
8.66/8.72	o 47663
8.66/8.72	o 47649
8.76/8.82	o 47635
8.86/8.93	o 47581
8.86/8.93	o 47567
8.86/8.95	o 47517
8.86/8.96	o 47494
8.86/8.98	o 47492
9.06/9.12	o 47490
9.06/9.14	o 47460
9.06/9.17	o 47447
9.06/9.18	o 47445
9.26/9.30	o 47439
9.26/9.30	o 47425
9.26/9.31	o 47423
9.26/9.32	o 47385
9.46/9.56	o 47298
9.66/9.70	o 47297
9.66/9.76	o 47279
9.66/9.79	o 47264
9.76/9.80	o 47248
9.76/9.89	o 47234
9.86/9.91	o 47232
9.96/10.07	o 47215
10.06/10.16	o 47176
10.06/10.17	o 47104
10.25/10.30	o 47081
10.25/10.31	o 47029
10.25/10.36	o 46985
10.25/10.36	o 46972
10.25/10.39	o 46971
10.25/10.39	o 46956
10.35/10.40	o 46955
10.35/10.41	o 46901
10.45/10.56	o 46860
10.45/10.56	o 46859
10.55/10.64	o 46845
10.75/10.87	o 46839
10.75/10.88	o 46826
10.75/10.88	o 46825
10.75/10.88	o 46819
10.75/10.89	o 46815
10.85/10.90	o 46778
10.85/10.91	o 46770
10.95/11.03	o 46765
10.95/11.04	o 46748
10.95/11.04	o 46744
11.15/11.20	o 46743
11.15/11.21	o 46741
11.15/11.22	o 46726
11.15/11.23	o 46703
11.15/11.24	o 46701
11.25/11.38	o 46623
11.25/11.38	o 46615
11.35/11.46	o 46609
11.35/11.47	o 46598
11.35/11.48	o 46588
11.35/11.49	o 46573
11.45/11.50	o 46571
11.45/11.54	o 46555
11.45/11.55	o 46528
11.55/11.65	o 46523
11.55/11.66	o 46515
11.75/11.82	o 46508
11.75/11.89	o 46502
11.85/11.92	o 46501
11.95/12.04	o 46478
11.95/12.05	o 46467
11.95/12.06	o 46452
11.95/12.09	o 46449
11.95/12.09	o 46441
12.15/12.25	o 46436
12.15/12.26	o 46431
12.15/12.26	o 46429
12.15/12.26	o 46428
12.15/12.27	o 46420
12.25/12.39	o 46397
12.35/12.41	o 46386
12.35/12.46	o 46384
12.35/12.46	o 46382
12.35/12.47	o 46379
12.35/12.47	o 46371
12.54/12.60	o 46351
12.54/12.61	o 46335
12.54/12.61	o 46322
12.64/12.74	o 46312
12.64/12.75	o 46307
12.64/12.76	o 46304
12.64/12.77	o 46296
12.84/12.94	o 46281
12.84/12.95	o 46280
12.84/12.95	o 46278
12.84/12.96	o 46275
12.95/13.03	o 46272
12.95/13.04	o 46269
12.95/13.04	o 46261
13.05/13.15	o 46258
13.05/13.15	o 46241
13.05/13.16	o 46222
13.05/13.16	o 46214
13.14/13.24	o 46179
13.14/13.29	o 46139
13.24/13.30	o 46132
13.24/13.31	o 46117
13.24/13.37	o 46113
13.24/13.39	o 46109
13.35/13.49	o 46108
13.45/13.50	o 46101
13.74/13.89	o 46099
13.84/13.90	o 46096
13.84/13.90	o 46089
13.84/13.93	o 46017
13.84/13.94	o 46016
13.84/13.98	o 45927
14.23/14.32	o 45915
14.23/14.33	o 45846
15.04/15.11	o 45845
15.04/15.12	o 45843
15.04/15.12	o 45842
15.04/15.16	o 45818
15.13/15.26	o 45816
15.13/15.26	o 45805
15.13/15.27	o 45791
15.13/15.27	o 45776
15.13/15.28	o 45763
15.33/15.45	o 45685
15.33/15.45	o 45682
15.63/15.76	o 45669
15.63/15.76	o 45655
15.63/15.77	o 45641
15.72/15.85	o 45637
15.72/15.86	o 45597
15.72/15.87	o 45594
15.83/15.97	o 45593
15.83/15.98	o 45589
15.83/15.98	o 45588
15.94/16.03	o 45563
15.94/16.10	o 45560
16.04/16.11	o 45556
16.04/16.12	o 45553
16.13/16.23	o 45552
16.13/16.24	o 45551
16.23/16.33	o 45526
16.23/16.34	o 45515
16.43/16.50	o 45512
16.73/16.80	o 45511
16.73/16.80	o 45510
16.73/16.81	o 45508
16.73/16.81	o 45507
16.73/16.84	o 45496
16.73/16.85	o 45485
16.73/16.89	o 45470
17.12/17.20	o 45402
19.22/19.30	o 45400
19.22/19.31	o 45399
21.41/21.58	o 45395
21.41/21.58	o 45394
21.41/21.59	o 45381
21.51/21.61	o 45377
21.51/21.61	o 45375
21.51/21.63	o 45370
21.51/21.64	o 45292
21.51/21.68	o 45239
21.51/21.69	o 45228
21.61/21.70	o 45223
21.61/21.71	o 45142
21.71/21.81	o 45141
21.71/21.81	o 45140
21.81/21.91	o 45122
21.91/22.04	o 45120
21.91/22.05	o 45119
21.91/22.06	o 45059
22.01/22.12	o 45049
22.01/22.12	o 45029
22.21/22.39	o 44962
22.51/22.65	o 44958
22.51/22.67	o 44957
22.51/22.68	o 44953
22.60/22.73	o 44951
22.60/22.76	o 44936
22.60/22.77	o 44916
22.60/22.77	o 44915
22.70/22.85	o 44911
22.70/22.86	o 44906
22.70/22.87	o 44903
22.80/22.96	o 44844
22.80/22.97	o 44796
23.01/23.11	o 44795
23.01/23.12	o 44751
23.01/23.13	o 44742
23.01/23.13	o 44739
23.01/23.13	o 44734
23.01/23.14	o 44731
23.20/23.36	o 44693
23.20/23.37	o 44684
23.40/23.50	o 44683
23.40/23.51	o 44681
23.40/23.52	o 44668
23.50/23.63	o 44666
23.50/23.64	o 44665
23.50/23.64	o 44661
23.50/23.69	o 44648
23.60/23.71	o 44616
23.60/23.72	o 44579
23.60/23.72	o 44574
23.70/23.86	o 44572
23.70/23.86	o 44571
23.70/23.87	o 44565
23.80/23.91	o 44519
23.80/23.92	o 44508
23.80/23.92	o 44497
23.80/23.99	o 44494
23.91/24.02	o 44445
23.91/24.03	o 44435
23.91/24.03	o 44431
24.01/24.10	o 44426
24.10/24.20	o 44424
24.10/24.20	o 44421
24.10/24.21	o 44420
24.10/24.21	o 44417
24.10/24.22	o 44415
24.10/24.24	o 44346
24.10/24.25	o 44341
24.10/24.26	o 44339
24.20/24.30	o 44331
24.20/24.30	o 44295
24.20/24.38	o 44293
24.20/24.39	o 44289
24.20/24.39	o 44285
24.30/24.40	o 44283
24.30/24.40	o 44272
24.30/24.41	o 44269
24.30/24.41	o 44265
24.30/24.42	o 44264
24.30/24.43	o 44245
24.30/24.43	o 44243
24.30/24.49	o 44241
24.40/24.50	o 44240
24.40/24.52	o 44236
24.59/24.75	o 44235
24.59/24.76	o 44232
24.59/24.76	o 44231
24.59/24.77	o 44230
24.59/24.78	o 44161
24.59/24.78	o 44156
24.69/24.80	o 44152
24.69/24.87	o 44149
24.90/25.03	o 44067
25.09/25.23	o 44066
25.09/25.24	o 44063
25.09/25.24	o 44053
25.09/25.25	o 44048
25.09/25.26	o 44044
25.09/25.27	o 44039
25.09/25.28	o 44028
25.09/25.29	o 44024
25.29/25.41	o 44023
25.29/25.42	o 44011
25.29/25.42	o 44006
25.29/25.43	o 44005
25.29/25.44	o 44004
25.39/25.50	o 44001
25.49/25.60	o 43996
25.49/25.61	o 43993
25.49/25.61	o 43992
25.59/25.78	o 43966
25.59/25.80	o 43947
25.69/25.80	o 43930
25.99/26.13	o 43929
25.99/26.14	o 43927
25.99/26.14	o 43924
25.99/26.15	o 43923
25.99/26.16	o 43918
26.19/26.33	o 43916
26.19/26.33	o 43914
26.19/26.34	o 43903
26.19/26.35	o 43883
26.19/26.37	o 43879
26.19/26.38	o 43878
26.29/26.40	o 43867
26.29/26.41	o 43864
26.29/26.42	o 43863
26.49/26.65	o 43856
26.49/26.65	o 43855
26.49/26.66	o 43854
26.49/26.68	o 43841
26.49/26.68	o 43836
26.59/26.79	o 43831
26.69/26.87	o 43817
26.69/26.87	o 43815
26.69/26.88	o 43808
26.69/26.89	o 43807
26.79/26.90	o 43804
26.89/27.01	o 43788
26.89/27.02	o 43739
26.89/27.02	o 43736
27.09/27.25	o 43735
27.19/27.33	o 43731
27.19/27.34	o 43729
27.19/27.34	o 43728
27.28/27.49	o 43672
27.38/27.59	o 43647
27.38/27.59	o 43642
27.38/27.59	o 43637
27.49/27.60	o 43627
27.49/27.60	o 43623
27.49/27.61	o 43622
27.49/27.61	o 43621
27.79/27.98	o 43618
27.89/28.01	o 43613
28.08/28.27	o 43612
28.08/28.28	o 43610
28.08/28.29	o 43605
28.08/28.29	o 43598
28.18/28.30	o 43594
28.18/28.33	o 43590
28.18/28.34	o 43585
28.18/28.34	o 43584
28.28/28.48	o 43582
28.28/28.48	o 43580
28.38/28.50	o 43579
28.38/28.50	o 43576
28.48/28.61	o 43575
28.59/28.72	o 43561
28.79/28.98	o 43559
28.79/28.99	o 43539
28.89/29.01	o 43527
28.89/29.10	o 43515
28.99/29.10	o 43501
29.18/29.33	o 43500
29.18/29.34	o 43476
29.18/29.34	o 43474
29.48/29.61	o 43464
29.48/29.62	o 43442
29.48/29.62	o 43439
29.48/29.64	o 43438
29.48/29.65	o 43435
29.48/29.65	o 43434
29.68/29.83	o 43429
29.98/30.18	o 43427
29.98/30.19	o 43426
30.08/30.20	o 43424
30.08/30.20	o 43420
30.08/30.25	o 43417
30.08/30.25	o 43401
30.08/30.26	o 43397
30.08/30.26	o 43381
30.08/30.27	o 43375
30.18/30.39	o 43357
30.27/30.40	o 43351
30.27/30.40	o 43337
30.27/30.43	o 43287
30.37/30.59	o 43257
30.47/30.66	o 43254
30.47/30.69	o 43249
30.58/30.70	o 43248
30.58/30.71	o 43237
30.58/30.72	o 43218
30.58/30.72	o 43208
30.58/30.73	o 43199
30.58/30.73	o 43198
30.58/30.73	o 43191
30.58/30.75	o 43187
30.58/30.76	o 43183
30.58/30.76	o 43176
30.58/30.77	o 43175
30.58/30.78	o 43171
30.58/30.78	o 43166
30.68/30.86	o 43163
30.68/30.88	o 43162
30.88/31.06	o 43152
30.98/31.19	o 43096
31.08/31.26	o 43090
31.08/31.27	o 43087
31.08/31.28	o 43085
31.08/31.28	o 43080
31.08/31.29	o 43079
31.18/31.30	o 43078
31.18/31.30	o 43076
31.18/31.31	o 43075
31.18/31.31	o 43070
31.18/31.33	o 43065
31.18/31.34	o 43061
31.28/31.49	o 43054
31.48/31.65	o 43050
31.48/31.66	o 43049
31.67/31.80	o 43048
31.67/31.80	o 43033
31.67/31.80	o 43025
31.67/31.80	o 43024
31.67/31.80	o 43023
31.67/31.89	o 43022
31.77/31.90	o 43018
31.77/31.91	o 43017
31.77/31.92	o 43016
31.88/32.06	o 43008
31.88/32.07	o 43007
31.88/32.09	o 42933
32.17/32.34	o 42894
32.17/32.37	o 42890
32.17/32.37	o 42885
32.17/32.39	o 42884
32.27/32.47	o 42851
32.27/32.48	o 42850
32.37/32.56	o 42839
32.37/32.56	o 42838
32.37/32.58	o 42836
32.37/32.59	o 42831
32.47/32.61	o 42822
32.47/32.61	o 42770
32.47/32.62	o 42769
32.47/32.63	o 42764
32.57/32.73	o 42759
32.57/32.73	o 42755
32.57/32.74	o 42745
32.57/32.74	o 42744
32.87/33.09	o 42654
33.06/33.22	o 42653
33.06/33.23	o 42650
33.06/33.24	o 42649
33.06/33.24	o 42646
33.06/33.25	o 42645
33.26/33.45	o 42644
33.26/33.46	o 42643
33.26/33.46	o 42640
33.26/33.48	o 42631
33.26/33.48	o 42630
33.37/33.51	o 42572
33.47/33.64	o 42548
33.47/33.65	o 42525
33.57/33.71	o 42508
33.57/33.71	o 42507
33.77/33.92	o 42505
33.77/33.93	o 42498
33.87/34.01	o 42489
33.87/34.02	o 42485
33.87/34.02	o 42469
33.87/34.04	o 42457
33.97/34.18	o 42409
34.07/34.20	o 42404
34.07/34.20	o 42369
34.17/34.35	o 42362
34.17/34.36	o 42359
34.17/34.36	o 42358
34.17/34.38	o 42353
34.37/34.50	o 42342
34.37/34.54	o 42339
34.37/34.55	o 42325
34.37/34.56	o 42273
34.37/34.57	o 42272
34.47/34.63	o 42267
34.56/34.72	o 42265
34.56/34.73	o 42253
34.56/34.75	o 42248
34.66/34.87	o 42243
34.66/34.87	o 42242
34.66/34.88	o 42205
34.66/34.88	o 42196
34.66/34.89	o 42195
34.76/34.90	o 42190
34.76/34.90	o 42180
34.76/34.91	o 42175
34.76/34.91	o 42174
34.76/34.92	o 42170
34.86/35.03	o 42102
34.86/35.04	o 42095
34.96/35.11	o 42092
34.96/35.13	o 42091
35.06/35.29	o 42052
35.16/35.35	o 42047
35.16/35.36	o 42044
35.16/35.36	o 42043
35.25/35.40	o 42042
35.25/35.42	o 42041
35.25/35.42	o 42039
35.25/35.43	o 42034
35.25/35.43	o 42031
35.25/35.44	o 42030
35.25/35.46	o 42020
35.25/35.47	o 42011
35.25/35.47	o 42010
35.25/35.49	o 42007
35.25/35.49	o 42002
35.35/35.50	o 42001
35.35/35.50	o 42000
35.35/35.52	o 41998
35.35/35.53	o 41993
35.35/35.53	o 41977
35.35/35.54	o 41976
35.35/35.59	o 41971
35.46/35.60	o 41967
35.46/35.61	o 41966
35.46/35.69	o 41963
35.56/35.70	o 41962
35.56/35.79	o 41915
35.56/35.79	o 41910
35.66/35.80	o 41909
35.66/35.85	o 41888
35.66/35.86	o 41851
35.66/35.86	o 41846
35.66/35.87	o 41829
35.66/35.87	o 41826
35.76/35.98	o 41825
35.76/35.99	o 41805
35.76/36.00	o 41801
36.05/36.22	o 41777
36.05/36.23	o 41771
36.05/36.24	o 41769
36.15/36.37	o 41767
36.15/36.38	o 41763
36.15/36.39	o 41760
36.25/36.40	o 41759
36.35/36.58	o 41757
36.45/36.60	o 41750
36.45/36.61	o 41736
36.65/36.82	o 41727
36.65/36.84	o 41714
36.65/36.85	o 41672
36.65/36.85	o 41655
36.65/36.85	o 41650
36.65/36.86	o 41647
36.75/36.94	o 41641
36.75/36.95	o 41628
36.75/36.95	o 41627
36.75/36.96	o 41626
36.75/36.98	o 41620
36.75/36.98	o 41619
36.75/36.99	o 41601
36.75/36.99	o 41600
36.75/37.00	o 41597
36.85/37.04	o 41582
36.85/37.05	o 41563
36.95/37.19	o 41548
36.95/37.19	o 41544
37.05/37.22	o 41543
37.05/37.23	o 41542
37.05/37.23	o 41541
37.05/37.24	o 41538
37.05/37.25	o 41534
37.05/37.25	o 41533
37.05/37.25	o 41530
37.05/37.26	o 41525
37.14/37.34	o 41491
37.14/37.35	o 41486
37.14/37.36	o 41481
37.14/37.38	o 41480
37.25/37.49	o 41404
37.35/37.50	o 41399
37.35/37.58	o 41379
37.35/37.59	o 41368
37.35/37.59	o 41363
37.35/37.59	o 41358
37.45/37.60	o 41356
37.45/37.63	o 41351
37.45/37.67	o 41254
37.55/37.76	o 41192
37.65/37.83	o 41187
37.65/37.86	o 41161
37.74/37.99	o 41085
37.86/38.01	o 41081
37.96/38.10	o 41060
37.96/38.11	o 41057
37.96/38.13	o 40988
37.96/38.14	o 40983
38.15/38.32	o 40951
38.15/38.34	o 40939
38.15/38.34	o 40930
38.15/38.35	o 40917
38.25/38.46	o 40882
38.35/38.51	o 40880
38.35/38.52	o 40873
38.35/38.54	o 40871
38.35/38.54	o 40870
38.35/38.55	o 40863
38.35/38.55	o 40862
38.35/38.56	o 40859
38.35/38.56	o 40854
38.45/38.62	o 40835
38.45/38.64	o 40821
38.45/38.65	o 40799
38.45/38.65	o 40785
38.45/38.69	o 40751
38.55/38.70	o 40748
38.55/38.72	o 40702
38.55/38.73	o 40674
38.64/38.87	o 40651
38.64/38.87	o 40648
38.64/38.87	o 40643
38.74/38.90	o 40617
38.74/38.91	o 40615
38.85/39.00	o 40567
38.85/39.00	o 40564
38.85/39.00	o 40560
38.85/39.01	o 40554
38.85/39.01	o 40545
38.95/39.11	o 40481
38.95/39.19	o 40442
39.04/39.22	o 40437
39.04/39.25	o 40418
39.04/39.26	o 40388
39.14/39.35	o 40385
39.14/39.35	o 40380
39.14/39.36	o 40379
39.14/39.36	o 40376
39.14/39.38	o 40302
39.34/39.53	o 40281
39.34/39.55	o 40231
39.44/39.61	o 40211
39.44/39.62	o 40208
42.64/42.80	o 40184
42.64/42.86	o 40180
42.64/42.89	o 40163
42.74/42.90	o 40159
42.74/42.91	o 40155
42.74/42.96	o 40094
42.84/43.06	o 40025
42.84/43.06	o 40009
42.94/43.13	o 39974
42.94/43.13	o 39959
42.94/43.13	o 39943
42.94/43.15	o 39941
43.03/43.25	o 39911
43.03/43.29	o 39905
43.03/43.29	o 39896
43.13/43.31	o 39857
43.13/43.32	o 39856
43.13/43.32	o 39819
43.23/43.48	o 39780
43.23/43.48	o 39771
43.33/43.52	o 39741
43.33/43.53	o 39710
43.33/43.53	o 39709
43.33/43.54	o 39672
43.43/43.65	o 39671
43.43/43.67	o 39644
43.53/43.72	o 39633
43.53/43.74	o 39616
43.53/43.78	o 39593
43.53/43.79	o 39584
43.63/43.82	o 39565
43.63/43.82	o 39528
43.63/43.83	o 39527
43.73/43.95	o 39428
43.84/44.05	o 39342
43.94/44.14	o 39315
43.94/44.17	o 39273
44.03/44.25	o 39241
44.03/44.26	o 39153
44.13/44.37	o 39085
44.23/44.43	o 39067
44.23/44.44	o 39065
44.23/44.44	o 39028
44.23/44.45	o 39027
44.33/44.52	o 38990
44.33/44.54	o 38910
44.43/44.67	o 38857
44.53/44.73	o 38845
44.53/44.75	o 38844
44.53/44.76	o 38795
44.53/44.76	o 38783
44.63/44.84	o 38778
44.63/44.85	o 38700
44.63/44.85	o 38696
44.73/44.93	o 38638
44.73/45.00	o 38596
44.83/45.03	o 38579
44.83/45.05	o 38574
44.93/45.13	o 38538
44.93/45.14	o 38519
44.93/45.14	o 38491
45.02/45.22	o 38487
45.02/45.22	o 38475
45.12/45.34	o 38459
45.22/45.47	o 38419
45.22/45.48	o 38416
45.22/45.48	o 38413
45.22/45.49	o 38412
45.32/45.50	o 38410
45.32/45.51	o 38403
45.32/45.56	o 38334
45.42/45.63	o 38313
45.42/45.65	o 38276
45.52/45.70	o 38223
45.52/45.76	o 38222
45.52/45.77	o 38177
45.62/45.80	o 38150
45.62/45.81	o 38141
45.62/45.81	o 38140
45.62/45.84	o 38124
45.62/45.88	o 38098
45.62/45.89	o 38065
45.62/45.89	o 38038
45.72/45.96	o 38032
45.72/45.97	o 38027
45.72/45.98	o 38000
45.82/46.02	o 37942
45.82/46.02	o 37923
45.82/46.03	o 37913
45.92/46.11	o 37898
46.12/46.37	o 37897
46.12/46.38	o 37896
46.12/46.38	o 37890
46.22/46.41	o 37888
46.22/46.41	o 37832
46.22/46.42	o 37808
46.22/46.43	o 37807
46.22/46.49	o 37794
46.42/46.60	o 37787
46.42/46.61	o 37768
46.42/46.62	o 37754
46.42/46.68	o 37753
46.42/46.68	o 37746
46.42/46.69	o 37743
46.42/46.69	o 37740
46.52/46.70	o 37739
46.52/46.70	o 37731
46.52/46.71	o 37730
46.52/46.71	o 37717
46.52/46.72	o 37715
46.52/46.72	o 37707
46.52/46.73	o 37702
46.72/46.99	o 37698
46.72/47.00	o 37671
46.82/47.00	o 37666
46.82/47.01	o 37662
46.82/47.04	o 37659
46.82/47.09	o 37604
46.92/47.14	o 37597
46.92/47.14	o 37592
46.92/47.15	o 37590
46.92/47.15	o 37536
47.01/47.20	o 37487
47.01/47.20	o 37483
47.01/47.24	o 37417
47.01/47.25	o 37414
47.01/47.25	o 37412
47.01/47.25	o 37410
47.11/47.31	o 37383
47.11/47.31	o 37379
47.11/47.32	o 37325
47.11/47.39	o 37259
47.21/47.40	o 37256
47.21/47.41	o 37254
47.21/47.41	o 37252
47.21/47.45	o 37224
47.21/47.46	o 37220
47.21/47.46	o 37166
47.31/47.55	o 37142
47.31/47.56	o 37131
47.31/47.56	o 37105
47.31/47.57	o 37103
47.41/47.61	o 37089
47.41/47.61	o 37085
47.41/47.62	o 37031
47.41/47.68	o 37007
47.41/47.68	o 37005
47.51/47.71	o 36993
47.51/47.72	o 36989
47.51/47.73	o 36901
47.61/47.81	o 36845
47.61/47.81	o 36836
47.61/47.87	o 36777
47.71/47.93	o 36757
47.71/47.96	o 36748
47.71/47.96	o 36731
47.71/48.00	o 36684
47.82/48.02	o 36617
47.82/48.09	o 36615
47.82/48.09	o 36571
47.82/48.10	o 36539
47.92/48.18	o 36507
48.01/48.21	o 36505
48.01/48.23	o 36500
48.01/48.25	o 36427
48.11/48.30	o 36380
48.11/48.33	o 36280
48.21/48.41	o 36215
48.21/48.46	o 36135
48.31/48.53	o 36127
48.31/48.54	o 36104
48.31/48.54	o 36095
48.31/48.55	o 36087
48.41/48.60	o 36069
48.41/48.62	o 36056
48.41/48.63	o 36046
48.41/48.69	o 36012
48.41/48.69	o 36008
48.51/48.72	o 35938
48.61/48.81	o 35931
48.61/48.83	o 35904
48.61/48.84	o 35886
48.61/48.84	o 35843
48.71/48.91	o 35712
48.81/49.02	o 35705
48.81/49.05	o 35648
48.81/49.05	o 35635
48.81/49.06	o 35608
48.91/49.12	o 35587
48.91/49.15	o 35567
48.91/49.15	o 35566
48.91/49.19	o 35527
49.01/49.21	o 35490
49.01/49.22	o 35459
49.01/49.29	o 35445
49.11/49.30	o 35412
49.11/49.30	o 35411
49.11/49.31	o 35410
49.11/49.33	o 35343
49.11/49.34	o 35289
49.20/49.41	o 35274
49.20/49.42	o 35200
49.30/49.51	o 35177
49.30/49.52	o 35160
49.30/49.55	o 35145
49.30/49.56	o 35142
49.30/49.58	o 35097
49.40/49.62	o 34924
49.50/49.72	o 34906
49.50/49.73	o 34856
49.50/49.77	o 34843
49.50/49.78	o 34834
49.50/49.78	o 34830
49.60/49.80	o 34775
49.60/49.81	o 34746
49.60/49.82	o 34743
49.60/49.89	o 34727
49.70/49.92	o 34712
49.70/49.93	o 34702
49.70/49.93	o 34664
49.70/49.93	o 34642
49.70/49.94	o 34638
49.81/50.01	o 34603
49.81/50.01	o 34598
49.81/50.04	o 34514
49.91/50.12	o 34484
49.91/50.15	o 34452
49.91/50.16	o 34441
50.00/50.23	o 34431
50.00/50.25	o 34429
50.00/50.26	o 34419
50.10/50.30	o 34418
50.10/50.33	o 34416
50.10/50.33	o 34413
50.10/50.33	o 34403
50.10/50.36	o 34366
50.10/50.37	o 34317
50.20/50.44	o 34271
50.20/50.45	o 34246
50.20/50.45	o 34242
50.30/50.51	o 34240
50.30/50.51	o 34222
50.30/50.52	o 34210
50.30/50.52	o 34207
50.30/50.55	o 34136
50.30/50.56	o 34133
50.40/50.64	o 34132
50.40/50.64	o 34114
50.40/50.65	o 34102
50.40/50.65	o 34099
50.40/50.65	o 34096
50.40/50.66	o 34066
50.50/50.73	o 34054
50.50/50.73	o 34046
50.50/50.76	o 33973
50.50/50.77	o 33959
50.60/50.86	o 33922
50.60/50.87	o 33904
50.60/50.87	o 33900
50.60/50.88	o 33892
50.70/50.92	o 33848
50.70/50.93	o 33846
50.70/50.96	o 33797
50.70/50.96	o 33796
50.80/51.04	o 33766
50.80/51.08	o 33764
50.80/51.08	o 33729
50.80/51.09	o 33728
50.90/51.12	o 33706
50.90/51.13	o 33704
50.90/51.14	o 33691
50.90/51.16	o 33672
50.90/51.16	o 33671
51.00/51.22	o 33647
51.00/51.24	o 33634
51.00/51.25	o 33621
51.00/51.25	o 33619
51.00/51.26	o 33604
51.00/51.26	o 33601
51.10/51.30	o 33561
51.10/51.35	o 33558
51.10/51.35	o 33557
51.10/51.35	o 33549
51.10/51.37	o 33525
51.10/51.38	o 33520
51.10/51.38	o 33506
51.10/51.39	o 33494
51.10/51.39	o 33493
51.10/51.39	o 33492
51.20/51.40	o 33491
51.20/51.40	o 33481
51.20/51.41	o 33479
51.20/51.47	o 33452
51.20/51.48	o 33449
51.20/51.49	o 33443
51.20/51.49	o 33442
51.30/51.50	o 33441
51.30/51.50	o 33440
51.30/51.51	o 33438
51.30/51.54	o 33421
51.30/51.54	o 33419
51.30/51.54	o 33418
51.30/51.56	o 33414
51.30/51.56	o 33399
51.30/51.58	o 33396
51.30/51.58	o 33394
51.30/51.58	o 33365
51.30/51.59	o 33360
51.30/51.59	o 33359
51.40/51.64	o 33358
51.40/51.66	o 33307
51.40/51.66	o 33305
51.40/51.67	o 33301
51.40/51.67	o 33293
51.40/51.67	o 33292
51.40/51.68	o 33291
51.40/51.68	o 33290
51.50/51.73	o 33260
51.50/51.73	o 33226
51.50/51.78	o 33206
51.60/51.80	o 33175
51.60/51.81	o 33164
51.60/51.82	o 33125
51.60/51.82	o 33108
51.60/51.83	o 33101
51.60/51.83	o 33096
51.60/51.84	o 33083
51.60/51.84	o 33081
51.70/51.91	o 33073
51.70/51.92	o 33006
51.80/52.01	o 32990
51.80/52.04	o 32979
51.80/52.04	o 32912
51.80/52.04	o 32911
51.90/52.12	o 32908
51.90/52.12	o 32903
51.90/52.13	o 32891
51.90/52.14	o 32837
51.90/52.18	o 32817
51.90/52.18	o 32788
51.90/52.18	o 32787
51.90/52.19	o 32770
51.90/52.19	o 32757
51.99/52.20	o 32750
51.99/52.25	o 32688
52.09/52.30	o 32686
52.09/52.30	o 32673
52.09/52.32	o 32636
52.09/52.33	o 32620
52.09/52.33	o 32618
52.09/52.37	o 32559
52.19/52.44	o 32495
52.19/52.44	o 32488
52.29/52.50	o 32470
52.29/52.52	o 32420
52.39/52.60	o 32412
52.39/52.60	o 32357
52.39/52.61	o 32352
52.39/52.61	o 32351
52.39/52.61	o 32345
52.39/52.62	o 32340
52.39/52.62	o 32339
52.39/52.65	o 32335
52.39/52.66	o 32321
52.39/52.66	o 32305
52.39/52.66	o 32300
52.49/52.70	o 32295
52.49/52.72	o 32289
52.49/52.76	o 32275
52.49/52.76	o 32256
52.49/52.77	o 32244
52.49/52.77	o 32233
52.59/52.82	o 32198
52.59/52.83	o 32195
52.59/52.86	o 32191
52.59/52.87	o 32178
52.59/52.87	o 32157
52.69/52.90	o 32094
52.69/52.94	o 32084
52.69/52.95	o 32023
52.69/52.95	o 32014
52.80/53.01	o 31986
52.80/53.04	o 31948
52.80/53.09	o 31923
52.90/53.11	o 31911
52.90/53.11	o 31870
52.90/53.15	o 31794
52.90/53.19	o 31779
52.99/53.20	o 31737
52.99/53.20	o 31732
52.99/53.24	o 31631
53.09/53.31	o 31630
53.09/53.32	o 31627
53.09/53.35	o 31601
53.19/53.43	o 31528
53.29/53.50	o 31527
53.29/53.50	o 31524
53.29/53.53	o 31447
53.29/53.53	o 31437
53.39/53.63	o 31430
53.39/53.66	o 31411
53.39/53.67	o 31370
53.49/53.73	o 31366
53.49/53.73	o 31364
53.49/53.74	o 31363
53.49/53.74	o 31362
53.49/53.76	o 31359
53.49/53.76	o 31343
53.49/53.78	o 31325
53.49/53.78	o 31306
53.49/53.79	o 31300
53.49/53.79	o 31283
53.49/53.79	o 31279
53.59/53.80	o 31273
53.59/53.86	o 31262
53.59/53.87	o 31213
53.69/53.90	o 31169
53.69/53.91	o 31163
53.69/53.91	o 31158
53.69/53.91	o 31157
53.69/53.92	o 31153
53.69/53.96	o 31149
53.69/53.97	o 31144
53.79/54.01	o 31124
53.79/54.02	o 31109
53.79/54.03	o 31098
53.79/54.03	o 31091
53.79/54.04	o 31078
53.79/54.04	o 31071
53.79/54.05	o 31070
53.79/54.06	o 31069
53.79/54.06	o 31068
53.79/54.10	o 31039
53.89/54.11	o 31036
53.89/54.12	o 31035
53.89/54.13	o 31029
53.89/54.13	o 30983
53.89/54.18	o 30950
53.89/54.19	o 30945
53.99/54.23	o 30919
53.99/54.27	o 30903
53.99/54.29	o 30834
54.08/54.30	o 30829
54.18/54.40	o 30811
54.18/54.43	o 30754
54.18/54.46	o 30749
54.18/54.47	o 30746
54.18/54.49	o 30705
54.28/54.51	o 30687
54.28/54.52	o 30682
54.28/54.54	o 30562
54.38/54.60	o 30476
54.38/54.67	o 30469
54.38/54.68	o 30400
54.38/54.69	o 30395
54.48/54.76	o 30343
54.58/54.80	o 30288
54.58/54.84	o 30283
54.58/54.87	o 30251
54.58/54.89	o 30250
54.68/54.91	o 30246
54.68/54.94	o 30207
54.68/54.95	o 30153
54.68/54.97	o 30107
54.68/54.99	o 30098
54.79/55.04	o 30096
54.79/55.04	o 30065
54.79/55.05	o 30060
54.79/55.09	o 30034
54.89/55.12	o 29965
54.89/55.13	o 29896
54.89/55.15	o 29891
54.98/55.26	o 29832
55.08/55.31	o 29823
55.08/55.31	o 29818
55.08/55.35	o 29781
55.08/55.36	o 29735
55.18/55.40	o 29730
55.18/55.42	o 29715
55.18/55.48	o 29714
55.18/55.49	o 29705
55.18/55.49	o 29701
55.28/55.50	o 29659
55.28/55.52	o 29658
55.28/55.53	o 29654
55.28/55.53	o 29623
55.28/55.57	o 29556
55.38/55.62	o 29540
55.38/55.62	o 29521
55.38/55.63	o 29516
55.38/55.67	o 29482
55.38/55.70	o 29426
55.48/55.73	o 29421
55.48/55.75	o 29415
55.48/55.77	o 29392
55.48/55.78	o 29372
55.58/55.80	o 29321
55.58/55.85	o 29276
55.58/55.87	o 29271
55.58/55.89	o 29167
55.68/55.98	o 29135
55.68/56.00	o 29094
55.78/56.03	o 29069
55.78/56.05	o 29062
55.78/56.06	o 28993
55.78/56.07	o 28988
55.88/56.14	o 28987
55.88/56.15	o 28932
55.88/56.15	o 28929
55.88/56.15	o 28927
55.88/56.16	o 28926
55.88/56.17	o 28925
55.97/56.21	o 28859
55.97/56.25	o 28821
55.97/56.27	o 28815
56.07/56.30	o 28746
56.07/56.33	o 28741
56.07/56.36	o 28689
56.07/56.37	o 28687
56.17/56.40	o 28664
56.17/56.42	o 28632
56.17/56.44	o 28563
56.17/56.44	o 28558
56.27/56.54	o 28533
56.27/56.54	o 28530
56.27/56.55	o 28528
56.27/56.55	o 28527
56.27/56.56	o 28526
56.27/56.56	o 28521
56.27/56.59	o 28457
56.27/56.59	o 28419
56.37/56.64	o 28363
56.47/56.70	o 28317
56.47/56.72	o 28307
56.47/56.74	o 28234
56.47/56.74	o 28233
56.47/56.75	o 28228
56.47/56.76	o 28227
56.47/56.77	o 28225
56.47/56.77	o 28224
56.47/56.77	o 28223
56.57/56.86	o 28208
56.57/56.86	o 28153
56.57/56.87	o 28150
56.57/56.87	o 28148
56.57/56.88	o 28147
56.57/56.88	o 28146
56.68/56.92	o 28145
56.68/56.92	o 28112
56.68/56.93	o 28060
56.68/56.98	o 27982
56.78/57.03	o 27960
56.78/57.08	o 27910
56.88/57.12	o 27904
56.88/57.12	o 27897
56.88/57.13	o 27823
56.98/57.22	o 27818
56.98/57.24	o 27743
56.98/57.27	o 27681
57.08/57.30	o 27678
57.08/57.33	o 27674
57.08/57.33	o 27671
57.08/57.34	o 27660
57.08/57.35	o 27659
57.08/57.36	o 27657
57.08/57.36	o 27651
57.08/57.37	o 27646
57.08/57.39	o 27636
57.18/57.40	o 27635
57.18/57.41	o 27629
57.18/57.43	o 27625
57.18/57.44	o 27622
57.18/57.44	o 27621
57.18/57.44	o 27616
57.18/57.45	o 27613
57.18/57.45	o 27612
57.18/57.46	o 27605
57.18/57.49	o 27604
57.28/57.51	o 27523
57.28/57.58	o 27522
57.28/57.59	o 27520
57.38/57.61	o 27494
57.38/57.63	o 27431
57.38/57.64	o 27427
57.38/57.64	o 27413
57.38/57.69	o 27379
57.48/57.72	o 27367
57.48/57.73	o 27298
57.48/57.74	o 27293
57.58/57.83	o 27275
57.58/57.84	o 27274
57.58/57.84	o 27273
57.58/57.84	o 27271
57.58/57.85	o 27266
57.58/57.88	o 27261
57.68/57.90	o 27242
57.68/57.91	o 27190
57.68/57.94	o 27092
57.68/57.95	o 27068
57.68/58.00	o 27001
57.78/58.04	o 26955
57.78/58.05	o 26949
57.78/58.07	o 26944
57.78/58.08	o 26904
57.88/58.14	o 26859
57.88/58.17	o 26856
57.97/58.22	o 26839
57.97/58.24	o 26816
57.97/58.29	o 26799
58.07/58.31	o 26794
58.07/58.36	o 26769
58.07/58.37	o 26710
58.17/58.42	o 26667
58.17/58.43	o 26662
58.17/58.47	o 26648
58.27/58.50	o 26641
58.27/58.51	o 26572
58.27/58.51	o 26567
58.37/58.60	o 26529
58.37/58.62	o 26527
58.37/58.63	o 26482
58.37/58.65	o 26477
58.37/58.68	o 26439
58.47/58.70	o 26425
58.47/58.71	o 26420
58.47/58.73	o 26409
58.47/58.74	o 26324
58.57/58.80	o 26301
58.57/58.84	o 26286
58.57/58.84	o 26283
58.57/58.85	o 26269
58.57/58.85	o 26266
58.57/58.86	o 26251
58.57/58.89	o 26246
58.67/58.91	o 26228
58.67/58.93	o 26217
58.67/58.95	o 26191
58.67/58.99	o 26189
58.67/58.99	o 26153
58.67/59.00	o 26152
58.77/59.01	o 26151
58.77/59.02	o 26149
58.77/59.04	o 26119
58.77/59.05	o 26072
58.77/59.06	o 26071
58.77/59.06	o 26069
58.88/59.11	o 26046
58.88/59.11	o 26009
58.88/59.12	o 26008
58.88/59.14	o 25984
58.88/59.15	o 25937
58.88/59.15	o 25936
58.88/59.15	o 25934
58.97/59.23	o 25904
58.97/59.25	o 25889
58.97/59.25	o 25888
58.97/59.28	o 25862
58.97/59.29	o 25861
58.97/59.29	o 25859
59.07/59.31	o 25855
59.07/59.31	o 25854
59.07/59.34	o 25849
59.07/59.36	o 25818
59.07/59.36	o 25802
59.07/59.37	o 25800
59.17/59.42	o 25797
59.17/59.44	o 25774
59.17/59.44	o 25752
59.17/59.45	o 25751
59.17/59.48	o 25726
59.17/59.48	o 25710
59.17/59.49	o 25708
59.27/59.50	o 25702
59.27/59.54	o 25699
59.27/59.55	o 25679
59.27/59.60	o 25605
59.37/59.68	o 25592
59.37/59.68	o 25583
59.37/59.68	o 25582
59.37/59.69	o 25577
59.47/59.74	o 25521
59.47/59.74	o 25519
59.47/59.77	o 25445
59.47/59.79	o 25441
59.47/59.79	o 25440
59.57/59.83	o 25405
59.57/59.86	o 25340
59.57/59.89	o 25335
59.66/59.91	o 25334
59.66/59.93	o 25298
59.66/59.94	o 25276
59.66/59.96	o 25273
59.66/59.98	o 25269
59.77/60.01	o 25184
59.77/60.01	o 25183
59.77/60.01	o 25182
59.77/60.02	o 25180
59.77/60.05	o 25107
59.87/60.11	o 25079
59.87/60.12	o 25074
59.87/60.14	o 25029
59.87/60.17	o 24983
59.87/60.19	o 24978
59.96/60.22	o 24965
59.96/60.25	o 24935
59.96/60.26	o 24850
60.06/60.31	o 24814
60.06/60.32	o 24812
60.06/60.33	o 24743
60.06/60.33	o 24738
60.16/60.44	o 24725
60.16/60.47	o 24715
60.16/60.48	o 24701
60.16/60.49	o 24696
60.26/60.50	o 24638
60.26/60.57	o 24607
60.26/60.57	o 24606
60.26/60.58	o 24605
60.26/60.58	o 24603
60.26/60.59	o 24598
60.36/60.63	o 24595
60.36/60.66	o 24583
60.36/60.67	o 24514
60.36/60.68	o 24509
60.46/60.77	o 24490
60.46/60.80	o 24489
60.56/60.80	o 24475
60.56/60.80	o 24473
60.56/60.81	o 24428
60.56/60.83	o 24427
60.56/60.83	o 24426
60.56/60.83	o 24425
60.56/60.84	o 24423
60.56/60.88	o 24416
60.56/60.89	o 24394
60.66/60.90	o 24382
60.66/60.91	o 24313
60.66/60.91	o 24308
60.76/61.04	o 24267
60.76/61.04	o 24266
60.76/61.04	o 24265
60.76/61.05	o 24263
60.76/61.07	o 24202
60.86/61.11	o 24115
60.86/61.15	o 24108
60.86/61.18	o 24083
71.22/71.51	o 24082
71.22/71.56	o 24080
71.62/71.92	o 24079
73.31/73.60	o 24078
74.01/74.38	o 24050
74.11/74.45	o 24046
75.21/75.57	o 24041
75.21/75.57	o 24037
75.21/75.59	o 24033
75.31/75.62	o 24017
76.01/76.35	o 24015
76.01/76.35	o 23974
76.01/76.36	o 23922
77.40/77.72	o 23920
77.40/77.73	o 23918
77.40/77.75	o 23917
77.40/77.78	o 23916
77.71/78.05	o 23915
77.71/78.06	o 23914
77.71/78.07	o 23906
77.71/78.07	o 23903
78.00/78.36	o 23901
78.00/78.36	o 23899
78.10/78.42	o 23897
78.30/78.62	o 23818
78.70/79.07	o 23806
78.70/79.08	o 23796
78.70/79.08	o 23792
78.70/79.09	o 23791
78.70/79.09	o 23787
78.80/79.10	o 23780
78.80/79.11	o 23779
78.80/79.13	o 23763
78.80/79.19	o 23714
78.90/79.21	o 23656
78.90/79.22	o 23633
79.20/79.50	o 23556
79.59/79.99	o 23554
79.59/80.00	o 23531
79.70/80.06	o 23529
80.09/80.42	o 23500
80.70/81.10	o 23497
80.80/81.10	o 23493
80.80/81.11	o 23492
80.80/81.11	o 23488
80.80/81.12	o 23487
80.89/81.20	o 23485
80.89/81.25	o 23480
81.39/81.76	o 23465
81.39/81.77	o 23421
82.09/82.44	o 23397
82.09/82.45	o 23392
82.09/82.45	o 23389
82.09/82.45	o 23388
82.09/82.46	o 23386
82.09/82.47	o 23382
82.09/82.47	o 23381
82.09/82.48	o 23379
82.09/82.49	o 23378
82.09/82.49	o 23371
82.19/82.51	o 23355
82.98/83.31	o 23351
83.38/83.77	o 23350
83.38/83.78	o 23348
83.38/83.79	o 23266
83.58/83.95	o 23206
83.58/83.95	o 23200
83.58/83.96	o 23194
83.68/84.01	o 23193
83.98/84.36	o 23180
83.98/84.37	o 23179
83.98/84.39	o 23136
84.78/85.12	o 23130
84.78/85.13	o 23091
85.17/85.53	o 23079
85.17/85.54	o 23076
85.17/85.59	o 23031
85.17/85.59	o 23029
85.27/85.60	o 23018
85.27/85.60	o 23017
85.37/85.75	o 22995
85.37/85.76	o 22939
85.37/85.76	o 22931
86.07/86.40	o 22930
86.07/86.41	o 22929
86.07/86.42	o 22928
86.07/86.42	o 22926
86.27/86.63	o 22925
86.27/86.64	o 22924
86.27/86.65	o 22921
86.27/86.66	o 22920
86.27/86.67	o 22917
86.37/86.75	o 22915
86.57/86.90	o 22847
86.67/87.09	o 22808
86.77/87.10	o 22797
87.17/87.54	o 22795
87.17/87.54	o 22793
87.17/87.55	o 22788
87.17/87.58	o 22780
87.47/87.80	o 22774
87.47/87.80	o 22771
87.47/87.81	o 22769
87.47/87.87	o 22701
88.06/88.46	o 22685
91.55/91.99	o 22653
91.55/92.00	o 22637
91.85/92.26	o 22629
91.85/92.26	o 22575
92.15/92.54	o 22572
92.25/92.65	o 22483
92.45/92.87	o 22405
92.65/93.05	o 22372
92.65/93.05	o 22353
92.95/93.34	o 22345
93.15/93.53	o 22313
93.15/93.54	o 22308
93.35/93.74	o 22306
93.54/93.94	o 22299
93.54/93.95	o 22297
93.54/93.98	o 22291
93.54/93.98	o 22286
93.54/93.99	o 22285
93.84/94.27	o 22226
93.84/94.27	o 22204
93.84/94.27	o 22199
94.14/94.53	o 22198
94.14/94.54	o 22193
94.14/94.56	o 22191
94.14/94.56	o 22189
94.14/94.58	o 22166
94.34/94.70	o 22137
94.44/94.86	o 22134
94.44/94.86	o 22129
94.44/94.87	o 22125
94.54/94.94	o 22100
94.54/94.96	o 22098
94.54/94.96	o 22096
94.65/95.01	o 22084
94.75/95.15	o 22079
94.75/95.16	o 22074
94.75/95.17	o 22072
94.75/95.18	o 22070
94.84/95.20	o 22047
94.84/95.25	o 22045
94.84/95.26	o 22043
94.84/95.27	o 22036
94.84/95.27	o 21958
94.84/95.28	o 21955
95.04/95.43	o 21902
95.04/95.44	o 21894
95.04/95.44	o 21878
95.14/95.58	o 21869
95.14/95.59	o 21868
95.24/95.60	o 21866
95.24/95.65	o 21864
95.24/95.68	o 21852
95.24/95.68	o 21841
95.44/95.87	o 21840
95.44/95.90	o 21838
95.54/95.99	o 21829
95.74/96.13	o 21827
95.74/96.13	o 21816
95.94/96.32	o 21815
95.94/96.36	o 21813
96.04/96.40	o 21720
96.14/96.54	o 21713
96.34/96.74	o 21691
96.34/96.74	o 21680
96.34/96.78	o 21678
96.34/96.79	o 21676
96.53/96.91	o 21644
96.83/97.27	o 21638
96.83/97.28	o 21634
96.93/97.30	o 21620
96.93/97.33	o 21615
97.03/97.49	o 21597
97.13/97.50	o 21580
97.23/97.62	o 21571
97.34/97.79	o 21496
97.44/97.88	o 21494
97.44/97.89	o 21490
97.44/97.89	o 21488
97.54/97.90	o 21472
97.54/97.91	o 21438
97.54/97.92	o 21433
97.54/97.93	o 21430
97.54/97.94	o 21411
97.54/97.94	o 21410
97.54/97.94	o 21409
97.54/97.95	o 21407
97.54/97.95	o 21405
97.54/97.97	o 21400
97.54/97.98	o 21398
97.54/97.99	o 21393
97.54/98.00	o 21391
97.64/98.00	o 21380
97.64/98.01	o 21375
97.64/98.02	o 21372
97.64/98.02	o 21368
97.64/98.09	o 21363
97.64/98.09	o 21359
97.64/98.10	o 21357
97.94/98.35	o 21354
97.94/98.36	o 21350
97.94/98.36	o 21348
97.94/98.37	o 21342
97.94/98.37	o 21337
98.14/98.50	o 21301
98.24/98.63	o 21277
98.24/98.63	o 21238
98.24/98.64	o 21230
98.44/98.80	o 21228
98.44/98.81	o 21223
98.54/98.91	o 21200
98.54/98.99	o 21108
98.74/99.19	o 21106
98.74/99.20	o 21104
98.84/99.20	o 21093
98.84/99.26	o 21088
98.84/99.26	o 21086
98.84/99.27	o 21082
98.84/99.29	o 21075
98.84/99.29	o 20998
98.84/99.29	o 20986
99.03/99.44	o 20944
99.23/99.60	o 20943
99.23/99.60	o 20941
99.23/99.61	o 20939
99.23/99.64	o 20919
99.23/99.64	o 20913
99.23/99.65	o 20854
99.23/99.65	o 20852
99.43/99.83	o 20836
99.64/100.04	o 20835
99.64/100.05	o 20831
99.93/100.35	o 20826
99.93/100.36	o 20822
99.93/100.37	o 20820
99.93/100.37	o 20819
99.93/100.37	o 20815
99.93/100.38	o 20813
99.93/100.38	o 20812
100.03/100.40	o 20811
100.03/100.41	o 20804
100.03/100.41	o 20802
100.03/100.43	o 20800
100.03/100.46	o 20798
100.03/100.47	o 20796
100.03/100.48	o 20795
100.03/100.49	o 20788
100.03/100.49	o 20786
100.13/100.51	o 20784
100.13/100.54	o 20777
100.13/100.55	o 20775
100.13/100.55	o 20773
100.13/100.57	o 20768
100.13/100.57	o 20761
100.13/100.58	o 20750
100.53/100.94	o 20749
100.53/100.95	o 20747
100.53/100.95	o 20741
100.53/100.96	o 20736
100.53/100.97	o 20730
100.53/100.97	o 20729
100.63/101.00	o 20722
100.63/101.01	o 20721
100.63/101.02	o 20712
100.63/101.05	o 20703
100.63/101.06	o 20699
100.83/101.22	o 20698
100.83/101.22	o 20695
100.83/101.22	o 20693
100.93/101.33	o 20605
100.93/101.36	o 20604
100.93/101.37	o 20603
100.93/101.37	o 20602
101.03/101.46	o 20599
101.03/101.47	o 20597
101.23/101.61	o 20548
101.23/101.62	o 20507
101.23/101.62	o 20505
101.23/101.63	o 20504
101.23/101.63	o 20491
101.52/101.92	o 20486
101.52/101.92	o 20477
101.52/101.92	o 20475
101.52/101.93	o 20470
101.52/101.98	o 20468
101.52/101.99	o 20409
101.73/102.11	o 20404
101.73/102.11	o 20402
101.73/102.11	o 20398
101.82/102.28	o 20380
102.12/102.51	o 20379
102.12/102.52	o 20378
102.12/102.52	o 20372
102.12/102.52	o 20367
102.12/102.54	o 20365
102.22/102.60	o 20360
102.22/102.61	o 20358
102.22/102.61	o 20354
102.22/102.67	o 20349
102.42/102.80	o 20348
102.42/102.80	o 20346
102.42/102.82	o 20339
102.63/103.03	o 20338
102.63/103.03	o 20337
102.63/103.06	o 20332
102.63/103.07	o 20330
102.63/103.07	o 20326
102.82/103.24	o 20305
102.82/103.25	o 20300
102.82/103.25	o 20299
102.82/103.25	o 20294
102.82/103.27	o 20292
102.82/103.28	o 20287
102.82/103.28	o 20285
102.92/103.30	o 20281
102.92/103.32	o 20258
103.12/103.55	o 20257
103.12/103.56	o 20256
103.12/103.56	o 20254
103.12/103.56	o 20249
103.12/103.58	o 20174
103.22/103.67	o 20169
103.22/103.67	o 20167
103.22/103.68	o 20163
103.32/103.73	o 20094
103.32/103.74	o 20093
103.32/103.74	o 20075
103.42/103.86	o 20066
103.62/104.04	o 20065
103.62/104.04	o 20064
103.62/104.05	o 20059
103.62/104.06	o 20000
103.72/104.16	o 19968
103.72/104.18	o 19925
103.82/104.26	o 19923
103.82/104.26	o 19901
103.82/104.26	o 19881
103.82/104.27	o 19879
103.82/104.27	o 19878
104.12/104.55	o 19877
104.12/104.56	o 19873
104.12/104.56	o 19868
104.12/104.57	o 19816
104.21/104.65	o 19793
104.31/104.78	o 19753
104.41/104.86	o 19726
104.72/105.10	o 19725
104.72/105.10	o 19724
104.72/105.11	o 19719
104.72/105.13	o 19690
104.72/105.13	o 19687
104.72/105.14	o 19686
104.72/105.14	o 19682
104.72/105.14	o 19681
104.72/105.15	o 19667
104.81/105.21	o 19593
104.91/105.30	o 19534
104.91/105.38	o 19480
104.91/105.39	o 19454
104.91/105.39	o 19440
105.21/105.61	o 19439
105.21/105.62	o 19438
105.21/105.62	o 19436
105.21/105.62	o 19430
105.21/105.63	o 19425
105.21/105.63	o 19423
105.21/105.63	o 19418
105.21/105.64	o 19414
105.21/105.66	o 19391
105.21/105.67	o 19390
105.21/105.68	o 19381
105.31/105.73	o 19379
105.31/105.74	o 19377
105.31/105.75	o 19368
105.51/105.98	o 19309
105.91/106.34	o 19304
105.91/106.35	o 19302
106.01/106.48	o 19300
106.21/106.67	o 19295
106.21/106.68	o 19293
106.21/106.68	o 19289
106.31/106.75	o 19237
106.31/106.76	o 19232
106.40/106.80	o 19230
106.40/106.81	o 19227
106.40/106.81	o 19225
106.40/106.81	o 19220
106.40/106.88	o 19219
106.40/106.89	o 19210
106.50/106.92	o 19208
106.50/106.96	o 19199
106.50/106.97	o 19197
106.71/107.15	o 19157
106.90/107.35	o 19146
106.90/107.36	o 19141
106.90/107.37	o 19137
106.90/107.38	o 19114
107.10/107.54	o 19093
107.20/107.64	o 19043
107.50/107.96	o 19031
107.50/107.96	o 19020
107.50/107.99	o 18997
107.61/108.01	o 18851
107.71/108.12	o 18827
107.71/108.17	o 18788
107.71/108.17	o 18764
107.71/108.18	o 18761
107.71/108.18	o 18760
107.80/108.29	o 18668
108.00/108.41	o 18662
108.00/108.41	o 18641
108.00/108.44	o 18635
108.10/108.50	o 18616
108.10/108.51	o 18605
108.10/108.52	o 18600
108.10/108.53	o 18582
108.20/108.63	o 18576
108.20/108.65	o 18553
108.20/108.66	o 18548
108.20/108.69	o 18467
108.30/108.75	o 18433
108.30/108.76	o 18407
108.30/108.76	o 18403
108.30/108.76	o 18390
108.40/108.86	o 18359
108.40/108.86	o 18355
108.40/108.86	o 18349
108.40/108.87	o 18344
108.50/108.92	o 18262
108.50/108.98	o 18172
108.70/109.10	o 18164
108.70/109.11	o 18153
108.70/109.14	o 18130
108.70/109.16	o 18111
108.80/109.20	o 18104
108.80/109.24	o 18095
108.80/109.24	o 18084
108.80/109.26	o 18038
108.90/109.30	o 18024
108.90/109.35	o 18019
108.90/109.35	o 18013
108.90/109.38	o 18011
108.90/109.39	o 17994
108.90/109.39	o 17983
108.90/109.39	o 17978
109.00/109.42	o 17966
109.00/109.42	o 17955
109.00/109.46	o 17908
109.10/109.56	o 17883
109.10/109.59	o 17882
109.20/109.60	o 17861
109.20/109.60	o 17819
109.20/109.61	o 17794
109.20/109.61	o 17792
109.20/109.61	o 17788
109.20/109.65	o 17724
109.29/109.71	o 17643
109.39/109.82	o 17614
109.39/109.82	o 17611
109.39/109.82	o 17605
109.39/109.83	o 17600
141.49/142.04	o 17587
141.49/142.04	o 17581
141.59/142.10	o 17569
141.59/142.11	o 17544
141.59/142.17	o 17527
141.59/142.17	o 17521
141.68/142.20	o 17449
141.68/142.25	o 17406
141.68/142.28	o 17325
141.78/142.30	o 17289
141.78/142.32	o 17230
141.78/142.35	o 17183
141.78/142.38	o 17145
141.78/142.38	o 17133
141.88/142.41	o 17066
141.88/142.41	o 17057
141.88/142.45	o 17020
141.88/142.48	o 17000
141.98/142.52	o 16938
141.98/142.53	o 16915
141.98/142.59	o 16905
142.08/142.63	o 16869
142.08/142.69	o 16820
142.18/142.70	o 16775
142.18/142.73	o 16728
142.18/142.78	o 16710
142.28/142.81	o 16698
142.28/142.82	o 16622
142.28/142.89	o 16609
142.38/142.90	o 16594
142.38/142.93	o 16588
142.38/142.96	o 16489
142.38/142.97	o 16424
142.38/142.99	o 16411
142.48/143.03	o 16349
142.48/143.06	o 16314
142.58/143.12	o 16302
142.58/143.12	o 16252
142.68/143.22	o 16172
142.68/143.25	o 16140
142.78/143.30	o 16129
142.78/143.32	o 16086
142.78/143.33	o 16054
142.78/143.33	o 16044
142.78/143.35	o 15994
142.78/143.38	o 15992
142.78/143.39	o 15960
142.78/143.39	o 15950
142.88/143.43	o 15923
142.88/143.43	o 15903
142.88/143.46	o 15885
142.88/143.48	o 15858
142.98/143.52	o 15792
142.98/143.54	o 15735
142.98/143.57	o 15700
143.08/143.60	o 15608
143.08/143.68	o 15603
143.17/143.71	o 15575
143.17/143.75	o 15559
143.17/143.79	o 15514
143.27/143.83	o 15463
143.37/143.90	o 15447
143.37/143.91	o 15446
143.37/143.93	o 15422
143.37/143.98	o 15405
143.48/144.07	o 15373
143.58/144.15	o 15341
143.67/144.20	o 15317
143.67/144.20	o 15279
143.67/144.26	o 15246
143.77/144.35	o 15168
143.77/144.35	o 15137
143.77/144.36	o 15120
143.87/144.44	o 15094
143.97/144.53	o 15087
143.97/144.53	o 15062
143.97/144.59	o 15050
144.07/144.60	o 15034
144.07/144.60	o 15033
144.07/144.64	o 14963
144.17/144.73	o 14889
144.17/144.77	o 14862
144.27/144.80	o 14847
144.27/144.81	o 14833
144.27/144.84	o 14754
144.27/144.88	o 14695
144.37/144.95	o 14685
144.48/145.03	o 14631
144.48/145.03	o 14614
144.48/145.06	o 14591
144.48/145.09	o 14541
144.58/145.12	o 14521
144.58/145.13	o 14510
144.58/145.17	o 14492
144.67/145.20	o 14486
144.67/145.22	o 14477
144.67/145.22	o 14472
144.67/145.23	o 14469
144.67/145.26	o 14390
144.77/145.33	o 14326
144.87/145.40	o 14261
144.87/145.46	o 14244
144.97/145.52	o 14155
144.97/145.56	o 14110
145.07/145.62	o 14090
145.07/145.67	o 14088
145.07/145.67	o 14086
145.17/145.70	o 14033
145.17/145.73	o 14013
145.17/145.74	o 14009
145.17/145.75	o 14003
145.17/145.78	o 13968
145.27/145.84	o 13964
145.27/145.84	o 13963
145.27/145.86	o 13921
145.27/145.86	o 13906
145.37/145.92	o 13859
145.37/145.93	o 13824
145.47/146.03	o 13713
145.57/146.13	o 13662
145.67/146.24	o 13642
145.67/146.25	o 13623
145.77/146.30	o 13582
145.77/146.30	o 13570
145.77/146.37	o 13505
145.87/146.44	o 13477
145.87/146.45	o 13472
145.97/146.52	o 13431
145.97/146.52	o 13395
146.06/146.62	o 13350
146.16/146.70	o 13342
146.16/146.75	o 13302
146.26/146.86	o 13254
146.26/146.86	o 13229
146.36/146.98	o 13116
146.36/146.98	o 13090
146.47/147.01	o 13073
146.47/147.02	o 13025
146.47/147.02	o 13016
146.57/147.11	o 12997
146.57/147.11	o 12995
146.57/147.15	o 12968
146.66/147.22	o 12963
146.66/147.22	o 12959
146.66/147.27	o 12958
146.76/147.31	o 12943
146.76/147.36	o 12942
146.76/147.37	o 12941
146.76/147.37	o 12939
146.86/147.47	o 12894
146.86/147.47	o 12870
146.96/147.58	o 12853
147.06/147.67	o 12791
147.16/147.76	o 12764
147.26/147.82	o 12691
147.36/147.93	o 12681
147.36/147.99	o 12643
147.46/148.08	o 12612
147.56/148.16	o 12609
147.56/148.16	o 12608
147.66/148.21	o 12605
147.66/148.21	o 12579
147.66/148.22	o 12564
147.66/148.22	o 12540
147.76/148.33	o 12525
147.76/148.33	o 12466
147.76/148.33	o 12458
147.76/148.34	o 12452
147.76/148.34	o 12451
147.86/148.43	o 12396
147.96/148.54	o 12336
147.96/148.55	o 12334
148.05/148.64	o 12292
148.05/148.64	o 12284
148.05/148.65	o 12276
148.05/148.65	o 12270
148.05/148.65	o 12269
148.15/148.75	o 12198
148.25/148.87	o 12182
148.25/148.88	o 12158
148.46/149.01	o 12028
148.46/149.01	o 12023
148.46/149.01	o 12015
148.46/149.02	o 12009
148.46/149.02	o 12008
148.46/149.10	o 11995
148.56/149.10	o 11967
148.56/149.10	o 11964
148.56/149.11	o 11959
148.56/149.11	o 11958
148.65/149.23	o 11911
148.65/149.23	o 11887
148.75/149.34	o 11859
148.85/149.43	o 11802
148.85/149.43	o 11795
148.85/149.44	o 11789
148.85/149.44	o 11788
148.95/149.52	o 11779
149.05/149.64	o 11720
149.15/149.73	o 11660
149.25/149.83	o 11635
149.35/149.90	o 11614
149.35/149.98	o 11604
149.35/149.99	o 11583
149.46/150.08	o 11554
149.55/150.17	o 11527
149.65/150.28	o 11450
149.75/150.37	o 11406
149.75/150.37	o 11354
149.85/150.46	o 11283
149.95/150.56	o 11282
149.95/150.59	o 11213
150.15/150.71	o 11190
150.15/150.71	o 11189
150.15/150.79	o 11167
150.15/150.79	o 11153
150.25/150.80	o 11150
150.25/150.88	o 11096
150.35/150.98	o 11093
150.45/151.07	o 11086
150.55/151.13	o 11072
150.65/151.21	o 11042
150.75/151.32	o 10963
150.85/151.40	o 10947
150.85/151.42	o 10933
150.85/151.42	o 10932
150.85/151.42	o 10931
150.95/151.52	o 10883
151.04/151.62	o 10873
151.04/151.63	o 10864
151.04/151.63	o 10839
151.04/151.64	o 10796
151.14/151.75	o 10793
151.24/151.88	o 10791
151.24/151.89	o 10780
151.34/151.93	o 10717
151.34/151.94	o 10712
151.34/151.95	o 10654
151.34/151.95	o 10644
151.45/152.07	o 10635
151.55/152.11	o 10629
151.55/152.15	o 10537
151.64/152.26	o 10528
151.64/152.28	o 10459
151.74/152.37	o 10374
151.74/152.37	o 10369
151.84/152.48	o 10340
151.94/152.52	o 10332
151.94/152.52	o 10328
151.94/152.56	o 10323
151.94/152.59	o 10248
151.94/152.59	o 10235
152.04/152.60	o 10230
152.14/152.73	o 10214
152.14/152.73	o 10180
152.14/152.78	o 10152
152.34/152.93	o 10120
152.34/152.93	o 10100
152.44/153.01	o 10036
152.44/153.10	o 9992
152.54/153.16	o 9948
152.64/153.23	o 9929
152.74/153.32	o 9880
152.84/153.42	o 9847
152.84/153.43	o 9816
152.84/153.49	o 9814
152.94/153.53	o 9770
152.94/153.53	o 9740
152.94/153.59	o 9670
153.04/153.65	o 9663
153.04/153.65	o 9636
153.14/153.70	o 9558
153.24/153.83	o 9509
153.24/153.83	o 9503
153.24/153.84	o 9498
153.24/153.85	o 9486
153.24/153.85	o 9481
153.24/153.86	o 9479
153.24/153.86	o 9474
153.24/153.88	o 9473
153.24/153.88	o 9472
153.24/153.89	o 9471
153.54/154.16	o 9402
153.73/154.34	o 9395
153.83/154.46	o 9375
154.03/154.60	o 9345
154.23/154.88	o 9344
154.23/154.89	o 9331
154.23/154.89	o 9327
154.33/154.90	o 9322
154.33/154.90	o 9316
154.33/154.90	o 9292
154.44/155.07	o 9202
154.63/155.21	o 9148
154.63/155.21	o 9143
154.83/155.42	o 9128
154.93/155.50	o 9081
155.03/155.64	o 9079
155.03/155.65	o 9077
155.03/155.65	o 9074
155.03/155.66	o 9073
155.03/155.66	o 9070
155.23/155.81	o 9069
155.23/155.82	o 9046
155.23/155.82	o 9020
155.23/155.83	o 9015
155.23/155.83	o 9014
155.43/156.01	o 8949
155.53/156.13	o 8917
155.53/156.13	o 8915
155.53/156.14	o 8892
155.53/156.14	o 8866
155.53/156.14	o 8861
155.53/156.15	o 8860
155.63/156.27	o 8797
155.83/156.42	o 8780
155.93/156.57	o 8777
155.93/156.57	o 8753
155.93/156.58	o 8748
155.93/156.58	o 8744
155.93/156.59	o 8742
156.13/156.70	o 8651
156.23/156.81	o 8621
156.23/156.81	o 8620
156.32/156.95	o 8592
156.53/157.14	o 8591
156.53/157.14	o 8589
156.53/157.15	o 8586
156.53/157.19	o 8512
156.62/157.27	o 8486
156.72/157.39	o 8475
156.82/157.40	o 8463
156.82/157.40	o 8443
156.82/157.41	o 8440
156.82/157.41	o 8435
156.82/157.41	o 8431
157.12/157.77	o 8413
157.32/157.90	o 8374
157.32/157.91	o 8361
157.43/158.04	o 8360
157.43/158.04	o 8348
157.43/158.05	o 8344
157.72/158.31	o 8321
157.72/158.32	o 8288
157.72/158.32	o 8279
157.82/158.41	o 8278
157.82/158.41	o 8273
157.92/158.56	o 8270
158.02/158.61	o 8253
158.02/158.62	o 8250
158.02/158.62	o 8247
158.02/158.63	o 8242
158.02/158.63	o 8238
158.12/158.78	o 8207
158.12/158.79	o 8202
158.22/158.80	o 8200
158.22/158.80	o 8199
158.22/158.81	o 8194
158.22/158.89	o 8108
158.32/158.99	o 8059
158.42/159.05	o 8048
158.42/159.05	o 7990
158.52/159.14	o 7904
158.62/159.22	o 7899
158.62/159.22	o 7877
158.62/159.23	o 7866
158.62/159.23	o 7808
158.72/159.32	o 7713
165.00/165.63	o 7670
165.00/165.63	o 7669
165.10/165.73	o 7608
165.20/165.87	o 7587
165.30/165.96	o 7582
165.30/165.97	o 7552
165.30/165.97	o 7533
165.50/166.13	o 7528
165.70/166.31	o 7445
165.70/166.32	o 7433
165.70/166.32	o 7414
165.80/166.45	o 7411
165.90/166.51	o 7367
166.09/166.76	o 7239
166.29/166.91	o 7232
166.29/166.92	o 7205
166.50/167.12	o 7069
166.79/167.49	o 7068
166.79/167.49	o 7067
166.89/167.50	o 7066
166.89/167.51	o 7051
166.89/167.58	o 7047
166.99/167.62	o 7044
166.99/167.65	o 7033
166.99/167.66	o 7029
167.09/167.73	o 6981
167.19/167.89	o 6958
167.29/167.98	o 6934
167.39/168.09	o 6910
167.49/168.15	o 6906
167.49/168.15	o 6888
167.59/168.27	o 6841
167.59/168.28	o 6832
167.59/168.28	o 6810
167.59/168.28	o 6743
167.89/168.53	o 6741
167.89/168.53	o 6736
167.89/168.54	o 6733
167.89/168.56	o 6729
167.89/168.56	o 6727
167.99/168.64	o 6723
167.99/168.65	o 6717
168.09/168.76	o 6714
168.09/168.77	o 6712
168.09/168.77	o 6702
168.09/168.77	o 6698
168.09/168.78	o 6682
168.19/168.82	o 6681
168.19/168.82	o 6680
168.19/168.83	o 6679
168.19/168.83	o 6678
168.19/168.84	o 6677
168.39/169.07	o 6674
168.49/169.13	o 6659
168.58/169.24	o 6652
168.58/169.25	o 6616
168.68/169.34	o 6613
168.88/169.50	o 6611
168.88/169.51	o 6609
168.88/169.52	o 6604
168.88/169.57	o 6600
168.88/169.58	o 6599
168.88/169.58	o 6594
168.88/169.59	o 6591
168.88/169.59	o 6584
168.98/169.60	o 6572
168.98/169.60	o 6568
168.98/169.68	o 6563
169.08/169.77	o 6562
169.08/169.77	o 6561
169.08/169.78	o 6560
169.08/169.78	o 6556
169.08/169.79	o 6554
169.08/169.79	o 6553
169.18/169.80	o 6531
169.18/169.80	o 6525
169.18/169.80	o 6520
169.18/169.85	o 6504
169.18/169.87	o 6446
169.28/169.96	o 6442
169.28/169.96	o 6441
169.28/169.96	o 6440
169.28/169.97	o 6438
169.28/169.97	o 6437
169.28/169.98	o 6436
169.28/169.99	o 6435
169.28/169.99	o 6428
169.28/169.99	o 6426
169.28/170.00	o 6406
169.39/170.01	o 6383
169.39/170.03	o 6356
169.39/170.07	o 6333
169.39/170.08	o 6285
169.39/170.08	o 6273
169.39/170.08	o 6269
169.49/170.16	o 6266
169.49/170.16	o 6265
169.49/170.17	o 6264
169.49/170.17	o 6258
169.49/170.17	o 6253
169.58/170.25	o 6248
169.68/170.30	o 6245
169.68/170.31	o 6241
169.68/170.31	o 6240
169.68/170.32	o 6234
169.68/170.32	o 6229
169.68/170.36	o 6206
169.78/170.45	o 6198
169.78/170.45	o 6196
169.78/170.46	o 6195
169.78/170.46	o 6184
169.78/170.49	o 6168
169.98/170.60	o 6149
169.98/170.63	o 6126
169.98/170.65	o 6112
169.98/170.66	o 6099
169.98/170.66	o 6094
169.98/170.67	o 6093
169.98/170.68	o 6092
169.98/170.68	o 6091
169.98/170.69	o 6090
169.98/170.69	o 6083
170.08/170.70	o 6082
170.08/170.70	o 6078
170.08/170.70	o 6067
170.18/170.86	o 6065
170.18/170.86	o 6063
170.18/170.87	o 6055
170.18/170.87	o 6047
170.18/170.87	o 6032
170.18/170.88	o 6010
170.18/170.88	o 5999
170.18/170.89	o 5993
170.18/170.89	o 5987
170.28/170.90	o 5986
170.28/170.90	o 5985
170.28/170.91	o 5947
170.28/170.91	o 5937
170.28/170.91	o 5936
170.28/170.91	o 5916
170.28/170.96	o 5900
170.38/171.03	o 5852
170.48/171.11	o 5815
170.58/171.23	o 5814
170.58/171.24	o 5813
170.58/171.25	o 5808
170.68/171.32	o 5806
170.68/171.33	o 5804
170.68/171.33	o 5802
170.68/171.34	o 5798
170.68/171.34	o 5797
170.68/171.34	o 5796
170.68/171.35	o 5793
170.68/171.35	o 5791
170.68/171.36	o 5790
170.68/171.36	o 5789
170.68/171.38	o 5766
170.78/171.46	o 5761
170.78/171.47	o 5759
170.78/171.47	o 5758
170.78/171.48	o 5753
170.78/171.48	o 5751
170.78/171.49	o 5742
170.78/171.49	o 5737
170.88/171.50	o 5735
170.88/171.50	o 5678
170.88/171.58	o 5642
170.98/171.66	o 5630
170.98/171.66	o 5625
170.98/171.68	o 5565
171.08/171.72	o 5538
171.08/171.73	o 5524
171.08/171.73	o 5495
171.18/171.88	o 5494
171.18/171.89	o 5493
171.18/171.89	o 5491
171.27/171.90	o 5468
171.27/171.91	o 5413
171.27/171.94	o 5407
171.27/171.94	o 5405
171.27/171.95	o 5389
171.27/171.96	o 5367
171.27/171.97	o 5366
171.27/171.97	o 5331
171.38/172.01	o 5330
171.38/172.02	o 5265
171.38/172.02	o 5250
171.38/172.05	o 5248
171.38/172.05	o 5241
171.38/172.06	o 5236
171.38/172.06	o 5233
171.38/172.07	o 5209
171.38/172.07	o 5204
171.38/172.08	o 5203
171.38/172.08	o 5202
171.48/172.11	o 5201
171.48/172.12	o 5198
171.48/172.14	o 5191
171.48/172.14	o 5190
171.48/172.14	o 5188
171.48/172.15	o 5187
171.48/172.15	o 5186
171.48/172.17	o 5118
171.48/172.18	o 5117
171.48/172.18	o 5116
171.48/172.19	o 5110
171.57/172.20	o 5109
171.57/172.23	o 5104
171.57/172.24	o 5093
171.57/172.25	o 5060
171.57/172.26	o 5050
171.57/172.27	o 5013
171.57/172.28	o 5012
171.57/172.29	o 5006
171.67/172.30	o 4990
171.67/172.31	o 4944
171.67/172.35	o 4942
171.67/172.35	o 4936
171.67/172.36	o 4935
171.67/172.36	o 4931
171.67/172.36	o 4924
171.67/172.38	o 4923
171.67/172.38	o 4899
171.67/172.39	o 4893
171.67/172.39	o 4888
171.77/172.41	o 4840
171.77/172.45	o 4838
171.77/172.45	o 4836
171.77/172.46	o 4835
171.77/172.46	o 4832
171.77/172.47	o 4829
171.77/172.47	o 4828
171.77/172.48	o 4822
171.77/172.48	o 4821
171.77/172.49	o 4820
171.87/172.53	o 4812
171.87/172.53	o 4807
171.87/172.54	o 4790
171.87/172.55	o 4784
171.87/172.55	o 4755
171.87/172.58	o 4736
171.87/172.58	o 4733
171.97/172.61	o 4718
171.97/172.61	o 4712
171.97/172.61	o 4707
171.97/172.62	o 4704
171.97/172.63	o 4699
171.97/172.64	o 4653
171.97/172.65	o 4574
172.07/172.71	o 4565
172.07/172.71	o 4554
172.07/172.72	o 4552
172.07/172.73	o 4550
172.07/172.73	o 4547
172.07/172.74	o 4490
172.07/172.76	o 4428
172.07/172.79	o 4411
172.17/172.80	o 4399
172.17/172.80	o 4393
172.17/172.81	o 4388
172.17/172.83	o 4378
172.17/172.83	o 4372
172.17/172.84	o 4366
172.17/172.84	o 4361
172.17/172.85	o 4333
172.17/172.87	o 4332
172.17/172.88	o 4321
172.17/172.89	o 4227
172.27/172.91	o 4207
172.27/172.93	o 4203
172.27/172.93	o 4159
172.27/172.94	o 4137
172.27/172.95	o 4100
172.27/172.95	o 4072
172.27/172.99	o 4063
172.27/172.99	o 4062
172.27/173.00	o 4053
172.38/173.00	o 4042
172.38/173.01	o 4019
172.38/173.02	o 3923
172.38/173.05	o 3859
172.38/173.07	o 3852
172.38/173.07	o 3813
172.38/173.07	o 3807
172.38/173.08	o 3802
172.38/173.09	o 3769
172.38/173.10	o 3746
172.48/173.12	o 3726
172.48/173.13	o 3724
172.48/173.13	o 3718
172.48/173.13	o 3717
172.48/173.14	o 3713
172.48/173.15	o 3707
172.48/173.15	o 3706
172.48/173.16	o 3704
172.48/173.16	o 3703
172.48/173.16	o 3700
172.48/173.17	o 3678
172.48/173.17	o 3667
172.57/173.20	o 3666
172.57/173.21	o 3664
172.57/173.24	o 3659
172.57/173.24	o 3658
172.57/173.25	o 3655
172.57/173.25	o 3654
172.57/173.25	o 3653
172.57/173.26	o 3652
172.57/173.26	o 3640
172.57/173.29	o 3635
172.67/173.30	o 3625
172.67/173.31	o 3603
172.67/173.33	o 3584
172.67/173.33	o 3545
172.67/173.34	o 3539
172.67/173.34	o 3534
172.67/173.36	o 3367
172.67/173.38	o 3359
172.67/173.39	o 3351
172.67/173.39	o 3346
172.77/173.40	o 3328
172.77/173.42	o 3326
172.77/173.42	o 3324
172.77/173.43	o 3313
172.77/173.44	o 3312
172.77/173.45	o 3309
172.77/173.45	o 3287
172.77/173.46	o 3272
172.77/173.46	o 3254
172.77/173.47	o 3239
172.77/173.47	o 3238
172.77/173.48	o 3226
172.77/173.48	o 3219
172.77/173.49	o 3218
172.87/173.50	o 3217
172.87/173.50	o 3216
172.87/173.54	o 3180
172.87/173.55	o 3170
172.87/173.57	o 3168
172.87/173.57	o 3166
172.87/173.57	o 3164
172.87/173.58	o 3159
172.87/173.58	o 3158
172.87/173.59	o 3154
172.97/173.61	o 3153
172.97/173.62	o 3132
172.97/173.62	o 3125
172.97/173.63	o 3124
172.97/173.63	o 3123
172.97/173.64	o 3049
172.97/173.66	o 3020
172.97/173.67	o 3019
172.97/173.68	o 3010
172.97/173.68	o 3004
173.07/173.70	o 2986
173.07/173.72	o 2985
173.07/173.72	o 2972
173.07/173.74	o 2968
173.07/173.74	o 2967
173.07/173.75	o 2965
173.07/173.75	o 2963
173.07/173.75	o 2960
173.07/173.76	o 2952
173.07/173.76	o 2945
173.07/173.77	o 2940
173.07/173.78	o 2939
173.07/173.79	o 2937
173.07/173.79	o 2935
173.17/173.80	o 2934
173.17/173.80	o 2929
173.17/173.81	o 2928
173.17/173.81	o 2924
173.17/173.82	o 2923
173.17/173.83	o 2922
173.17/173.83	o 2921
173.17/173.85	o 2919
173.17/173.86	o 2918
173.17/173.87	o 2917
173.17/173.87	o 2914
173.17/173.88	o 2913
173.17/173.89	o 2885
173.27/173.91	o 2882
173.27/173.91	o 2881
173.27/173.92	o 2867
173.27/173.92	o 2861
173.27/173.94	o 2853
173.27/173.94	o 2848
173.27/173.96	o 2834
173.27/173.99	o 2823
173.27/173.99	o 2817
173.27/173.99	o 2812
173.27/174.00	o 2795
173.37/174.00	o 2782
173.37/174.01	o 2739
173.37/174.02	o 2732
173.37/174.02	o 2730
173.37/174.03	o 2696
173.37/174.03	o 2692
173.37/174.05	o 2656
173.37/174.07	o 2653
173.37/174.08	o 2648
173.37/174.09	o 2625
173.37/174.10	o 2624
173.47/174.10	o 2622
173.47/174.12	o 2621
173.47/174.12	o 2620
173.47/174.13	o 2619
173.47/174.13	o 2618
173.47/174.14	o 2616
173.47/174.14	o 2615
173.47/174.15	o 2613
173.47/174.17	o 2608
173.47/174.17	o 2584
173.47/174.17	o 2578
173.47/174.18	o 2577
173.57/174.20	o 2565
173.57/174.20	o 2564
173.57/174.21	o 2560
173.57/174.23	o 2542
173.57/174.23	o 2539
173.57/174.25	o 2538
173.57/174.27	o 2533
173.57/174.29	o 2532
173.57/174.29	o 2531
173.57/174.29	o 2529
173.67/174.30	o 2527
173.67/174.30	o 2526
173.67/174.31	o 2483
173.67/174.32	o 2482
173.67/174.35	o 2481
173.67/174.35	o 2480
173.67/174.36	o 2479
173.67/174.39	o 2411
173.87/174.50	o 2407
173.87/174.51	o 2406
173.87/174.52	o 2405
173.87/174.53	o 2404
173.87/174.54	o 2402
173.87/174.54	o 2401
173.87/174.54	o 2400
173.87/174.55	o 2377
173.87/174.56	o 2376
173.87/174.59	o 2374
173.97/174.60	o 2373
173.97/174.60	o 2372
173.97/174.61	o 2370
173.97/174.61	o 2368
174.07/174.70	o 2363
174.07/174.71	o 2362
174.07/174.71	o 2358
174.07/174.72	o 2353
174.07/174.72	o 2352
174.07/174.73	o 2351
174.07/174.73	o 2350
174.07/174.74	o 2349
174.07/174.74	o 2348
174.07/174.74	o 2347
174.07/174.75	o 2346
174.07/174.75	o 2341
174.07/174.77	o 2330
174.07/174.77	o 2326
174.07/174.77	o 2325
174.07/174.78	o 2320
174.07/174.78	o 2312
174.07/174.79	o 2310
174.17/174.82	o 2309
174.17/174.83	o 2308
174.17/174.83	o 2307
174.17/174.84	o 2305
174.17/174.85	o 2302
174.17/174.86	o 2300
174.17/174.86	o 2299
174.17/174.87	o 2298
174.17/174.87	o 2295
174.17/174.88	o 2294
174.26/174.90	o 2293
174.26/174.90	o 2249
174.26/174.91	o 2226
174.26/174.91	o 2216
174.26/174.95	o 2215
174.26/174.95	o 2214
174.26/174.96	o 2212
174.26/174.99	o 2210
174.37/175.00	o 2207
174.37/175.01	o 2206
174.37/175.01	o 2205
174.37/175.02	o 2203
174.37/175.02	o 2202
174.37/175.03	o 2201
174.37/175.03	o 2200
174.37/175.04	o 2199
174.37/175.04	o 2198
174.37/175.05	o 2193
174.37/175.05	o 2192
174.37/175.06	o 2191
174.37/175.06	o 2185
174.37/175.07	o 2184
174.37/175.07	o 2170
174.37/175.07	o 2168
174.37/175.09	o 2145
174.47/175.11	o 2143
174.47/175.13	o 2142
174.47/175.14	o 2140
174.47/175.15	o 2129
174.47/175.15	o 2128
174.47/175.15	o 2127
174.47/175.16	o 2125
174.47/175.16	o 2102
174.47/175.17	o 2089
174.47/175.17	o 2084
174.47/175.19	o 1928
174.56/175.24	o 1926
174.56/175.24	o 1921
174.56/175.25	o 1911
174.56/175.26	o 1907
174.56/175.26	o 1823
174.56/175.28	o 1820
174.56/175.29	o 1818
174.66/175.30	o 1809
174.66/175.30	o 1806
174.66/175.31	o 1800
174.66/175.31	o 1792
174.66/175.34	o 1790
174.66/175.34	o 1789
174.66/175.35	o 1784
174.66/175.35	o 1781
174.66/175.36	o 1778
174.66/175.37	o 1776
174.66/175.37	o 1736
174.76/175.40	o 1581
174.76/175.42	o 1579
174.76/175.42	o 1574
174.76/175.42	o 1573
174.76/175.43	o 1572
174.76/175.43	o 1571
174.76/175.44	o 1522
174.76/175.46	o 1518
174.76/175.47	o 1515
174.76/175.47	o 1509
174.76/175.47	o 1490
174.76/175.48	o 1482
174.76/175.48	o 1479
174.87/175.50	o 1478
174.87/175.50	o 1477
174.87/175.51	o 1475
174.87/175.51	o 1443
174.87/175.52	o 1435
174.87/175.53	o 1427
174.87/175.54	o 1404
174.87/175.55	o 1389
174.87/175.55	o 1386
174.87/175.56	o 1385
174.87/175.57	o 1384
174.87/175.57	o 1383
174.87/175.59	o 1381
174.87/175.59	o 1376
174.97/175.60	o 1372
174.97/175.60	o 1370
174.97/175.61	o 1369
174.97/175.62	o 1364
174.97/175.62	o 1363
174.97/175.63	o 1360
174.97/175.63	o 1359
174.97/175.64	o 1357
174.97/175.65	o 1356
174.97/175.68	o 1355
174.97/175.69	o 1354
175.07/175.70	o 1353
175.07/175.70	o 1348
175.07/175.74	o 1347
175.07/175.74	o 1345
175.07/175.75	o 1322
175.07/175.75	o 1314
175.07/175.76	o 1313
175.07/175.76	o 1312
175.17/175.83	o 1311
175.17/175.83	o 1300
175.17/175.85	o 1290
175.17/175.86	o 1289
175.17/175.87	o 1287
175.17/175.88	o 1279
175.17/175.89	o 1257
175.17/175.89	o 1256
175.27/175.91	o 1255
175.27/175.91	o 1254
175.27/175.92	o 1232
175.27/175.92	o 1231
175.27/175.96	o 1229
175.27/175.96	o 1227
175.27/175.96	o 1226
175.27/175.97	o 1225
175.27/175.98	o 1224
175.27/175.99	o 1219
175.27/176.00	o 1169
175.37/176.00	o 1152
175.37/176.01	o 1151
175.37/176.01	o 1150
175.37/176.02	o 1149
175.37/176.09	o 1148
175.37/176.10	o 1145
175.37/176.10	o 1144
175.47/176.10	o 1143
175.47/176.11	o 1142
175.47/176.12	o 1137
175.47/176.13	o 1135
175.47/176.13	o 1134
175.47/176.16	o 1132
175.47/176.16	o 1131
175.47/176.19	o 1130
175.57/176.20	o 1127
175.57/176.20	o 1126
175.57/176.21	o 1125
175.57/176.21	o 1124
175.57/176.21	o 1123
175.57/176.26	o 1122
175.57/176.27	o 1120
175.57/176.28	o 1112
175.57/176.29	o 1109
175.57/176.29	o 1091
175.67/176.30	o 1090
175.67/176.30	o 1089
175.67/176.30	o 1087
175.67/176.31	o 1085
175.67/176.31	o 1082
175.67/176.33	o 1080
175.67/176.34	o 1077
175.67/176.34	o 1075
175.67/176.34	o 1072
175.67/176.35	o 1067
175.67/176.37	o 1066
175.67/176.37	o 1063
175.67/176.38	o 1059
175.67/176.38	o 1057
175.67/176.38	o 1052
175.77/176.42	o 1034
175.77/176.42	o 1029
175.77/176.43	o 1000
175.77/176.43	o 993
175.77/176.44	o 992
175.77/176.45	o 987
175.77/176.45	o 983
175.77/176.46	o 982
175.77/176.47	o 977
175.77/176.47	o 976
175.87/176.52	o 975
175.87/176.53	o 973
175.87/176.53	o 968
175.87/176.54	o 966
175.87/176.54	o 965
175.87/176.55	o 962
175.87/176.56	o 959
175.87/176.57	o 895
175.87/176.57	o 894
175.87/176.57	o 893
175.87/176.58	o 892
175.87/176.58	o 890
175.87/176.59	o 863
175.97/176.61	o 795
175.97/176.65	o 794
175.97/176.65	o 793
175.97/176.66	o 790
175.97/176.67	o 789
175.97/176.67	o 788
175.97/176.68	o 777
175.97/176.68	o 753
175.97/176.69	o 709
176.07/176.70	o 701
176.07/176.70	o 685
176.07/176.71	o 684
176.07/176.71	o 683
176.07/176.72	o 681
176.07/176.73	o 680
176.07/176.73	o 679
176.07/176.73	o 675
176.07/176.74	o 670
176.07/176.75	o 668
176.07/176.75	o 625
176.07/176.76	o 624
176.07/176.76	o 623
176.07/176.76	o 603
176.17/176.80	o 602
176.17/176.82	o 595
176.17/176.83	o 594
176.17/176.85	o 591
176.17/176.86	o 590
176.17/176.87	o 589
176.17/176.88	o 588
176.27/176.90	o 587
176.27/176.91	o 581
176.27/176.91	o 576
176.27/176.92	o 515
176.27/176.93	o 513
176.27/176.94	o 508
176.27/176.94	o 489
176.27/176.95	o 483
176.27/176.95	o 405
176.27/176.96	o 397
176.27/176.97	o 395
176.27/176.97	o 393
176.27/176.97	o 364
176.27/176.98	o 363
176.27/176.98	o 362
176.27/176.98	o 361
176.27/176.99	o 360
176.27/176.99	o 359
176.27/177.00	o 341
176.37/177.00	o 340
176.37/177.01	o 339
176.37/177.01	o 338
176.37/177.01	o 335
176.37/177.02	o 334
176.37/177.02	o 330
176.37/177.02	o 329
176.37/177.03	o 328
176.37/177.04	o 327
176.37/177.04	o 326
176.37/177.07	o 325
176.37/177.07	o 324
176.37/177.07	o 323
176.37/177.08	o 321
176.37/177.08	o 307
176.37/177.09	o 302
176.37/177.09	o 301
176.47/177.11	o 290
176.47/177.12	o 289
176.47/177.13	o 286
176.47/177.14	o 284
176.47/177.14	o 282
176.47/177.14	o 281
176.47/177.15	o 280
176.47/177.15	o 279
176.47/177.16	o 277
176.47/177.19	o 276
176.47/177.19	o 275
176.56/177.20	o 273
176.56/177.20	o 272
176.56/177.21	o 269
176.56/177.21	o 207
176.56/177.21	o 206
176.56/177.22	o 205
176.56/177.22	o 201
176.56/177.22	o 198
176.56/177.23	o 197
176.56/177.23	o 195
176.56/177.24	o 194
176.56/177.24	o 192
176.56/177.25	o 189
176.56/177.25	o 188
176.56/177.26	o 187
176.56/177.27	o 186
176.56/177.27	o 185
176.56/177.28	o 181
176.56/177.29	o 161
176.66/177.30	o 160
176.66/177.30	o 159
176.66/177.31	o 157
176.66/177.31	o 154
176.66/177.32	o 153
176.66/177.32	o 152
176.66/177.33	o 151
176.66/177.34	o 145
176.66/177.34	o 140
176.66/177.35	o 131
176.66/177.36	o 128
176.66/177.37	o 125
176.66/177.37	o 106
176.66/177.38	o 98
176.66/177.39	o 96
176.76/177.40	o 95
176.76/177.40	o 90
176.76/177.45	o 88
176.86/177.54	o 87
176.86/177.55	o 86
176.86/177.55	o 85
176.96/177.64	o 84
177.16/177.81	o 83
177.16/177.82	o 82
177.16/177.83	o 81
177.16/177.84	o 78
177.16/177.84	o 77
177.16/177.85	o 72
177.16/177.85	o 71
177.16/177.87	o 70
177.16/177.87	o 69
177.16/177.88	o 68
177.16/177.89	o 67
177.16/177.89	o 64
177.26/177.90	o 42
177.26/177.90	o 31
177.26/177.90	o 25
177.26/177.91	o 24
177.26/177.91	o 23
177.26/177.91	o 19
177.26/177.92	o 16
177.26/177.92	s OPTIMUM FOUND
177.26/177.92	v -x1 x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 x11 x12 x13 x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 x23 x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 x32 -x33 x34 -x35 x36 -x37 -x38 x39 x40 x41 x42 -x43 -x44 -x45 x46 x47 -x48 x49 x50 -x51 x52 x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 x68 x69 x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 x138 -x139 -x140 x141 x142 -x143 -x144 x145 x146 -x147 -x148 x149 x150 x151 x152 x153 -x154 -x155 x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 x245 x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 x308 x309 -x310 -x311 x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 x378 -x379 x380 -x381 -x382 x383 x384 x385 x386 x387 -x388 x389 x390 x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 x405 x406 x407 x408 -x409 -x410 -x411 -x412 x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 x444 -x445 -x446 x447 x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 x488 -x489 -x490 -x491 x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 x619 x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 x671 x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 x718 x719 x720 -x721 -x722 -x723 x724 -x725 -x726 x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 x973 x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 x1018 x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 x1217 x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 x1250 x1251 -x1252 x1253 x1254 -x1255 -x1256 -x1257 x1258 x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 x1288 x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 x1465 x1466 -x1467 -x1468 -x1469 x1470 -x1471 x1472 x1473 x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 x1502 x1503 -x1504 -x1505 x1506 x1507 -x1508 -x1509 x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 x1522 x1523 x1524 x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 x1578 -x1579 x1580 x1581 x1582 x1583 -x1584 x1585 x1586 x1587 x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 x1783 x1784 x1785 x1786 x1787 -x1788 -x1789 -x1790 -x1791 x1792 x1793 -x1794 x1795 x1796 x1797 -x1798 -x1799 x1800 x1801 x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 x1819 x1820 -x1821 x1822 x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 x2124 -x2125 x2126 -x2127 x2128 -x2129 x2130 x2131 x2132 x2133 -x2134 -x2135 -x2136 x2137 x2138 -x2139 x2140 -x2141 x2142 x2143 x2144 x2145 -x2146 x2147 x2148 x2149 -x2150 -x2151 x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 x2196 x2197 -x2198 -x2199 x2200 x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 x2314 x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 x2337 -x2338 -x2339 -x2340 x2341 x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 x2353 -x2354 -x2355

Verifier Data 

OK	16

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (63025 MiB free)
  memory of node 1: 64510 MiB (63800 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425631-1720877767/watcher-4425631-1720877767 -o /tmp/evaluation-result-4425631-1720877767/solver-4425631-1720877767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720877780-706149 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=541494702 HOME/instance-4425631-1720877767.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=706177, runsolver pid=706174
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 3.65 4.03 4.04 5/255 706212
/proc/meminfo: memFree=129742176/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=45448 memory=24992 CPUtime=0.09 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 6742 0 0 0 9 0 0 0 20 0 1 0 139941591 46538752 6248 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 11362 6248 851 746 0 10426 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45448 KiB
Current children cumulated memory: 24992 KiB

[startup+0.205472 s]*
/proc/loadavg: 3.65 4.03 4.04 5/255 706212
/proc/meminfo: memFree=129618464/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=48088 memory=29940 CPUtime=0.2 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 7467 0 0 0 19 1 0 0 20 0 1 0 139941591 49242112 7485 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 12022 7485 851 746 0 11086 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48088 KiB
Current children cumulated memory: 29940 KiB

[startup+0.305318 s]*
/proc/loadavg: 3.65 4.03 4.04 5/255 706212
/proc/meminfo: memFree=129519812/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=49672 memory=33832 CPUtime=0.3 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 7885 0 0 0 29 1 0 0 20 0 1 0 139941591 50864128 8458 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 12418 8458 851 746 0 11482 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49672 KiB
Current children cumulated memory: 33832 KiB

[startup+0.700198 s]
/proc/loadavg: 3.65 4.03 4.04 5/255 706212
/proc/meminfo: memFree=129369264/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=55744 memory=46036 CPUtime=0.68 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 9402 0 0 0 67 1 0 0 20 0 1 0 139941591 57081856 11509 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 13936 11509 851 746 0 13000 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55744 KiB
Current children cumulated memory: 46036 KiB

[startup+1.50021 s]
/proc/loadavg: 3.65 4.03 4.04 5/255 706212
/proc/meminfo: memFree=129197884/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=77456 memory=63484 CPUtime=1.48 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 11955 0 0 0 146 2 0 0 20 0 1 0 139941591 79314944 15871 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 19364 15871 851 746 0 18428 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77456 KiB
Current children cumulated memory: 63484 KiB

[startup+3.10539 s]
/proc/loadavg: 3.65 4.03 4.04 5/255 706212
/proc/meminfo: memFree=128997088/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=115620 memory=93764 CPUtime=3.09 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 15858 0 0 0 305 4 0 0 20 0 1 0 139941591 118394880 23441 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 28905 23441 851 746 0 27969 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115620 KiB
Current children cumulated memory: 93764 KiB

[startup+6.30018 s]
/proc/loadavg: 3.92 4.08 4.06 5/255 706214
/proc/meminfo: memFree=128733308/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=176808 memory=135952 CPUtime=6.27 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 21755 0 0 0 621 6 0 0 20 0 1 0 139941591 181051392 33988 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 44202 33988 851 746 0 43266 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 176808 KiB
Current children cumulated memory: 135952 KiB

[startup+12.7002 s]
/proc/loadavg: 3.93 4.08 4.06 5/255 706214
/proc/meminfo: memFree=128238028/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=305904 memory=245048 CPUtime=12.64 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 34884 0 0 0 1253 11 0 0 20 0 1 0 139941591 313245696 61262 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 76476 61262 851 746 0 75540 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 305904 KiB
Current children cumulated memory: 245048 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.07 5/255 706217
/proc/meminfo: memFree=127370780/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=487372 memory=348448 CPUtime=25.39 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 48174 0 0 0 2521 18 0 0 20 0 1 0 139941591 499068928 87112 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 121843 87112 851 746 0 120907 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 487372 KiB
Current children cumulated memory: 348448 KiB

[startup+51.1053 s]
/proc/loadavg: 4.24 4.15 4.08 5/255 706220
/proc/meminfo: memFree=125647648/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=853188 memory=620600 CPUtime=50.9 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 80912 0 0 0 5058 32 0 0 20 0 1 0 139941591 873664512 155150 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 213297 155150 851 746 0 212361 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 853188 KiB
Current children cumulated memory: 620600 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.18 4.10 5/255 706229
/proc/meminfo: memFree=122952948/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=925236 memory=732724 CPUtime=101.92 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 96377 0 0 0 10156 36 0 0 20 0 1 0 139941591 947441664 183181 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 231309 183181 851 746 0 230373 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 925236 KiB
Current children cumulated memory: 732724 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.21 4.11 5/255 706239
/proc/meminfo: memFree=121341604/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=928244 memory=739932 CPUtime=161.71 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 97394 0 0 0 16135 36 0 0 20 0 1 0 139941591 950521856 184983 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 232061 184983 851 746 0 231125 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 928244 KiB
Current children cumulated memory: 739932 KiB

[startup+177.934 s]
# the end of solver process 706177 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=176.923 s, system=0.379545 s

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

[startup+166.4 s]
/proc/loadavg: 4.25 4.20 4.11 5/255 706241
/proc/meminfo: memFree=121286524/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=928244 memory=739932 CPUtime=165.8 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 97394 0 0 0 16544 36 0 0 20 0 1 0 139941591 950521856 184983 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 232061 184983 851 746 0 231125 0
Current children cumulated CPU time: 165.8 s
Current children cumulated vsize: 928244 KiB
Current children cumulated memory: 739932 KiB

[startup+172.8 s]
/proc/loadavg: 4.23 4.20 4.11 5/255 706241
/proc/meminfo: memFree=121186136/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=928244 memory=744292 CPUtime=172.17 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 97398 0 0 0 17181 36 0 0 20 0 1 0 139941591 950521856 186073 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 232061 186073 851 746 0 231125 0
Current children cumulated CPU time: 172.17 s
Current children cumulated vsize: 928244 KiB
Current children cumulated memory: 744292 KiB

[startup+176 s]*
/proc/loadavg: 4.21 4.20 4.11 5/255 706242
/proc/meminfo: memFree=121121700/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=929896 memory=745596 CPUtime=175.37 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 97733 0 0 0 17500 37 0 0 20 0 1 0 139941591 952213504 186399 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 232474 186399 851 746 0 231538 0
Current children cumulated CPU time: 175.37 s
Current children cumulated vsize: 929896 KiB
Current children cumulated memory: 745596 KiB

[startup+176.8 s]
/proc/loadavg: 4.21 4.20 4.11 5/255 706242
/proc/meminfo: memFree=121121700/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=932908 memory=747708 CPUtime=176.17 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 98285 0 0 0 17580 37 0 0 20 0 1 0 139941591 955297792 186927 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 233227 186927 851 746 0 232291 0
Current children cumulated CPU time: 176.17 s
Current children cumulated vsize: 932908 KiB
Current children cumulated memory: 747708 KiB

[startup+177.6 s]
/proc/loadavg: 4.21 4.20 4.11 5/255 706242
/proc/meminfo: memFree=121098260/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=935788 memory=749544 CPUtime=176.96 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 98736 0 0 0 17659 37 0 0 20 0 1 0 139941591 958246912 187386 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 233947 187386 851 746 0 233011 0
Current children cumulated CPU time: 176.96 s
Current children cumulated vsize: 935788 KiB
Current children cumulated memory: 749544 KiB

[startup+177.8 s]
/proc/loadavg: 4.21 4.20 4.11 5/255 706242
/proc/meminfo: memFree=121098260/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=935948 memory=749804 CPUtime=177.16 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 98784 0 0 0 17679 37 0 0 20 0 1 0 139941591 958410752 187451 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 233987 187451 851 746 0 233051 0
Current children cumulated CPU time: 177.16 s
Current children cumulated vsize: 935948 KiB
Current children cumulated memory: 749804 KiB

[startup+177.9 s]
/proc/loadavg: 4.21 4.20 4.11 5/255 706242
/proc/meminfo: memFree=121098260/131524600 swapFree=131071996/131071996
[pid=706177] ppid=706174 vsize=936428 memory=750064 CPUtime=177.26 cores=0,2
/proc/706177/stat : 706177 (Exact_nosoplex) R 706174 706177 703818 0 -1 4194304 98886 0 0 0 17689 37 0 0 20 0 1 0 139941591 958902272 187516 134679101440 4194304 7248369 140723503432736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 24141824 140723503436691 140723503436869 140723503436869 140723503443910 0
/proc/706177/statm: 234107 187516 851 746 0 233171 0
Current children cumulated CPU time: 177.26 s
Current children cumulated vsize: 936428 KiB
Current children cumulated memory: 750064 KiB

Child status: 30

Real time (s): 177.934
CPU time (s): 177.303
CPU user time (s): 176.923
CPU system time (s): 0.379545
CPU usage (%): 99.6453
Max. virtual memory (cumulated for all children) (KiB): 1112156
Max. memory (cumulated for all children) (KiB): 750064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.923
system time used= 0.379545
maximum resident set size= 850952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 1247


# summary of solver processes directly reported to runsolver:
#   pid: 706177
#   total CPU time (s): 177.303
#   total CPU user time (s): 176.923
#   total CPU system time (s): 0.379545

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.383479 second user time and 0.935786 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-13 15:36:20
IDJOB=4425631
IDBENCH=143083
IDSOLVER=3039
FILE ID=nodeC024/4425631-1720877767
RUNJOBID= nodeC024-1720877780-706149
SLURM_JOB_ID= 7483765
Free space on /tmp= 890084 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425631-1720877767/watcher-4425631-1720877767 -o /tmp/evaluation-result-4425631-1720877767/solver-4425631-1720877767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720877780-706149 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=541494702 HOME/instance-4425631-1720877767.wbo

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

MD5SUM BENCH= f8936bf513cf214d5098f23a79bd3cde
RANDOM SEED=541494702

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3586.758
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.294
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3611.088
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3626.279
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3443.892
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3628.202
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3537.453
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3575.882
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129878356 kB
MemAvailable:   129771720 kB
Buffers:          315856 kB
Cached:           425892 kB
SwapCached:            0 kB
Active:           467368 kB
Inactive:         629932 kB
Active(anon):       1436 kB
Inactive(anon):   391888 kB
Active(file):     465932 kB
Inactive(file):   238044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7420 kB
Writeback:             0 kB
AnonPages:        355628 kB
Mapped:           101628 kB
Shmem:             37720 kB
KReclaimable:      58072 kB
Slab:             154716 kB
SReclaimable:      58072 kB
SUnreclaim:        96644 kB
KernelStack:        3860 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     681364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53440 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7972864 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC024 at 2024-07-13 15:39:18