TSTP Solution File: SYO279^5 by Lash---1.13
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Lash---1.13
% Problem : SYO279^5 : TPTP v8.1.2. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : lash -P picomus -M modes -p tstp -t %d %s
% Computer : n021.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 : Fri Sep 1 04:46:07 EDT 2023
% Result : Timeout 308.79s 154.99s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.14 % Problem : SYO279^5 : TPTP v8.1.2. Released v4.0.0.
% 0.00/0.15 % Command : lash -P picomus -M modes -p tstp -t %d %s
% 0.15/0.37 % Computer : n021.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 300
% 0.15/0.37 % DateTime : Sat Aug 26 07:50:26 EDT 2023
% 0.15/0.37 % CPUTime :
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 886
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 760
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 764
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 647
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 762
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 645
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 763
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 646
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 764
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 647
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 651
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 763
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 646
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 546
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 762
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 645
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 647
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 539
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 761
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 644
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 646
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 538
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 647
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 539
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 442
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 647
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 539
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 442
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 646
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 538
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 441
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 442
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 354
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 276
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 442
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 354
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 276
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 276
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 207
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 763
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 646
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 546
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 450
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 442
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 354
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 276
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 207
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 276
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 207
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 207
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 147
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 97
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 763
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 646
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 546
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 649
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 450
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 648
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 540
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 647
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 539
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 442
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 443
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 541
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 442
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 354
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 276
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 207
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 650
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 542
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 546
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 544
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 450
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 546
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 451
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 363
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 363
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 545
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 450
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 449
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 363
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 450
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 215
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 152
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 214
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 214
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 153
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 99
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 543
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 444
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 446
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 356
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 447
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 448
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 360
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 279
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 283
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 214
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 361
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 214
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 213
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 153
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 99
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 445
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 355
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 357
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 276
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 207
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 359
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 282
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 147
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 97
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 358
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 277
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 281
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 209
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 278
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 207
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 147
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 97
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 280
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 208
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 212
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 149
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 210
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 147
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 151
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 97
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 211
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 148
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 152
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 98
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 150
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 96
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 100
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 55
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 771
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 654
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 658
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 550
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 656
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 548
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 552
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 657
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 549
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 553
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 551
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 452
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 658
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 550
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 554
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 552
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 552
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 657
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 549
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 553
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 551
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 452
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 552
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 553
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 458
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 370
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 291
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 219
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 656
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 548
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 552
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 550
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 451
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 551
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 452
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 552
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 290
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 218
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 551
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 452
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 290
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 218
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 290
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 218
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 291
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 219
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 221
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 158
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 655
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 547
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 551
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 452
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 549
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 450
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 550
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 451
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 363
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 551
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 452
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 550
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 451
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 363
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 290
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 218
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 216
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 220
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 157
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 549
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 450
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 452
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 362
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 363
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 216
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 364
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 215
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 219
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 156
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 363
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 286
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 365
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 284
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 216
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 215
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 219
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 156
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 285
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 217
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 287
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 215
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 219
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 156
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 216
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 220
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 157
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 218
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 155
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 159
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 105
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 658
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 550
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 554
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 552
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 453
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 553
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 458
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 370
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 554
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 455
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 459
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 371
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 290
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 371
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 290
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 292
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 220
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 553
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 454
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 458
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 368
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 456
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 366
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 370
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 289
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 457
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 367
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 371
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 290
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 369
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 288
% 216.85/105.93 % SZS status Timeout
% 216.85/105.93 % Steps: 292
% 216.85/105.93 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 458
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 372
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 293
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 223
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 160
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 551
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 452
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 456
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 454
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 364
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 455
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 367
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 456
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 456
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 161
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 107
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 551
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 452
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 456
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 454
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 364
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 455
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 367
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 456
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 456
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 161
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 107
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 453
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 367
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 216
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 215
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 156
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 367
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 216
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 216
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 155
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 105
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 215
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 156
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 216
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 155
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 105
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 216
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 155
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 105
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 156
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 160
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 106
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 104
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 108
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 63
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 652
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 544
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 548
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 449
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 546
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 447
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 451
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 547
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 448
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 452
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 450
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 360
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 364
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 548
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 449
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 453
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 451
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 451
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 547
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 448
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 452
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 450
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 360
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 364
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 451
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 452
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 364
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 215
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 154
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 545
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 446
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 450
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 360
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 448
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 358
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 449
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 359
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 280
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 212
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 450
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 360
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 364
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 211
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 215
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 152
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 450
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 360
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 364
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 212
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 216
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 153
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 211
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 215
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 152
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 212
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 216
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 153
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 151
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 155
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 101
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 544
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 445
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 449
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 359
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 447
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 357
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 280
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 448
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 358
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 360
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 279
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 211
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 449
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 359
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 280
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 212
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 280
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 212
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 210
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 151
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 449
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 359
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 363
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 361
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 280
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 284
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 212
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 211
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 215
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 152
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 362
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 285
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 211
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 215
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 152
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 210
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 151
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 150
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 154
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 100
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 441
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 351
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 355
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 274
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 353
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 272
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 275
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 204
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 354
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 273
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 276
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 205
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 274
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 203
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 207
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 144
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 348
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 267
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 271
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 199
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 269
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 197
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 201
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 138
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 275
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 204
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 208
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 145
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 206
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 143
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 146
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 93
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 360
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 279
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 283
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 211
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 281
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 209
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 150
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 282
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 210
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 214
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 151
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 212
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 149
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 153
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 99
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 275
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 204
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 208
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 145
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 206
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 143
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 146
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 93
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 213
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 150
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 154
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 100
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 152
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 98
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 102
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 57
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 553
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 454
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 458
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 456
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 366
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 457
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 367
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 371
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 458
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 372
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 293
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 293
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 223
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 160
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 458
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 372
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 370
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 293
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 371
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 294
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 224
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 161
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 371
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 294
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 224
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 161
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 223
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 160
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 163
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 109
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 455
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 367
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 161
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 107
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 223
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 160
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 162
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 108
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 161
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 107
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 162
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 108
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 160
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 106
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 110
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 65
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 455
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 365
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 367
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 286
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 368
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 287
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 291
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 219
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 289
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 217
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 221
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 158
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 157
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 161
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 107
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 369
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 288
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 292
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 220
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 290
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 218
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 222
% 216.85/105.94 % SZS status Timeout
% 216.85/105.94 % Steps: 159
%------------------------------------------------------------------------------