TSTP Solution File: AGT032^1 by Lash---1.13

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : Lash---1.13
% Problem  : AGT032^1 : TPTP v8.1.2. Bugfixed v5.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : lash -P picomus -M modes -p tstp -t %d %s

% Computer : n003.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Wed Aug 30 15:55:04 EDT 2023

% Result   : Timeout 300.20s 180.49s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.16  % Problem  : AGT032^1 : TPTP v8.1.2. Bugfixed v5.4.0.
% 0.07/0.17  % Command  : lash -P picomus -M modes -p tstp -t %d %s
% 0.12/0.38  % Computer : n003.cluster.edu
% 0.12/0.38  % Model    : x86_64 x86_64
% 0.12/0.38  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.38  % Memory   : 8042.1875MB
% 0.12/0.38  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.38  % CPULimit : 300
% 0.12/0.38  % WCLimit  : 300
% 0.12/0.38  % DateTime : Sun Aug 27 17:23:40 EDT 2023
% 0.12/0.38  % CPUTime  : 
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 561
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 494
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 507
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 432
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 481
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 419
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 431
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 482
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 420
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 432
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 479
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 417
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 429
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 360
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 406
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 349
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 360
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 406
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 349
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 360
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 339
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 287
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 482
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 420
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 432
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 409
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 352
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 406
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 349
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 360
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 339
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 287
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 339
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 287
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 482
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 420
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 432
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 409
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 352
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 407
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 350
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 361
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 339
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 287
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 409
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 352
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 342
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 290
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 481
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 419
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 431
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 407
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 350
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 361
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 405
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 348
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 359
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 296
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 296
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 296
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 296
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 296
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 476
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 414
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 425
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 357
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 403
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 346
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 356
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 403
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 346
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 356
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 336
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 284
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 293
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 403
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 346
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 356
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 336
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 284
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 293
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 336
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 284
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 293
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 275
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 228
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 236
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 404
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 347
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 357
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 295
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 404
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 347
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 357
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 295
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 295
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 403
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 346
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 356
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 336
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 284
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 293
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 336
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 284
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 293
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 275
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 228
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 236
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 336
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 284
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 293
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 275
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 228
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 236
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 275
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 228
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 236
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 220
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 178
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 185
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 141
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 172
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 135
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 141
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 103
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 172
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 135
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 141
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 103
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 130
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 98
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 103
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 71
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 483
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 421
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 433
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 364
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 409
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 352
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 410
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 353
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 364
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 301
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 342
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 290
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 407
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 350
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 361
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 410
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 353
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 364
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 301
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 342
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 290
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 343
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 291
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 301
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 244
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 281
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 234
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 192
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 410
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 353
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 364
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 301
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 342
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 290
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 343
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 291
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 301
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 244
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 281
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 234
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 192
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 343
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 291
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 301
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 244
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 281
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 234
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 192
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 282
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 235
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 244
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 193
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 226
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 184
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 192
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 147
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 225
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 183
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 146
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 175
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 138
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 106
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 404
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 347
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 357
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 295
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 295
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 295
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 131
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 99
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 72
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 337
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 285
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 294
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 276
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 229
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 237
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 221
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 179
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 186
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 172
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 135
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 141
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 103
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 130
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 98
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 103
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 71
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 238
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 187
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 142
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 130
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 98
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 103
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 71
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 131
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 99
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 72
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 131
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 99
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 72
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 131
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 99
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 72
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 94
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 67
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 71
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 45
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 482
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 420
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 432
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 409
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 352
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 406
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 349
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 360
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 339
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 287
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 339
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 287
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 409
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 352
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 342
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 290
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 339
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 287
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 297
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 409
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 352
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 363
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 342
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 290
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 278
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 231
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 240
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 342
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 290
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 300
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 281
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 234
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 243
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 192
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 225
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 183
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 146
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 408
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 351
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 362
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 340
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 288
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 298
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 338
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 286
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 296
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 341
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 289
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 299
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 279
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 232
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 241
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 277
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 230
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 239
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 222
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 180
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 188
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 136
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 143
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 104
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 280
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 233
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 242
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 224
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 182
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 190
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 225
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 183
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 191
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 146
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 175
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 138
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 145
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 106
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 223
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 181
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 189
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 174
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 137
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 144
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 105
% 277.97/161.29  % SZS status Timeout
% 277.97/161.29  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 403
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 346
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 356
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 294
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 336
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 284
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 293
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 336
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 284
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 293
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 275
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 228
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 236
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 336
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 284
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 293
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 275
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 228
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 236
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 275
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 228
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 236
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 220
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 178
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 185
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 337
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 285
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 294
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 238
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 337
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 285
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 294
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 238
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 277
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 230
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 238
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 188
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 336
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 284
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 293
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 275
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 228
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 236
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 275
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 228
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 236
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 220
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 178
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 185
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 275
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 228
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 236
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 220
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 178
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 185
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 220
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 178
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 185
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 171
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 134
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 140
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 102
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 129
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 97
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 102
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 70
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 129
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 97
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 102
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 70
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 93
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 66
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 70
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 44
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 410
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 353
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 364
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 301
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 342
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 290
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 300
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 343
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 291
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 301
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 244
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 281
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 234
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 340
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 288
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 298
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 241
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 279
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 232
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 241
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 279
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 232
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 241
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 224
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 182
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 343
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 291
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 301
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 244
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 281
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 234
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 282
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 235
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 244
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 193
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 226
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 184
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 279
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 232
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 241
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 224
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 182
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 224
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 182
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 175
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 138
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 106
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 343
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 291
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 301
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 244
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 281
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 234
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 282
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 235
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 244
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 193
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 226
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 184
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 280
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 233
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 242
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 191
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 224
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 182
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 225
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 183
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 191
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 175
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 138
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 106
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 282
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 235
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 244
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 193
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 226
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 184
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 227
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 185
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 193
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 148
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 177
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 140
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 108
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 226
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 184
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 176
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 139
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 107
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 176
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 139
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 107
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 132
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 100
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 106
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 73
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 342
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 290
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 300
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 280
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 233
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 242
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 191
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 281
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 234
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 225
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 183
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 191
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 278
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 231
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 240
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 189
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 223
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 181
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 189
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 144
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 223
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 181
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 189
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 144
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 174
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 137
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 144
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 281
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 234
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 225
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 183
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 191
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 226
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 184
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 176
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 139
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 107
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 224
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 182
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 175
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 138
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 106
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 174
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 137
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 144
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 281
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 234
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 243
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 225
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 183
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 191
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 226
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 184
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 192
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 176
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 139
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 146
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 107
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 224
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 182
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 190
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 175
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 138
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 106
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 174
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 137
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 144
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 227
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 185
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 193
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 148
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 177
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 140
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 108
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 177
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 140
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 147
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 108
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 133
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 101
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 107
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 74
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 175
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 138
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 145
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 106
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 132
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 100
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 106
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 73
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 94
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 67
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 45
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 337
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 285
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 294
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 238
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 277
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 230
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 238
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 188
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 277
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 230
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 238
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 188
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 223
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 181
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 188
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 144
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 174
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 137
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 174
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 137
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 174
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 137
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 94
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 67
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 45
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 276
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 229
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 237
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 221
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 179
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 186
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 172
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 135
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 141
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 129
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 97
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 102
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 70
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 93
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 66
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 70
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 44
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 222
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 180
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 187
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 173
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 136
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 142
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 130
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 98
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 103
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 93
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 66
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 70
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 44
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 174
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 137
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 143
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 105
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 94
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 67
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 45
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 131
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 99
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 104
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 72
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 94
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 67
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 45
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 94
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 67
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 71
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 45
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 63
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 41
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 44
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 24
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 480
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 418
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 430
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 361
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 406
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 349
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 360
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 297
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 407
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % Steps: 350
% 277.97/161.30  % SZS status Timeout
% 277.97/161.30  % 
%------------------------------------------------------------------------------