TSTP Solution File: SWV569-1.050 by Bliksem---1.12
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Bliksem---1.12
% Problem : SWV569-1.050 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : bliksem %s
% Computer : n013.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 : 0s
% DateTime : Wed Jul 20 16:26:46 EDT 2022
% Result : Timeout 300.03s 300.37s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWV569-1.050 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.13 % Command : bliksem %s
% 0.13/0.33 % Computer : n013.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % DateTime : Tue Jun 14 18:32:59 EDT 2022
% 0.13/0.33 % CPUTime :
% 0.84/1.26 *** allocated 10000 integers for termspace/termends
% 0.84/1.26 *** allocated 10000 integers for clauses
% 0.84/1.26 *** allocated 10000 integers for justifications
% 0.84/1.26 Bliksem 1.12
% 0.84/1.26
% 0.84/1.26
% 0.84/1.26 Automatic Strategy Selection
% 0.84/1.26
% 0.84/1.26 Clauses:
% 0.84/1.26 [
% 0.84/1.26 [ =( select( store( X, Y, Z ), Y ), Z ) ],
% 0.84/1.26 [ =( X, Y ), =( select( store( Z, X, T ), Y ), select( Z, Y ) ) ],
% 0.84/1.26 [ ~( =( head, tail ) ) ],
% 0.84/1.26 [ ~( =( head, seq ) ) ],
% 0.84/1.26 [ ~( =( tail, seq ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 , X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X
% 0.84/1.26 ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) )
% 0.84/1.26 ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ]
% 0.84/1.26 ,
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 , X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X )
% 0.84/1.26 ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ]
% 0.84/1.26 ,
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 , X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X )
% 0.84/1.26 ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ]
% 0.84/1.26 ,
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X
% 0.84/1.26 ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) )
% 0.84/1.26 ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ]
% 0.84/1.26 ,
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 s( X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s(
% 0.84/1.26 X ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) )
% 0.84/1.26 ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ) ), X
% 0.84/1.26 ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ) ), X ) )
% 0.84/1.26 ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ) ), X ) ) ]
% 0.84/1.26 ,
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( s( X ) ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( s( X ) ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( s( X ) ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( s( X ) ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( s( X ) ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( s( X ) ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( s( X ) ), X ) ) ],
% 0.84/1.26 [ ~( =( s( X ), X ) ) ],
% 0.84/1.26 [ =( 'earray_10', store( 'earray_8', 'index_9', e9 ) ) ],
% 0.84/1.26 [ =( 'earray_100', store( 'earray_98', 'index_99', e21 ) ) ],
% 0.84/1.26 [ =( 'earray_104', select( q22, seq ) ) ],
% 0.84/1.26 [ =( 'earray_106', store( 'earray_104', 'index_105', e22 ) ) ],
% 0.84/1.26 [ =( 'earray_110', select( q23, seq ) ) ],
% 0.84/1.26 [ =( 'earray_112', store( 'earray_110', 'index_111', e23 ) ) ],
% 0.84/1.26 [ =( 'earray_119', select( q24, seq ) ) ],
% 0.84/1.26 [ =( 'earray_121', store( 'earray_119', 'index_120', e24 ) ) ],
% 0.84/1.26 [ =( 'earray_125', select( q25, seq ) ) ],
% 0.84/1.26 [ =( 'earray_127', store( 'earray_125', 'index_126', e25 ) ) ],
% 0.84/1.26 [ =( 'earray_131', select( q26, seq ) ) ],
% 0.84/1.26 [ =( 'earray_133', store( 'earray_131', 'index_132', e26 ) ) ],
% 0.84/1.26 [ =( 'earray_14', select( q10, seq ) ) ],
% 0.84/1.26 [ =( 'earray_140', select( q27, seq ) ) ],
% 0.84/1.26 [ =( 'earray_142', store( 'earray_140', 'index_141', e27 ) ) ],
% 0.84/1.26 [ =( 'earray_146', select( q28, seq ) ) ],
% 0.84/1.26 [ =( 'earray_148', store( 'earray_146', 'index_147', e28 ) ) ],
% 0.84/1.26 [ =( 'earray_152', select( q2, seq ) ) ],
% 0.84/1.26 [ =( 'earray_154', store( 'earray_152', 'index_153', e2 ) ) ],
% 0.84/1.26 [ =( 'earray_16', store( 'earray_14', 'index_15', e10 ) ) ],
% 0.84/1.26 [ =( 'earray_161', select( q29, seq ) ) ],
% 0.84/1.26 [ =( 'earray_163', store( 'earray_161', 'index_162', e29 ) ) ],
% 0.84/1.26 [ =( 'earray_170', select( q30, seq ) ) ],
% 0.84/1.26 [ =( 'earray_172', store( 'earray_170', 'index_171', e30 ) ) ],
% 0.84/1.26 [ =( 'earray_176', select( q31, seq ) ) ],
% 0.84/1.26 [ =( 'earray_178', store( 'earray_176', 'index_177', e31 ) ) ],
% 0.84/1.26 [ =( 'earray_182', select( q32, seq ) ) ],
% 0.84/1.26 [ =( 'earray_184', store( 'earray_182', 'index_183', e32 ) ) ],
% 0.84/1.26 [ =( 'earray_191', select( q33, seq ) ) ],
% 0.84/1.26 [ =( 'earray_193', store( 'earray_191', 'index_192', e33 ) ) ],
% 0.84/1.26 [ =( 'earray_197', select( q34, seq ) ) ],
% 0.84/1.26 [ =( 'earray_199', store( 'earray_197', 'index_198', e34 ) ) ],
% 0.84/1.26 [ =( 'earray_2', select( q0, seq ) ) ],
% 0.84/1.26 [ =( 'earray_20', select( q11, seq ) ) ],
% 0.84/1.26 [ =( 'earray_203', select( q35, seq ) ) ],
% 0.84/1.26 [ =( 'earray_205', store( 'earray_203', 'index_204', e35 ) ) ],
% 0.84/1.26 [ =( 'earray_212', select( q36, seq ) ) ],
% 0.84/1.26 [ =( 'earray_214', store( 'earray_212', 'index_213', e36 ) ) ],
% 0.84/1.26 [ =( 'earray_218', select( q37, seq ) ) ],
% 0.84/1.26 [ =( 'earray_22', store( 'earray_20', 'index_21', e11 ) ) ],
% 0.84/1.26 [ =( 'earray_220', store( 'earray_218', 'index_219', e37 ) ) ],
% 0.84/1.26 [ =( 'earray_224', select( q38, seq ) ) ],
% 0.84/1.26 [ =( 'earray_226', store( 'earray_224', 'index_225', e38 ) ) ],
% 0.84/1.26 [ =( 'earray_233', select( q3, seq ) ) ],
% 0.84/1.26 [ =( 'earray_235', store( 'earray_233', 'index_234', e3 ) ) ],
% 0.84/1.26 [ =( 'earray_239', select( q39, seq ) ) ],
% 0.84/1.26 [ =( 'earray_241', store( 'earray_239', 'index_240', e39 ) ) ],
% 0.84/1.26 [ =( 'earray_245', select( q40, seq ) ) ],
% 0.84/1.26 [ =( 'earray_247', store( 'earray_245', 'index_246', e40 ) ) ],
% 0.84/1.26 [ =( 'earray_251', select( q41, seq ) ) ],
% 0.84/1.26 [ =( 'earray_253', store( 'earray_251', 'index_252', e41 ) ) ],
% 0.84/1.26 [ =( 'earray_260', select( q42, seq ) ) ],
% 0.84/1.26 [ =( 'earray_262', store( 'earray_260', 'index_261', e42 ) ) ],
% 0.84/1.26 [ =( 'earray_266', select( q43, seq ) ) ],
% 0.84/1.26 [ =( 'earray_268', store( 'earray_266', 'index_267', e43 ) ) ],
% 0.84/1.26 [ =( 'earray_272', select( q44, seq ) ) ],
% 0.84/1.26 [ =( 'earray_274', store( 'earray_272', 'index_273', e44 ) ) ],
% 0.84/1.26 [ =( 'earray_281', select( q45, seq ) ) ],
% 0.84/1.26 [ =( 'earray_283', store( 'earray_281', 'index_282', e45 ) ) ],
% 0.84/1.26 [ =( 'earray_287', select( q46, seq ) ) ],
% 0.84/1.26 [ =( 'earray_289', store( 'earray_287', 'index_288', e46 ) ) ],
% 0.84/1.26 [ =( 'earray_29', select( q12, seq ) ) ],
% 0.84/1.26 [ =( 'earray_293', select( q47, seq ) ) ],
% 0.84/1.26 [ =( 'earray_295', store( 'earray_293', 'index_294', e47 ) ) ],
% 0.84/1.26 [ =( 'earray_302', select( q48, seq ) ) ],
% 0.84/1.26 [ =( 'earray_304', store( 'earray_302', 'index_303', e48 ) ) ],
% 0.84/1.26 [ =( 'earray_308', select( q4, seq ) ) ],
% 0.84/1.26 [ =( 'earray_31', store( 'earray_29', 'index_30', e12 ) ) ],
% 0.84/1.26 [ =( 'earray_310', store( 'earray_308', 'index_309', e4 ) ) ],
% 0.84/1.26 [ =( 'earray_314', select( q49, seq ) ) ],
% 0.84/1.26 [ =( 'earray_316', store( 'earray_314', 'index_315', e49 ) ) ],
% 0.84/1.26 [ =( 'earray_320', select( q5, seq ) ) ],
% 0.84/1.26 [ =( 'earray_322', store( 'earray_320', 'index_321', e5 ) ) ],
% 0.84/1.26 [ =( 'earray_329', select( q6, seq ) ) ],
% 0.84/1.26 [ =( 'earray_331', store( 'earray_329', 'index_330', e6 ) ) ],
% 0.84/1.26 [ =( 'earray_335', select( q7, seq ) ) ],
% 0.84/1.26 [ =( 'earray_337', store( 'earray_335', 'index_336', e7 ) ) ],
% 0.84/1.26 [ =( 'earray_341', select( q8, seq ) ) ],
% 0.84/1.26 [ =( 'earray_343', store( 'earray_341', 'index_342', e8 ) ) ],
% 0.84/1.26 [ =( 'earray_35', select( q13, seq ) ) ],
% 0.84/1.26 [ =( 'earray_350', select( q50, seq ) ) ],
% 0.84/1.26 [ =( 'earray_37', store( 'earray_35', 'index_36', e13 ) ) ],
% 0.84/1.26 [ =( 'earray_4', store( 'earray_2', 'index_3', e0 ) ) ],
% 0.84/1.26 [ =( 'earray_41', select( q14, seq ) ) ],
% 0.84/1.26 [ =( 'earray_43', store( 'earray_41', 'index_42', e14 ) ) ],
% 0.84/1.26 [ =( 'earray_50', select( q15, seq ) ) ],
% 0.84/1.26 [ =( 'earray_52', store( 'earray_50', 'index_51', e15 ) ) ],
% 0.84/1.26 [ =( 'earray_56', select( q16, seq ) ) ],
% 0.84/1.26 [ =( 'earray_58', store( 'earray_56', 'index_57', e16 ) ) ],
% 0.84/1.26 [ =( 'earray_62', select( q17, seq ) ) ],
% 0.84/1.26 [ =( 'earray_64', store( 'earray_62', 'index_63', e17 ) ) ],
% 0.84/1.26 [ =( 'earray_71', select( q18, seq ) ) ],
% 0.84/1.26 [ =( 'earray_73', store( 'earray_71', 'index_72', e18 ) ) ],
% 0.84/1.26 [ =( 'earray_77', select( q1, seq ) ) ],
% 0.84/1.26 [ =( 'earray_79', store( 'earray_77', 'index_78', e1 ) ) ],
% 0.84/1.26 [ =( 'earray_8', select( q9, seq ) ) ],
% 0.84/1.26 [ =( 'earray_83', select( q19, seq ) ) ],
% 0.84/1.26 [ =( 'earray_85', store( 'earray_83', 'index_84', e19 ) ) ],
% 0.84/1.26 [ =( 'earray_89', select( q20, seq ) ) ],
% 0.84/1.26 [ =( 'earray_91', store( 'earray_89', 'index_90', e20 ) ) ],
% 0.84/1.26 [ =( 'earray_98', select( q21, seq ) ) ],
% 0.84/1.26 [ =( 'elem_352', select( 'earray_350', 'index_351' ) ) ],
% 0.84/1.26 [ =( 'index_0', select( q, tail ) ) ],
% 0.84/1.26 [ =( 'index_102', s( 'index_99' ) ) ],
% 0.84/1.26 [ =( 'index_105', select( q22, tail ) ) ],
% 0.84/1.26 [ =( 'index_108', s( 'index_105' ) ) ],
% 0.84/1.26 [ =( 'index_111', select( q23, tail ) ) ],
% 0.84/1.26 [ =( 'index_114', s( 'index_111' ) ) ],
% 0.84/1.26 [ =( 'index_116', select( 'queue_115', head ) ) ],
% 0.84/1.26 [ =( 'index_117', s( 'index_116' ) ) ],
% 0.84/1.26 [ =( 'index_12', s( 'index_9' ) ) ],
% 0.84/1.26 [ =( 'index_120', select( q24, tail ) ) ],
% 0.84/1.26 [ =( 'index_123', s( 'index_120' ) ) ],
% 0.84/1.26 [ =( 'index_126', select( q25, tail ) ) ],
% 0.84/1.26 [ =( 'index_129', s( 'index_126' ) ) ],
% 0.84/1.26 [ =( 'index_132', select( q26, tail ) ) ],
% 0.84/1.26 [ =( 'index_135', s( 'index_132' ) ) ],
% 0.84/1.26 [ =( 'index_137', select( 'queue_136', head ) ) ],
% 0.84/1.26 [ =( 'index_138', s( 'index_137' ) ) ],
% 0.84/1.26 [ =( 'index_141', select( q27, tail ) ) ],
% 0.84/1.26 [ =( 'index_144', s( 'index_141' ) ) ],
% 0.84/1.26 [ =( 'index_147', select( q28, tail ) ) ],
% 0.84/1.26 [ =( 'index_15', select( q10, tail ) ) ],
% 0.84/1.26 [ =( 'index_150', s( 'index_147' ) ) ],
% 0.84/1.26 [ =( 'index_153', select( q2, tail ) ) ],
% 0.84/1.26 [ =( 'index_156', s( 'index_153' ) ) ],
% 0.84/1.26 [ =( 'index_158', select( 'queue_157', head ) ) ],
% 0.84/1.26 [ =( 'index_159', s( 'index_158' ) ) ],
% 0.84/1.26 [ =( 'index_162', select( q29, tail ) ) ],
% 0.84/1.26 [ =( 'index_165', s( 'index_162' ) ) ],
% 0.84/1.26 [ =( 'index_167', select( 'queue_166', head ) ) ],
% 0.84/1.26 [ =( 'index_168', s( 'index_167' ) ) ],
% 0.84/1.26 [ =( 'index_171', select( q30, tail ) ) ],
% 0.84/1.26 [ =( 'index_174', s( 'index_171' ) ) ],
% 0.84/1.26 [ =( 'index_177', select( q31, tail ) ) ],
% 0.84/1.26 [ =( 'index_18', s( 'index_15' ) ) ],
% 0.84/1.26 [ =( 'index_180', s( 'index_177' ) ) ],
% 0.84/1.26 [ =( 'index_183', select( q32, tail ) ) ],
% 0.84/1.26 [ =( 'index_186', s( 'index_183' ) ) ],
% 0.84/1.26 [ =( 'index_188', select( 'queue_187', head ) ) ],
% 0.84/1.26 [ =( 'index_189', s( 'index_188' ) ) ],
% 0.84/1.26 [ =( 'index_192', select( q33, tail ) ) ],
% 0.84/1.26 [ =( 'index_195', s( 'index_192' ) ) ],
% 0.84/1.26 [ =( 'index_198', select( q34, tail ) ) ],
% 0.84/1.26 [ =( 'index_201', s( 'index_198' ) ) ],
% 0.84/1.26 [ =( 'index_204', select( q35, tail ) ) ],
% 0.84/1.26 [ =( 'index_207', s( 'index_204' ) ) ],
% 0.84/1.26 [ =( 'index_209', select( 'queue_208', head ) ) ],
% 0.84/1.26 [ =( 'index_21', select( q11, tail ) ) ],
% 0.84/1.26 [ =( 'index_210', s( 'index_209' ) ) ],
% 0.84/1.26 [ =( 'index_213', select( q36, tail ) ) ],
% 0.84/1.26 [ =( 'index_216', s( 'index_213' ) ) ],
% 0.84/1.26 [ =( 'index_219', select( q37, tail ) ) ],
% 0.84/1.26 [ =( 'index_222', s( 'index_219' ) ) ],
% 0.84/1.26 [ =( 'index_225', select( q38, tail ) ) ],
% 0.84/1.26 [ =( 'index_228', s( 'index_225' ) ) ],
% 0.84/1.26 [ =( 'index_230', select( 'queue_229', head ) ) ],
% 0.84/1.26 [ =( 'index_231', s( 'index_230' ) ) ],
% 0.84/1.26 [ =( 'index_234', select( q3, tail ) ) ],
% 0.84/1.26 [ =( 'index_237', s( 'index_234' ) ) ],
% 0.84/1.26 [ =( 'index_24', s( 'index_21' ) ) ],
% 0.84/1.26 [ =( 'index_240', select( q39, tail ) ) ],
% 0.84/1.26 [ =( 'index_243', s( 'index_240' ) ) ],
% 0.84/1.26 [ =( 'index_246', select( q40, tail ) ) ],
% 0.84/1.26 [ =( 'index_249', s( 'index_246' ) ) ],
% 0.84/1.26 [ =( 'index_252', select( q41, tail ) ) ],
% 0.84/1.26 [ =( 'index_255', s( 'index_252' ) ) ],
% 0.84/1.26 [ =( 'index_257', select( 'queue_256', head ) ) ],
% 0.84/1.26 [ =( 'index_258', s( 'index_257' ) ) ],
% 0.84/1.26 [ =( 'index_26', select( 'queue_25', head ) ) ],
% 0.84/1.26 [ =( 'index_261', select( q42, tail ) ) ],
% 0.84/1.26 [ =( 'index_264', s( 'index_261' ) ) ],
% 0.84/1.26 [ =( 'index_267', select( q43, tail ) ) ],
% 0.84/1.26 [ =( 'index_27', s( 'index_26' ) ) ],
% 0.84/1.26 [ =( 'index_270', s( 'index_267' ) ) ],
% 0.84/1.26 [ =( 'index_273', select( q44, tail ) ) ],
% 0.84/1.26 [ =( 'index_276', s( 'index_273' ) ) ],
% 0.84/1.26 [ =( 'index_278', select( 'queue_277', head ) ) ],
% 0.84/1.26 [ =( 'index_279', s( 'index_278' ) ) ],
% 0.84/1.26 [ =( 'index_282', select( q45, tail ) ) ],
% 0.84/1.26 [ =( 'index_285', s( 'index_282' ) ) ],
% 0.84/1.26 [ =( 'index_288', select( q46, tail ) ) ],
% 0.84/1.26 [ =( 'index_291', s( 'index_288' ) ) ],
% 0.84/1.26 [ =( 'index_294', select( q47, tail ) ) ],
% 0.84/1.26 [ =( 'index_297', s( 'index_294' ) ) ],
% 0.84/1.26 [ =( 'index_299', select( 'queue_298', head ) ) ],
% 0.84/1.26 [ =( 'index_3', select( q0, tail ) ) ],
% 0.84/1.26 [ =( 'index_30', select( q12, tail ) ) ],
% 0.84/1.26 [ =( 'index_300', s( 'index_299' ) ) ],
% 0.84/1.26 [ =( 'index_303', select( q48, tail ) ) ],
% 0.84/1.26 [ =( 'index_306', s( 'index_303' ) ) ],
% 0.84/1.26 [ =( 'index_309', select( q4, tail ) ) ],
% 0.84/1.26 [ =( 'index_312', s( 'index_309' ) ) ],
% 0.84/1.26 [ =( 'index_315', select( q49, tail ) ) ],
% 0.84/1.26 [ =( 'index_318', s( 'index_315' ) ) ],
% 0.84/1.26 [ =( 'index_321', select( q5, tail ) ) ],
% 0.84/1.26 [ =( 'index_324', s( 'index_321' ) ) ],
% 0.84/1.26 [ =( 'index_326', select( 'queue_325', head ) ) ],
% 0.84/1.26 [ =( 'index_327', s( 'index_326' ) ) ],
% 0.84/1.26 [ =( 'index_33', s( 'index_30' ) ) ],
% 0.84/1.26 [ =( 'index_330', select( q6, tail ) ) ],
% 0.84/1.26 [ =( 'index_333', s( 'index_330' ) ) ],
% 0.84/1.26 [ =( 'index_336', select( q7, tail ) ) ],
% 0.84/1.26 [ =( 'index_339', s( 'index_336' ) ) ],
% 0.84/1.26 [ =( 'index_342', select( q8, tail ) ) ],
% 0.84/1.26 [ =( 'index_345', s( 'index_342' ) ) ],
% 0.84/1.26 [ =( 'index_347', select( 'queue_346', head ) ) ],
% 0.84/1.26 [ =( 'index_348', s( 'index_347' ) ) ],
% 0.84/1.26 [ =( 'index_351', select( q50, head ) ) ],
% 0.84/1.26 [ =( 'index_36', select( q13, tail ) ) ],
% 0.84/1.26 [ =( 'index_39', s( 'index_36' ) ) ],
% 0.84/1.26 [ =( 'index_42', select( q14, tail ) ) ],
% 0.84/1.26 [ =( 'index_45', s( 'index_42' ) ) ],
% 0.84/1.26 [ =( 'index_47', select( 'queue_46', head ) ) ],
% 0.84/1.26 [ =( 'index_48', s( 'index_47' ) ) ],
% 0.84/1.26 [ =( 'index_51', select( q15, tail ) ) ],
% 0.84/1.26 [ =( 'index_54', s( 'index_51' ) ) ],
% 0.84/1.26 [ =( 'index_57', select( q16, tail ) ) ],
% 0.84/1.26 [ =( 'index_6', s( 'index_3' ) ) ],
% 0.84/1.26 [ =( 'index_60', s( 'index_57' ) ) ],
% 0.84/1.26 [ =( 'index_63', select( q17, tail ) ) ],
% 0.84/1.26 [ =( 'index_66', s( 'index_63' ) ) ],
% 0.84/1.26 [ =( 'index_68', select( 'queue_67', head ) ) ],
% 0.84/1.26 [ =( 'index_69', s( 'index_68' ) ) ],
% 0.84/1.26 [ =( 'index_72', select( q18, tail ) ) ],
% 0.84/1.26 [ =( 'index_75', s( 'index_72' ) ) ],
% 0.84/1.26 [ =( 'index_78', select( q1, tail ) ) ],
% 0.84/1.26 [ =( 'index_81', s( 'index_78' ) ) ],
% 0.84/1.26 [ =( 'index_84', select( q19, tail ) ) ],
% 0.84/1.26 [ =( 'index_87', s( 'index_84' ) ) ],
% 0.84/1.26 [ =( 'index_9', select( q9, tail ) ) ],
% 0.84/1.26 [ =( 'index_90', select( q20, tail ) ) ],
% 0.84/1.26 [ =( 'index_93', s( 'index_90' ) ) ],
% 0.84/1.26 [ =( 'index_95', select( 'queue_94', head ) ) ],
% 0.84/1.26 [ =( 'index_96', s( 'index_95' ) ) ],
% 0.84/1.26 [ =( 'index_99', select( q21, tail ) ) ],
% 0.84/1.26 [ =( 'queue_1', store( q, head, 'index_0' ) ) ],
% 0.84/1.26 [ =( 'queue_101', store( q21, seq, 'earray_100' ) ) ],
% 0.84/1.26 [ =( 'queue_103', store( 'queue_101', tail, 'index_102' ) ) ],
% 0.84/1.26 [ =( 'queue_107', store( q22, seq, 'earray_106' ) ) ],
% 0.84/1.26 [ =( 'queue_109', store( 'queue_107', tail, 'index_108' ) ) ],
% 0.84/1.26 [ =( 'queue_11', store( q9, seq, 'earray_10' ) ) ],
% 0.84/1.26 [ =( 'queue_113', store( q23, seq, 'earray_112' ) ) ],
% 0.84/1.26 [ =( 'queue_115', store( 'queue_113', tail, 'index_114' ) ) ],
% 0.84/1.26 [ =( 'queue_118', store( 'queue_115', head, 'index_117' ) ) ],
% 0.84/1.26 [ =( 'queue_122', store( q24, seq, 'earray_121' ) ) ],
% 0.84/1.26 [ =( 'queue_124', store( 'queue_122', tail, 'index_123' ) ) ],
% 0.84/1.26 [ =( 'queue_128', store( q25, seq, 'earray_127' ) ) ],
% 0.84/1.26 [ =( 'queue_13', store( 'queue_11', tail, 'index_12' ) ) ],
% 0.84/1.26 [ =( 'queue_130', store( 'queue_128', tail, 'index_129' ) ) ],
% 0.84/1.26 [ =( 'queue_134', store( q26, seq, 'earray_133' ) ) ],
% 0.84/1.26 [ =( 'queue_136', store( 'queue_134', tail, 'index_135' ) ) ],
% 0.84/1.26 [ =( 'queue_139', store( 'queue_136', head, 'index_138' ) ) ],
% 0.84/1.26 [ =( 'queue_143', store( q27, seq, 'earray_142' ) ) ],
% 0.84/1.26 [ =( 'queue_145', store( 'queue_143', tail, 'index_144' ) ) ],
% 0.84/1.27 [ =( 'queue_149', store( q28, seq, 'earray_148' ) ) ],
% 0.84/1.27 [ =( 'queue_151', store( 'queue_149', tail, 'index_150' ) ) ],
% 0.84/1.27 [ =( 'queue_155', store( q2, seq, 'earray_154' ) ) ],
% 0.84/1.27 [ =( 'queue_157', store( 'queue_155', tail, 'index_156' ) ) ],
% 0.84/1.27 [ =( 'queue_160', store( 'queue_157', head, 'index_159' ) ) ],
% 0.84/1.27 [ =( 'queue_164', store( q29, seq, 'earray_163' ) ) ],
% 0.84/1.27 [ =( 'queue_166', store( 'queue_164', tail, 'index_165' ) ) ],
% 0.84/1.27 [ =( 'queue_169', store( 'queue_166', head, 'index_168' ) ) ],
% 0.84/1.27 [ =( 'queue_17', store( q10, seq, 'earray_16' ) ) ],
% 0.84/1.27 [ =( 'queue_173', store( q30, seq, 'earray_172' ) ) ],
% 0.84/1.27 [ =( 'queue_175', store( 'queue_173', tail, 'index_174' ) ) ],
% 0.84/1.27 [ =( 'queue_179', store( q31, seq, 'earray_178' ) ) ],
% 0.84/1.27 [ =( 'queue_181', store( 'queue_179', tail, 'index_180' ) ) ],
% 0.84/1.27 [ =( 'queue_185', store( q32, seq, 'earray_184' ) ) ],
% 0.84/1.27 [ =( 'queue_187', store( 'queue_185', tail, 'index_186' ) ) ],
% 0.84/1.27 [ =( 'queue_19', store( 'queue_17', tail, 'index_18' ) ) ],
% 0.84/1.27 [ =( 'queue_190', store( 'queue_187', head, 'index_189' ) ) ],
% 0.84/1.27 [ =( 'queue_194', store( q33, seq, 'earray_193' ) ) ],
% 0.84/1.27 [ =( 'queue_196', store( 'queue_194', tail, 'index_195' ) ) ],
% 0.84/1.27 [ =( 'queue_200', store( q34, seq, 'earray_199' ) ) ],
% 0.84/1.27 [ =( 'queue_202', store( 'queue_200', tail, 'index_201' ) ) ],
% 0.84/1.27 [ =( 'queue_206', store( q35, seq, 'earray_205' ) ) ],
% 0.84/1.27 [ =( 'queue_208', store( 'queue_206', tail, 'index_207' ) ) ],
% 0.84/1.27 [ =( 'queue_211', store( 'queue_208', head, 'index_210' ) ) ],
% 0.84/1.27 [ =( 'queue_215', store( q36, seq, 'earray_214' ) ) ],
% 0.84/1.27 [ =( 'queue_217', store( 'queue_215', tail, 'index_216' ) ) ],
% 0.84/1.27 [ =( 'queue_221', store( q37, seq, 'earray_220' ) ) ],
% 0.84/1.27 [ =( 'queue_223', store( 'queue_221', tail, 'index_222' ) ) ],
% 0.84/1.27 [ =( 'queue_227', store( q38, seq, 'earray_226' ) ) ],
% 0.84/1.27 [ =( 'queue_229', store( 'queue_227', tail, 'index_228' ) ) ],
% 0.84/1.27 [ =( 'queue_23', store( q11, seq, 'earray_22' ) ) ],
% 0.84/1.27 [ =( 'queue_232', store( 'queue_229', head, 'index_231' ) ) ],
% 0.84/1.27 [ =( 'queue_236', store( q3, seq, 'earray_235' ) ) ],
% 0.84/1.27 [ =( 'queue_238', store( 'queue_236', tail, 'index_237' ) ) ],
% 0.84/1.27 [ =( 'queue_242', store( q39, seq, 'earray_241' ) ) ],
% 0.84/1.27 [ =( 'queue_244', store( 'queue_242', tail, 'index_243' ) ) ],
% 0.84/1.27 [ =( 'queue_248', store( q40, seq, 'earray_247' ) ) ],
% 0.84/1.27 [ =( 'queue_25', store( 'queue_23', tail, 'index_24' ) ) ],
% 0.84/1.27 [ =( 'queue_250', store( 'queue_248', tail, 'index_249' ) ) ],
% 0.84/1.27 [ =( 'queue_254', store( q41, seq, 'earray_253' ) ) ],
% 0.84/1.27 [ =( 'queue_256', store( 'queue_254', tail, 'index_255' ) ) ],
% 0.84/1.27 [ =( 'queue_259', store( 'queue_256', head, 'index_258' ) ) ],
% 0.84/1.27 [ =( 'queue_263', store( q42, seq, 'earray_262' ) ) ],
% 0.84/1.27 [ =( 'queue_265', store( 'queue_263', tail, 'index_264' ) ) ],
% 0.84/1.27 [ =( 'queue_269', store( q43, seq, 'earray_268' ) ) ],
% 0.84/1.27 [ =( 'queue_271', store( 'queue_269', tail, 'index_270' ) ) ],
% 0.84/1.27 [ =( 'queue_275', store( q44, seq, 'earray_274' ) ) ],
% 0.84/1.27 [ =( 'queue_277', store( 'queue_275', tail, 'index_276' ) ) ],
% 0.84/1.27 [ =( 'queue_28', store( 'queue_25', head, 'index_27' ) ) ],
% 0.84/1.27 [ =( 'queue_280', store( 'queue_277', head, 'index_279' ) ) ],
% 0.84/1.27 [ =( 'queue_284', store( q45, seq, 'earray_283' ) ) ],
% 0.84/1.27 [ =( 'queue_286', store( 'queue_284', tail, 'index_285' ) ) ],
% 0.84/1.27 [ =( 'queue_290', store( q46, seq, 'earray_289' ) ) ],
% 0.84/1.27 [ =( 'queue_292', store( 'queue_290', tail, 'index_291' ) ) ],
% 0.84/1.27 [ =( 'queue_296', store( q47, seq, 'earray_295' ) ) ],
% 0.84/1.27 [ =( 'queue_298', store( 'queue_296', tail, 'index_297' ) ) ],
% 0.84/1.27 [ =( 'queue_301', store( 'queue_298', head, 'index_300' ) ) ],
% 0.84/1.27 [ =( 'queue_305', store( q48, seq, 'earray_304' ) ) ],
% 0.84/1.27 [ =( 'queue_307', store( 'queue_305', tail, 'index_306' ) ) ],
% 0.84/1.27 [ =( 'queue_311', store( q4, seq, 'earray_310' ) ) ],
% 0.84/1.27 [ =( 'queue_313', store( 'queue_311', tail, 'index_312' ) ) ],
% 0.84/1.27 [ =( 'queue_317', store( q49, seq, 'earray_316' ) ) ],
% 0.84/1.27 [ =( 'queue_319', store( 'queue_317', tail, 'index_318' ) ) ],
% 0.84/1.27 [ =( 'queue_32', store( q12, seq, 'earray_31' ) ) ],
% 0.84/1.27 [ =( 'queue_323', store( q5, seq, 'earray_322' ) ) ],
% 0.84/1.27 [ =( 'queue_325', store( 'queue_323', tail, 'index_324' ) ) ],
% 0.84/1.27 [ =( 'queue_328', store( 'queue_325', head, 'index_327' ) ) ],
% 0.84/1.27 [ =( 'queue_332', store( q6, seq, 'earray_331' ) ) ],
% 0.84/1.27 [ =( 'queue_334', store( 'queue_332', tail, 'index_333' ) ) ],
% 0.84/1.27 [ =( 'queue_338', store( q7, seq, 'earray_337' ) ) ],
% 0.84/1.27 [ =( 'queue_34', store( 'queue_32', tail, 'index_33' ) ) ],
% 0.84/1.27 [ =( 'queue_340', store( 'queue_338', tail, 'index_339' ) ) ],
% 0.84/1.27 [ =( 'queue_344', store( q8, seq, 'earray_343' ) ) ],
% 0.84/1.27 [ =( 'queue_346', store( 'queue_344', tail, 'index_345' ) ) ],
% 0.84/1.27 [ =( 'queue_349', store( 'queue_346', head, 'index_348' ) ) ],
% 0.84/1.27 [ =( 'queue_38', store( q13, seq, 'earray_37' ) ) ],
% 0.84/1.27 [ =( 'queue_40', store( 'queue_38', tail, 'index_39' ) ) ],
% 0.84/1.27 [ =( 'queue_44', store( q14, seq, 'earray_43' ) ) ],
% 0.84/1.27 [ =( 'queue_46', store( 'queue_44', tail, 'index_45' ) ) ],
% 0.84/1.27 [ =( 'queue_49', store( 'queue_46', head, 'index_48' ) ) ],
% 0.84/1.27 [ =( 'queue_5', store( q0, seq, 'earray_4' ) ) ],
% 0.84/1.27 [ =( 'queue_53', store( q15, seq, 'earray_52' ) ) ],
% 0.84/1.27 [ =( 'queue_55', store( 'queue_53', tail, 'index_54' ) ) ],
% 0.84/1.27 [ =( 'queue_59', store( q16, seq, 'earray_58' ) ) ],
% 0.84/1.27 [ =( 'queue_61', store( 'queue_59', tail, 'index_60' ) ) ],
% 0.84/1.27 [ =( 'queue_65', store( q17, seq, 'earray_64' ) ) ],
% 0.84/1.27 [ =( 'queue_67', store( 'queue_65', tail, 'index_66' ) ) ],
% 0.84/1.27 [ =( 'queue_7', store( 'queue_5', tail, 'index_6' ) ) ],
% 0.84/1.27 [ =( 'queue_70', store( 'queue_67', head, 'index_69' ) ) ],
% 0.84/1.27 [ =( 'queue_74', store( q18, seq, 'earray_73' ) ) ],
% 0.84/1.27 [ =( 'queue_76', store( 'queue_74', tail, 'index_75' ) ) ],
% 0.84/1.27 [ =( 'queue_80', store( q1, seq, 'earray_79' ) ) ],
% 0.84/1.27 [ =( 'queue_82', store( 'queue_80', tail, 'index_81' ) ) ],
% 0.84/1.27 [ =( 'queue_86', store( q19, seq, 'earray_85' ) ) ],
% 0.84/1.27 [ =( 'queue_88', store( 'queue_86', tail, 'index_87' ) ) ],
% 0.84/1.27 [ =( 'queue_92', store( q20, seq, 'earray_91' ) ) ],
% 0.84/1.27 [ =( 'queue_94', store( 'queue_92', tail, 'index_93' ) ) ],
% 0.84/1.27 [ =( 'queue_97', store( 'queue_94', head, 'index_96' ) ) ],
% 0.84/1.27 [ =( q0, 'queue_1' ) ],
% 0.84/1.27 [ =( q1, 'queue_7' ) ],
% 0.84/1.27 [ =( q10, 'queue_13' ) ],
% 0.84/1.27 [ =( q11, 'queue_19' ) ],
% 0.84/1.27 [ =( q12, 'queue_28' ) ],
% 0.84/1.27 [ =( q13, 'queue_34' ) ],
% 0.84/1.27 [ =( q14, 'queue_40' ) ],
% 0.84/1.27 [ =( q15, 'queue_49' ) ],
% 0.84/1.27 [ =( q16, 'queue_55' ) ],
% 0.84/1.27 [ =( q17, 'queue_61' ) ],
% 0.84/1.27 [ =( q18, 'queue_70' ) ],
% 0.84/1.27 [ =( q19, 'queue_76' ) ],
% 0.84/1.27 [ =( q2, 'queue_82' ) ],
% 0.84/1.27 [ =( q20, 'queue_88' ) ],
% 0.84/1.27 [ =( q21, 'queue_97' ) ],
% 0.84/1.27 [ =( q22, 'queue_103' ) ],
% 0.84/1.27 [ =( q23, 'queue_109' ) ],
% 0.84/1.27 [ =( q24, 'queue_118' ) ],
% 0.84/1.27 [ =( q25, 'queue_124' ) ],
% 0.84/1.27 [ =( q26, 'queue_130' ) ],
% 0.84/1.27 [ =( q27, 'queue_139' ) ],
% 0.84/1.27 [ =( q28, 'queue_145' ) ],
% 0.84/1.27 [ =( q29, 'queue_151' ) ],
% 0.84/1.27 [ =( q3, 'queue_160' ) ],
% 0.84/1.27 [ =( q30, 'queue_169' ) ],
% 0.84/1.27 [ =( q31, 'queue_175' ) ],
% 0.84/1.27 [ =( q32, 'queue_181' ) ],
% 0.84/1.27 [ =( q33, 'queue_190' ) ],
% 0.84/1.27 [ =( q34, 'queue_196' ) ],
% 0.84/1.27 [ =( q35, 'queue_202' ) ],
% 0.84/1.27 [ =( q36, 'queue_211' ) ],
% 0.84/1.27 [ =( q37, 'queue_217' ) ],
% 0.84/1.27 [ =( q38, 'queue_223' ) ],
% 0.84/1.27 [ =( q39, 'queue_232' ) ],
% 0.84/1.27 [ =( q4, 'queue_238' ) ],
% 0.84/1.27 [ =( q40, 'queue_244' ) ],
% 0.84/1.27 [ =( q41, 'queue_250' ) ],
% 0.84/1.27 [ =( q42, 'queue_259' ) ],
% 0.84/1.27 [ =( q43, 'queue_265' ) ],
% 0.84/1.27 [ =( q44, 'queue_271' ) ],
% 0.84/1.27 [ =( q45, 'queue_280' ) ],
% 0.84/1.27 [ =( q46, 'queue_286' ) ],
% 0.84/1.27 [ =( q47, 'queue_292' ) ],
% 0.84/1.27 [ =( q48, 'queue_301' ) ],
% 0.84/1.27 [ =( q49, 'queue_307' ) ],
% 0.84/1.27 [ =( q5, 'queue_313' ) ],
% 0.84/1.27 [ =( q50, 'queue_319' ) ],
% 0.84/1.27 [ =( q6, 'queue_328' ) ],
% 0.84/1.27 [ =( q7, 'queue_334' ) ],
% 0.84/1.27 [ =( q8, 'queue_340' ) ],
% 0.84/1.27 [ =( q9, 'queue_349' ) ],
% 0.84/1.27 [ ~( =( 'elem_352', e16 ) ) ]
% 0.84/1.27 ] .
% 0.84/1.27
% 0.84/1.27
% 0.84/1.27 percentage equality = 1.000000, percentage horn = 0.997967
% 0.84/1.27 This is a pure equality problem
% 0.84/1.27
% 0.84/1.27
% 0.84/1.27
% 0.84/1.27 Options Used:
% 0.84/1.27
% 0.84/1.27 useres = 1
% 0.84/1.27 useparamod = 1
% 0.84/1.27 useeqrefl = 1
% 0.84/1.27 useeqfact = 1
% 0.84/1.27 usefactor = 1
% 0.84/1.27 usesimpsplitting = 0
% 0.84/1.27 usesimpdemod = 5
% 0.84/1.27 usesimpres = 3
% 0.84/1.27
% 0.84/1.27 resimpinuse = 1000
% 0.84/1.27 resimpclauses = 20000
% 0.84/1.27 substype = eqrewr
% 0.84/1.27 backwardsubs = 1
% 0.84/1.27 selectoldest = 5
% 0.84/1.27
% 0.84/1.27 litorderings [0] = split
% 0.84/1.27 litorderings [1] = extend the termordering, first sorting on arguments
% 0.84/1.27
% 0.84/1.27 termordering = kbo
% 0.84/1.27
% 0.84/1.27 litapriori = 0
% 0.84/1.27 termapriori = 1
% 0.84/1.27 litaposteriori = 0
% 0.84/1.27 termaposteriori = 0
% 0.84/1.27 demodaposteriori = 0
% 0.84/1.27 ordereqreflfact = 0
% 0.84/1.27
% 0.84/1.27 litselect = negord
% 0.84/1.27
% 0.84/1.27 maxweight = 15
% 0.84/1.27 maxdepth = 30000
% 0.84/1.27 maxlength = 115
% 0.84/1.27 maxnrvars = 195
% 0.84/1.27 excuselevel = 1
% 0.84/1.27 increasemaxweight = 1
% 0.84/1.27
% 0.84/1.27 maxselected = 10000000
% 0.84/1.27 maxnrclauses = 10000000
% 0.84/1.27
% 0.84/1.27 showgenerated = 0
% 0.84/1.27 showkept = 0
% 0.84/1.27 showselected = 0
% 0.84/1.27 showdeleted = 0
% 0.84/1.27 showresimp = 1
% 0.84/1.27 showstatus = 2000
% 0.84/1.27
% 0.84/1.27 prologoutput = 1
% 0.84/1.27 nrgoals = 5000000
% 0.84/1.27 totalproof = 1
% 0.84/1.27
% 0.84/1.27 Symbols occurring in the translation:
% 0.84/1.27
% 0.84/1.27 {} [0, 0] (w:1, o:2, a:1, s:1, b:0),
% 0.84/1.27 . [1, 2] (w:1, o:478, a:1, s:1, b:0),
% 0.84/1.27 ! [4, 1] (w:0, o:472, a:1, s:1, b:0),
% 0.84/1.27 = [13, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.84/1.27 ==> [14, 2] (w:1, o:0, a:0, s:1, b:0),
% 0.84/1.27 store [42, 3] (w:1, o:504, a:1, s:1, b:0),
% 0.84/1.27 select [43, 2] (w:1, o:503, a:1, s:1, b:0),
% 0.84/1.27 head [45, 0] (w:1, o:14, a:1, s:1, b:0),
% 0.84/1.27 tail [46, 0] (w:1, o:15, a:1, s:1, b:0),
% 0.84/1.27 seq [47, 0] (w:1, o:5, a:1, s:1, b:0),
% 0.84/1.27 s [49, 1] (w:1, o:477, a:1, s:1, b:0),
% 0.84/1.27 'earray_10' [50, 0] (w:1, o:17, a:1, s:1, b:0),
% 0.84/1.27 'earray_8' [51, 0] (w:1, o:22, a:1, s:1, b:0),
% 0.84/1.27 'index_9' [52, 0] (w:1, o:27, a:1, s:1, b:0),
% 0.84/1.27 e9 [53, 0] (w:1, o:29, a:1, s:1, b:0),
% 0.84/1.27 'earray_100' [54, 0] (w:1, o:30, a:1, s:1, b:0),
% 0.84/1.27 'earray_98' [55, 0] (w:1, o:34, a:1, s:1, b:0),
% 0.84/1.27 'index_99' [56, 0] (w:1, o:35, a:1, s:1, b:0),
% 0.84/1.27 e21 [57, 0] (w:1, o:49, a:1, s:1, b:0),
% 0.84/1.27 'earray_104' [58, 0] (w:1, o:50, a:1, s:1, b:0),
% 0.84/1.27 q22 [59, 0] (w:1, o:64, a:1, s:1, b:0),
% 0.84/1.27 'earray_106' [60, 0] (w:1, o:65, a:1, s:1, b:0),
% 0.84/1.27 'index_105' [61, 0] (w:1, o:67, a:1, s:1, b:0),
% 0.84/1.27 e22 [62, 0] (w:1, o:68, a:1, s:1, b:0),
% 0.84/1.27 'earray_110' [63, 0] (w:1, o:69, a:1, s:1, b:0),
% 0.84/1.27 q23 [64, 0] (w:1, o:70, a:1, s:1, b:0),
% 0.84/1.27 'earray_112' [65, 0] (w:1, o:71, a:1, s:1, b:0),
% 0.84/1.27 'index_111' [66, 0] (w:1, o:74, a:1, s:1, b:0),
% 0.84/1.27 e23 [67, 0] (w:1, o:75, a:1, s:1, b:0),
% 0.84/1.27 'earray_119' [68, 0] (w:1, o:76, a:1, s:1, b:0),
% 0.84/1.27 q24 [69, 0] (w:1, o:77, a:1, s:1, b:0),
% 0.84/1.27 'earray_121' [70, 0] (w:1, o:78, a:1, s:1, b:0),
% 0.84/1.27 'index_120' [71, 0] (w:1, o:82, a:1, s:1, b:0),
% 0.84/1.27 e24 [72, 0] (w:1, o:83, a:1, s:1, b:0),
% 0.84/1.27 'earray_125' [73, 0] (w:1, o:84, a:1, s:1, b:0),
% 0.84/1.27 q25 [74, 0] (w:1, o:85, a:1, s:1, b:0),
% 0.84/1.27 'earray_127' [75, 0] (w:1, o:86, a:1, s:1, b:0),
% 0.84/1.27 'index_126' [76, 0] (w:1, o:87, a:1, s:1, b:0),
% 0.84/1.27 e25 [77, 0] (w:1, o:88, a:1, s:1, b:0),
% 0.84/1.27 'earray_131' [78, 0] (w:1, o:89, a:1, s:1, b:0),
% 0.84/1.27 q26 [79, 0] (w:1, o:90, a:1, s:1, b:0),
% 0.84/1.27 'earray_133' [80, 0] (w:1, o:91, a:1, s:1, b:0),
% 0.84/1.27 'index_132' [81, 0] (w:1, o:95, a:1, s:1, b:0),
% 0.84/1.27 e26 [82, 0] (w:1, o:96, a:1, s:1, b:0),
% 0.84/1.27 'earray_14' [83, 0] (w:1, o:97, a:1, s:1, b:0),
% 0.84/1.27 q10 [84, 0] (w:1, o:52, a:1, s:1, b:0),
% 0.84/1.27 'earray_140' [85, 0] (w:1, o:98, a:1, s:1, b:0),
% 0.84/1.27 q27 [86, 0] (w:1, o:99, a:1, s:1, b:0),
% 0.84/1.27 'earray_142' [87, 0] (w:1, o:100, a:1, s:1, b:0),
% 0.84/1.27 'index_141' [88, 0] (w:1, o:104, a:1, s:1, b:0),
% 0.84/1.27 e27 [89, 0] (w:1, o:105, a:1, s:1, b:0),
% 0.84/1.27 'earray_146' [90, 0] (w:1, o:106, a:1, s:1, b:0),
% 0.84/1.27 q28 [91, 0] (w:1, o:107, a:1, s:1, b:0),
% 0.84/1.27 'earray_148' [92, 0] (w:1, o:108, a:1, s:1, b:0),
% 0.84/1.27 'index_147' [93, 0] (w:1, o:109, a:1, s:1, b:0),
% 0.84/1.27 e28 [94, 0] (w:1, o:110, a:1, s:1, b:0),
% 0.84/1.27 'earray_152' [95, 0] (w:1, o:111, a:1, s:1, b:0),
% 0.84/1.27 q2 [96, 0] (w:1, o:112, a:1, s:1, b:0),
% 0.84/1.27 'earray_154' [97, 0] (w:1, o:113, a:1, s:1, b:0),
% 0.84/1.27 'index_153' [98, 0] (w:1, o:115, a:1, s:1, b:0),
% 0.84/1.27 e2 [99, 0] (w:1, o:116, a:1, s:1, b:0),
% 0.84/1.27 'earray_16' [100, 0] (w:1, o:117, a:1, s:1, b:0),
% 0.84/1.27 'index_15' [101, 0] (w:1, o:118, a:1, s:1, b:0),
% 0.84/1.27 e10 [102, 0] (w:1, o:37, a:1, s:1, b:0),
% 0.84/1.27 'earray_161' [103, 0] (w:1, o:119, a:1, s:1, b:0),
% 0.84/1.27 q29 [104, 0] (w:1, o:120, a:1, s:1, b:0),
% 0.84/1.27 'earray_163' [105, 0] (w:1, o:121, a:1, s:1, b:0),
% 0.84/1.27 'index_162' [106, 0] (w:1, o:126, a:1, s:1, b:0),
% 0.84/1.27 e29 [107, 0] (w:1, o:127, a:1, s:1, b:0),
% 0.84/1.27 'earray_170' [108, 0] (w:1, o:128, a:1, s:1, b:0),
% 0.84/1.27 q30 [109, 0] (w:1, o:130, a:1, s:1, b:0),
% 0.84/1.27 'earray_172' [110, 0] (w:1, o:131, a:1, s:1, b:0),
% 0.84/1.27 'index_171' [111, 0] (w:1, o:135, a:1, s:1, b:0),
% 0.84/1.27 e30 [112, 0] (w:1, o:136, a:1, s:1, b:0),
% 0.84/1.27 'earray_176' [113, 0] (w:1, o:137, a:1, s:1, b:0),
% 0.84/1.27 q31 [114, 0] (w:1, o:138, a:1, s:1, b:0),
% 0.84/1.27 'earray_178' [115, 0] (w:1, o:139, a:1, s:1, b:0),
% 0.84/1.27 'index_177' [116, 0] (w:1, o:140, a:1, s:1, b:0),
% 0.84/1.27 e31 [117, 0] (w:1, o:141, a:1, s:1, b:0),
% 0.84/1.27 'earray_182' [118, 0] (w:1, o:142, a:1, s:1, b:0),
% 0.84/1.27 q32 [119, 0] (w:1, o:143, a:1, s:1, b:0),
% 0.84/1.27 'earray_184' [120, 0] (w:1, o:144, a:1, s:1, b:0),
% 0.84/1.27 'index_183' [121, 0] (w:1, o:146, a:1, s:1, b:0),
% 0.84/1.27 e32 [122, 0] (w:1, o:147, a:1, s:1, b:0),
% 0.84/1.27 'earray_191' [123, 0] (w:1, o:148, a:1, s:1, b:0),
% 0.84/1.27 q33 [124, 0] (w:1, o:149, a:1, s:1, b:0),
% 0.84/1.27 'earray_193' [125, 0] (w:1, o:150, a:1, s:1, b:0),
% 0.84/1.27 'index_192' [126, 0] (w:1, o:156, a:1, s:1, b:0),
% 0.84/1.27 e33 [127, 0] (w:1, o:157, a:1, s:1, b:0),
% 0.84/1.27 'earray_197' [128, 0] (w:1, o:158, a:1, s:1, b:0),
% 0.84/1.27 q34 [129, 0] (w:1, o:159, a:1, s:1, b:0),
% 0.84/1.27 'earray_199' [130, 0] (w:1, o:160, a:1, s:1, b:0),
% 0.84/1.27 'index_198' [131, 0] (w:1, o:161, a:1, s:1, b:0),
% 0.84/1.27 e34 [132, 0] (w:1, o:162, a:1, s:1, b:0),
% 0.84/1.27 'earray_2' [133, 0] (w:1, o:163, a:1, s:1, b:0),
% 0.84/1.27 q0 [134, 0] (w:1, o:51, a:1, s:1, b:0),
% 0.84/1.27 'earray_20' [135, 0] (w:1, o:164, a:1, s:1, b:0),
% 0.84/1.27 q11 [136, 0] (w:1, o:53, a:1, s:1, b:0),
% 0.84/1.27 'earray_203' [137, 0] (w:1, o:165, a:1, s:1, b:0),
% 0.84/1.27 q35 [138, 0] (w:1, o:166, a:1, s:1, b:0),
% 0.84/1.27 'earray_205' [139, 0] (w:1, o:167, a:1, s:1, b:0),
% 0.84/1.27 'index_204' [140, 0] (w:1, o:169, a:1, s:1, b:0),
% 0.84/1.27 e35 [141, 0] (w:1, o:170, a:1, s:1, b:0),
% 0.84/1.27 'earray_212' [142, 0] (w:1, o:171, a:1, s:1, b:0),
% 0.84/1.27 q36 [143, 0] (w:1, o:172, a:1, s:1, b:0),
% 0.84/1.27 'earray_214' [144, 0] (w:1, o:173, a:1, s:1, b:0),
% 0.84/1.27 'index_213' [145, 0] (w:1, o:177, a:1, s:1, b:0),
% 0.84/1.27 e36 [146, 0] (w:1, o:178, a:1, s:1, b:0),
% 0.84/1.27 'earray_218' [147, 0] (w:1, o:179, a:1, s:1, b:0),
% 0.84/1.27 q37 [148, 0] (w:1, o:180, a:1, s:1, b:0),
% 0.84/1.27 'earray_22' [149, 0] (w:1, o:181, a:1, s:1, b:0),
% 0.84/1.27 'index_21' [150, 0] (w:1, o:182, a:1, s:1, b:0),
% 0.84/1.27 e11 [151, 0] (w:1, o:38, a:1, s:1, b:0),
% 0.84/1.27 'earray_220' [152, 0] (w:1, o:183, a:1, s:1, b:0),
% 0.84/1.27 'index_219' [153, 0] (w:1, o:184, a:1, s:1, b:0),
% 0.84/1.27 e37 [154, 0] (w:1, o:185, a:1, s:1, b:0),
% 0.84/1.27 'earray_224' [155, 0] (w:1, o:186, a:1, s:1, b:0),
% 0.84/1.27 q38 [156, 0] (w:1, o:187, a:1, s:1, b:0),
% 0.84/1.27 'earray_226' [157, 0] (w:1, o:188, a:1, s:1, b:0),
% 0.84/1.27 'index_225' [158, 0] (w:1, o:191, a:1, s:1, b:0),
% 0.84/1.27 e38 [159, 0] (w:1, o:192, a:1, s:1, b:0),
% 0.84/1.27 'earray_233' [160, 0] (w:1, o:193, a:1, s:1, b:0),
% 0.84/1.27 q3 [161, 0] (w:1, o:194, a:1, s:1, b:0),
% 0.84/1.27 'earray_235' [162, 0] (w:1, o:195, a:1, s:1, b:0),
% 0.84/1.27 'index_234' [163, 0] (w:1, o:198, a:1, s:1, b:0),
% 0.84/1.27 e3 [164, 0] (w:1, o:199, a:1, s:1, b:0),
% 0.84/1.27 'earray_239' [165, 0] (w:1, o:200, a:1, s:1, b:0),
% 0.84/1.27 q39 [166, 0] (w:1, o:201, a:1, s:1, b:0),
% 0.84/1.27 'earray_241' [167, 0] (w:1, o:202, a:1, s:1, b:0),
% 0.84/1.27 'index_240' [168, 0] (w:1, o:206, a:1, s:1, b:0),
% 0.84/1.27 e39 [169, 0] (w:1, o:207, a:1, s:1, b:0),
% 0.84/1.27 'earray_245' [170, 0] (w:1, o:208, a:1, s:1, b:0),
% 0.84/1.27 q40 [171, 0] (w:1, o:209, a:1, s:1, b:0),
% 0.84/1.27 'earray_247' [172, 0] (w:1, o:210, a:1, s:1, b:0),
% 0.84/1.27 'index_246' [173, 0] (w:1, o:211, a:1, s:1, b:0),
% 0.84/1.27 e40 [174, 0] (w:1, o:212, a:1, s:1, b:0),
% 0.84/1.27 'earray_251' [175, 0] (w:1, o:213, a:1, s:1, b:0),
% 0.84/1.27 q41 [176, 0] (w:1, o:214, a:1, s:1, b:0),
% 0.84/1.27 'earray_253' [177, 0] (w:1, o:215, a:1, s:1, b:0),
% 0.84/1.27 'index_252' [178, 0] (w:1, o:219, a:1, s:1, b:0),
% 0.84/1.27 e41 [179, 0] (w:1, o:220, a:1, s:1, b:0),
% 0.84/1.27 'earray_260' [180, 0] (w:1, o:221, a:1, s:1, b:0),
% 0.84/1.27 q42 [181, 0] (w:1, o:222, a:1, s:1, b:0),
% 0.84/1.27 'earray_262' [182, 0] (w:1, o:223, a:1, s:1, b:0),
% 0.84/1.27 'index_261' [183, 0] (w:1, o:227, a:1, s:1, b:0),
% 0.84/1.27 e42 [184, 0] (w:1, o:228, a:1, s:1, b:0),
% 0.84/1.27 'earray_266' [185, 0] (w:1, o:229, a:1, s:1, b:0),
% 0.84/1.27 q43 [186, 0] (w:1, o:230, a:1, s:1, b:0),
% 0.84/1.27 'earray_268' [187, 0] (w:1, o:231, a:1, s:1, b:0),
% 0.84/1.27 'index_267' [188, 0] (w:1, o:232, a:1, s:1, b:0),
% 0.84/1.27 e43 [189, 0] (w:1, o:233, a:1, s:1, b:0),
% 0.84/1.27 'earray_272' [190, 0] (w:1, o:234, a:1, s:1, b:0),
% 0.84/1.27 q44 [191, 0] (w:1, o:235, a:1, s:1, b:0),
% 0.84/1.27 'earray_274' [192, 0] (w:1, o:236, a:1, s:1, b:0),
% 0.84/1.27 'index_273' [193, 0] (w:1, o:239, a:1, s:1, b:0),
% 0.84/1.27 e44 [194, 0] (w:1, o:240, a:1, s:1, b:0),
% 0.84/1.27 'earray_281' [195, 0] (w:1, o:241, a:1, s:1, b:0),
% 0.84/1.27 q45 [196, 0] (w:1, o:242, a:1, s:1, b:0),
% 0.84/1.27 'earray_283' [197, 0] (w:1, o:243, a:1, s:1, b:0),
% 0.84/1.27 'index_282' [198, 0] (w:1, o:249, a:1, s:1, b:0),
% 0.84/1.27 e45 [199, 0] (w:1, o:250, a:1, s:1, b:0),
% 0.84/1.27 'earray_287' [200, 0] (w:1, o:251, a:1, s:1, b:0),
% 0.84/1.27 q46 [201, 0] (w:1, o:252, a:1, s:1, b:0),
% 0.84/1.27 'earray_289' [202, 0] (w:1, o:253, a:1, s:1, b:0),
% 0.84/1.27 'index_288' [203, 0] (w:1, o:254, a:1, s:1, b:0),
% 0.84/1.27 e46 [204, 0] (w:1, o:255, a:1, s:1, b:0),
% 0.84/1.27 'earray_29' [205, 0] (w:1, o:256, a:1, s:1, b:0),
% 0.84/1.27 q12 [206, 0] (w:1, o:54, a:1, s:1, b:0),
% 0.84/1.27 'earray_293' [207, 0] (w:1, o:257, a:1, s:1, b:0),
% 0.84/1.27 q47 [208, 0] (w:1, o:258, a:1, s:1, b:0),
% 0.84/1.27 'earray_295' [209, 0] (w:1, o:259, a:1, s:1, b:0),
% 0.84/1.27 'index_294' [210, 0] (w:1, o:261, a:1, s:1, b:0),
% 0.84/1.27 e47 [211, 0] (w:1, o:262, a:1, s:1, b:0),
% 0.84/1.27 'earray_302' [212, 0] (w:1, o:263, a:1, s:1, b:0),
% 0.84/1.27 q48 [213, 0] (w:1, o:264, a:1, s:1, b:0),
% 0.84/1.27 'earray_304' [214, 0] (w:1, o:265, a:1, s:1, b:0),
% 0.84/1.27 'index_303' [215, 0] (w:1, o:269, a:1, s:1, b:0),
% 0.84/1.27 e48 [216, 0] (w:1, o:270, a:1, s:1, b:0),
% 0.84/1.27 'earray_308' [217, 0] (w:1, o:271, a:1, s:1, b:0),
% 0.84/1.27 q4 [218, 0] (w:1, o:272, a:1, s:1, b:0),
% 0.84/1.27 'earray_31' [219, 0] (w:1, o:273, a:1, s:1, b:0),
% 0.84/1.27 'index_30' [220, 0] (w:1, o:274, a:1, s:1, b:0),
% 0.84/1.27 e12 [221, 0] (w:1, o:39, a:1, s:1, b:0),
% 0.84/1.27 'earray_310' [222, 0] (w:1, o:275, a:1, s:1, b:0),
% 0.84/1.27 'index_309' [223, 0] (w:1, o:276, a:1, s:1, b:0),
% 0.84/1.27 e4 [224, 0] (w:1, o:277, a:1, s:1, b:0),
% 0.84/1.27 'earray_314' [225, 0] (w:1, o:278, a:1, s:1, b:0),
% 0.84/1.27 q49 [226, 0] (w:1, o:279, a:1, s:1, b:0),
% 0.84/1.27 'earray_316' [227, 0] (w:1, o:280, a:1, s:1, b:0),
% 0.84/1.27 'index_315' [228, 0] (w:1, o:283, a:1, s:1, b:0),
% 0.84/1.27 e49 [229, 0] (w:1, o:284, a:1, s:1, b:0),
% 0.84/1.27 'earray_320' [230, 0] (w:1, o:285, a:1, s:1, b:0),
% 0.84/1.27 q5 [231, 0] (w:1, o:286, a:1, s:1, b:0),
% 0.84/1.27 'earray_322' [232, 0] (w:1, o:287, a:1, s:1, b:0),
% 0.84/1.27 'index_321' [233, 0] (w:1, o:290, a:1, s:1, b:0),
% 0.84/1.27 e5 [234, 0] (w:1, o:291, a:1, s:1, b:0),
% 0.84/1.27 'earray_329' [235, 0] (w:1, o:292, a:1, s:1, b:0),
% 0.84/1.27 q6 [236, 0] (w:1, o:294, a:1, s:1, b:0),
% 0.84/1.27 'earray_331' [237, 0] (w:1, o:295, a:1, s:1, b:0),
% 0.84/1.27 'index_330' [238, 0] (w:1, o:299, a:1, s:1, b:0),
% 0.84/1.27 e6 [239, 0] (w:1, o:300, a:1, s:1, b:0),
% 0.84/1.27 'earray_335' [240, 0] (w:1, o:301, a:1, s:1, b:0),
% 0.84/1.27 q7 [241, 0] (w:1, o:302, a:1, s:1, b:0),
% 0.84/1.27 'earray_337' [242, 0] (w:1, o:303, a:1, s:1, b:0),
% 0.84/1.27 'index_336' [243, 0] (w:1, o:304, a:1, s:1, b:0),
% 0.84/1.27 e7 [244, 0] (w:1, o:305, a:1, s:1, b:0),
% 0.84/1.27 'earray_341' [245, 0] (w:1, o:306, a:1, s:1, b:0),
% 0.84/1.27 q8 [246, 0] (w:1, o:307, a:1, s:1, b:0),
% 0.84/1.27 'earray_343' [247, 0] (w:1, o:308, a:1, s:1, b:0),
% 0.84/1.27 'index_342' [248, 0] (w:1, o:312, a:1, s:1, b:0),
% 0.84/1.27 e8 [249, 0] (w:1, o:28, a:1, s:1, b:0),
% 0.84/1.27 'earray_35' [250, 0] (w:1, o:313, a:1, s:1, b:0),
% 0.84/1.27 q13 [251, 0] (w:1, o:55, a:1, s:1, b:0),
% 0.84/1.27 'earray_350' [252, 0] (w:1, o:314, a:1, s:1, b:0),
% 0.84/1.27 q50 [253, 0] (w:1, o:293, a:1, s:1, b:0),
% 0.84/1.27 'earray_37' [254, 0] (w:1, o:315, a:1, s:1, b:0),
% 0.84/1.27 'index_36' [255, 0] (w:1, o:320, a:1, s:1, b:0),
% 0.84/1.27 e13 [256, 0] (w:1, o:40, a:1, s:1, b:0),
% 0.84/1.27 'earray_4' [257, 0] (w:1, o:321, a:1, s:1, b:0),
% 0.84/1.27 'index_3' [258, 0] (w:1, o:322, a:1, s:1, b:0),
% 0.84/1.27 e0 [259, 0] (w:1, o:36, a:1, s:1, b:0),
% 0.84/1.27 'earray_41' [260, 0] (w:1, o:323, a:1, s:1, b:0),
% 0.84/1.27 q14 [261, 0] (w:1, o:56, a:1, s:1, b:0),
% 0.84/1.27 'earray_43' [262, 0] (w:1, o:324, a:1, s:1, b:0),
% 0.84/1.27 'index_42' [263, 0] (w:1, o:326, a:1, s:1, b:0),
% 0.84/1.27 e14 [264, 0] (w:1, o:41, a:1, s:1, b:0),
% 0.84/1.27 'earray_50' [265, 0] (w:1, o:327, a:1, s:1, b:0),
% 0.84/1.27 q15 [266, 0] (w:1, o:57, a:1, s:1, b:0),
% 0.84/1.27 'earray_52' [267, 0] (w:1, o:328, a:1, s:1, b:0),
% 0.84/1.27 'index_51' [268, 0] (w:1, o:332, a:1, s:1, b:0),
% 0.84/1.27 e15 [269, 0] (w:1, o:42, a:1, s:1, b:0),
% 0.84/1.27 'earray_56' [270, 0] (w:1, o:333, a:1, s:1, b:0),
% 0.84/1.27 q16 [271, 0] (w:1, o:58, a:1, s:1, b:0),
% 0.84/1.27 'earray_58' [272, 0] (w:1, o:334, a:1, s:1, b:0),
% 0.84/1.27 'index_57' [273, 0] (w:1, o:335, a:1, s:1, b:0),
% 0.84/1.27 e16 [274, 0] (w:1, o:43, a:1, s:1, b:0),
% 0.84/1.27 'earray_62' [275, 0] (w:1, o:336, a:1, s:1, b:0),
% 0.84/1.27 q17 [276, 0] (w:1, o:59, a:1, s:1, b:0),
% 0.84/1.27 'earray_64' [277, 0] (w:1, o:337, a:1, s:1, b:0),
% 0.84/1.27 'index_63' [278, 0] (w:1, o:339, a:1, s:1, b:0),
% 0.84/1.27 e17 [279, 0] (w:1, o:44, a:1, s:1, b:0),
% 0.84/1.27 'earray_71' [280, 0] (w:1, o:18, a:1, s:1, b:0),
% 0.84/1.27 q18 [281, 0] (w:1, o:60, a:1, s:1, b:0),
% 0.84/1.27 'earray_73' [282, 0] (w:1, o:19, a:1, s:1, b:0),
% 0.84/1.27 'index_72' [283, 0] (w:1, o:345, a:1, s:1, b:0),
% 0.84/1.27 e18 [284, 0] (w:1, o:45, a:1, s:1, b:0),
% 0.84/1.27 'earray_77' [285, 0] (w:1, o:20, a:1, s:1, b:0),
% 0.84/1.27 q1 [286, 0] (w:1, o:61, a:1, s:1, b:0),
% 0.84/1.27 'earray_79' [287, 0] (w:1, o:21, a:1, s:1, b:0),
% 0.84/1.27 'index_78' [288, 0] (w:1, o:346, a:1, s:1, b:0),
% 0.84/1.27 e1 [289, 0] (w:1, o:46, a:1, s:1, b:0),
% 0.84/1.27 q9 [290, 0] (w:1, o:347, a:1, s:1, b:0),
% 0.84/1.27 'earray_83' [291, 0] (w:1, o:31, a:1, s:1, b:0),
% 0.84/1.27 q19 [292, 0] (w:1, o:62, a:1, s:1, b:0),
% 0.84/1.27 'earray_85' [293, 0] (w:1, o:32, a:1, s:1, b:0),
% 0.84/1.27 'index_84' [294, 0] (w:1, o:24, a:1, s:1, b:0),
% 0.84/1.27 e19 [295, 0] (w:1, o:47, a:1, s:1, b:0),
% 0.84/1.27 'earray_89' [296, 0] (w:1, o:33, a:1, s:1, b:0),
% 0.84/1.27 q20 [297, 0] (w:1, o:129, a:1, s:1, b:0),
% 0.84/1.27 'earray_91' [298, 0] (w:1, o:348, a:1, s:1, b:0),
% 0.84/1.27 'index_90' [299, 0] (w:1, o:349, a:1, s:1, b:0),
% 0.84/1.27 e20 [300, 0] (w:1, o:48, a:1, s:1, b:0),
% 0.84/1.27 q21 [301, 0] (w:1, o:63, a:1, s:1, b:0),
% 0.84/1.27 'elem_352' [302, 0] (w:1, o:350, a:1, s:1, b:0),
% 0.84/1.27 'index_351' [303, 0] (w:1, o:319, a:1, s:1, b:0),
% 0.84/1.27 'index_0' [304, 0] (w:1, o:66, a:1, s:1, b:0),
% 0.84/1.27 q [305, 0] (w:1, o:351, a:1, s:1, b:0),
% 0.84/1.27 'index_102' [306, 0] (w:1, o:72, a:1, s:1, b:0),
% 0.84/1.27 'index_108' [307, 0] (w:1, o:73, a:1, s:1, b:0),
% 0.84/1.27 'index_114' [308, 0] (w:1, o:79, a:1, s:1, b:0),
% 0.84/1.27 'index_116' [309, 0] (w:1, o:80, a:1, s:1, b:0),
% 0.84/1.27 'queue_115' [310, 0] (w:1, o:356, a:1, s:1, b:0),
% 0.84/1.27 'index_117' [311, 0] (w:1, o:81, a:1, s:1, b:0),
% 0.84/1.27 'index_12' [312, 0] (w:1, o:92, a:1, s:1, b:0),
% 0.84/1.27 'index_123' [313, 0] (w:1, o:93, a:1, s:1, b:0),
% 0.84/1.27 'index_129' [314, 0] (w:1, o:94, a:1, s:1, b:0),
% 0.84/1.27 'index_135' [315, 0] (w:1, o:101, a:1, s:1, b:0),
% 0.84/1.27 'index_137' [316, 0] (w:1, o:102, a:1, s:1, b:0),
% 0.84/1.27 'queue_136' [317, 0] (w:1, o:360, a:1, s:1, b:0),
% 0.84/1.27 'index_138' [318, 0] (w:1, o:103, a:1, s:1, b:0),
% 0.84/1.27 'index_144' [319, 0] (w:1, o:114, a:1, s:1, b:0),
% 0.84/1.27 'index_150' [320, 0] (w:1, o:122, a:1, s:1, b:0),
% 0.84/1.27 'index_156' [321, 0] (w:1, o:123, a:1, s:1, b:0),
% 0.84/1.27 'index_158' [322, 0] (w:1, o:124, a:1, s:1, b:0),
% 0.84/1.27 'queue_157' [323, 0] (w:1, o:364, a:1, s:1, b:0),
% 0.84/1.27 'index_159' [324, 0] (w:1, o:125, a:1, s:1, b:0),
% 0.84/1.27 'index_165' [325, 0] (w:1, o:132, a:1, s:1, b:0),
% 0.84/1.27 'index_167' [326, 0] (w:1, o:133, a:1, s:1, b:0),
% 0.84/1.27 'queue_166' [327, 0] (w:1, o:367, a:1, s:1, b:0),
% 0.84/1.27 'index_168' [328, 0] (w:1, o:134, a:1, s:1, b:0),
% 0.84/1.27 'index_174' [329, 0] (w:1, o:145, a:1, s:1, b:0),
% 0.84/1.27 'index_18' [330, 0] (w:1, o:151, a:1, s:1, b:0),
% 0.84/1.27 'index_180' [331, 0] (w:1, o:152, a:1, s:1, b:0),
% 0.84/1.27 'index_186' [332, 0] (w:1, o:153, a:1, s:1, b:0),
% 0.84/1.27 'index_188' [333, 0] (w:1, o:154, a:1, s:1, b:0),
% 0.84/1.27 'queue_187' [334, 0] (w:1, o:372, a:1, s:1, b:0),
% 0.84/1.27 'index_189' [335, 0] (w:1, o:155, a:1, s:1, b:0),
% 0.84/1.27 'index_195' [336, 0] (w:1, o:168, a:1, s:1, b:0),
% 0.84/1.27 'index_201' [337, 0] (w:1, o:174, a:1, s:1, b:0),
% 0.84/1.27 'index_207' [338, 0] (w:1, o:175, a:1, s:1, b:0),
% 0.84/1.27 'index_209' [339, 0] (w:1, o:176, a:1, s:1, b:0),
% 0.84/1.27 'queue_208' [340, 0] (w:1, o:390, a:1, s:1, b:0),
% 0.84/1.27 'index_210' [341, 0] (w:1, o:189, a:1, s:1, b:0),
% 0.84/1.27 'index_216' [342, 0] (w:1, o:190, a:1, s:1, b:0),
% 0.84/1.27 'index_222' [343, 0] (w:1, o:196, a:1, s:1, b:0),
% 0.84/1.27 'index_228' [344, 0] (w:1, o:197, a:1, s:1, b:0),
% 0.84/1.27 'index_230' [345, 0] (w:1, o:203, a:1, s:1, b:0),
% 0.84/1.27 'queue_229' [346, 0] (w:1, o:394, a:1, s:1, b:0),
% 0.84/1.27 'index_231' [347, 0] (w:1, o:204, a:1, s:1, b:0),
% 0.84/1.27 'index_237' [348, 0] (w:1, o:205, a:1, s:1, b:0),
% 0.84/1.27 'index_24' [349, 0] (w:1, o:216, a:1, s:1, b:0),
% 0.84/1.27 'index_243' [350, 0] (w:1, o:217, a:1, s:1, b:0),
% 0.84/1.27 'index_249' [351, 0] (w:1, o:218, a:1, s:1, b:0),
% 0.84/1.27 'index_255' [352, 0] (w:1, o:224, a:1, s:1, b:0),
% 0.84/1.27 'index_257' [353, 0] (w:1, o:225, a:1, s:1, b:0),
% 0.84/1.27 'queue_256' [354, 0] (w:1, o:398, a:1, s:1, b:0),
% 0.84/1.27 'index_258' [355, 0] (w:1, o:226, a:1, s:1, b:0),
% 0.84/1.27 'index_26' [356, 0] (w:1, o:237, a:1, s:1, b:0),
% 0.84/1.27 'queue_25' [357, 0] (w:1, o:399, a:1, s:1, b:0),
% 0.84/1.27 'index_264' [358, 0] (w:1, o:238, a:1, s:1, b:0),
% 0.84/1.27 'index_27' [359, 0] (w:1, o:244, a:1, s:1, b:0),
% 0.84/1.27 'index_270' [360, 0] (w:1, o:245, a:1, s:1, b:0),
% 0.84/1.27 'index_276' [361, 0] (w:1, o:246, a:1, s:1, b:0),
% 0.84/1.27 'index_278' [362, 0] (w:1, o:247, a:1, s:1, b:0),
% 0.84/1.27 'queue_277' [363, 0] (w:1, o:403, a:1, s:1, b:0),
% 0.84/1.27 'index_279' [364, 0] (w:1, o:248, a:1, s:1, b:0),
% 0.84/1.27 'index_285' [365, 0] (w:1, o:260, a:1, s:1, b:0),
% 0.84/1.27 'index_291' [366, 0] (w:1, o:266, a:1, s:1, b:0),
% 0.84/1.27 'index_297' [367, 0] (w:1, o:267, a:1, s:1, b:0),
% 0.84/1.27 'index_299' [368, 0] (w:1, o:268, a:1, s:1, b:0),
% 0.84/1.27 'queue_298' [369, 0] (w:1, o:408, a:1, s:1, b:0),
% 0.84/1.27 'index_300' [370, 0] (w:1, o:281, a:1, s:1, b:0),
% 0.84/1.27 'index_306' [371, 0] (w:1, o:282, a:1, s:1, b:0),
% 0.84/1.27 'index_312' [372, 0] (w:1, o:288, a:1, s:1, b:0),
% 0.84/1.27 'index_318' [373, 0] (w:1, o:289, a:1, s:1, b:0),
% 0.84/1.27 'index_324' [374, 0] (w:1, o:296, a:1, s:1, b:0),
% 0.84/1.27 'index_326' [375, 0] (w:1, o:297, a:1, s:1, b:0),
% 0.84/1.27 'queue_325' [376, 0] (w:1, o:431, a:1, s:1, b:0),
% 0.84/1.27 'index_327' [377, 0] (w:1, o:298, a:1, s:1, b:0),
% 0.84/1.27 'index_33' [378, 0] (w:1, o:309, a:1, s:1, b:0),
% 0.84/1.27 'index_333' [379, 0] (w:1, o:310, a:1, s:1, b:0),
% 0.84/1.27 'index_339' [380, 0] (w:1, o:311, a:1, s:1, b:0),
% 0.84/1.27 'index_345' [381, 0] (w:1, o:316, a:1, s:1, b:0),
% 0.84/1.27 'index_347' [382, 0] (w:1, o:317, a:1, s:1, b:0),
% 0.84/1.27 'queue_346' [383, 0] (w:1, o:435, a:1, s:1, b:0),
% 0.84/1.27 'index_348' [384, 0] (w:1, o:318, a:1, s:1, b:0),
% 0.84/1.27 'index_39' [385, 0] (w:1, o:325, a:1, s:1, b:0),
% 0.84/1.27 'index_45' [386, 0] (w:1, o:329, a:1, s:1, b:0),
% 0.84/1.27 'index_47' [387, 0] (w:1, o:330, a:1, s:1, b:0),
% 0.84/1.27 'queue_46' [388, 0] (w:1, o:447, a:1, s:1, b:0),
% 0.84/1.27 'index_48' [389, 0] (w:1, o:331, a:1, s:1, b:0),
% 0.84/1.27 'index_54' [390, 0] (w:1, o:338, a:1, s:1, b:0),
% 0.84/1.27 'index_6' [391, 0] (w:1, o:340, a:1, s:1, b:0),
% 0.84/1.27 'index_60' [392, 0] (w:1, o:341, a:1, s:1, b:0),
% 0.84/1.27 'index_66' [393, 0] (w:1, o:342, a:1, s:1, b:0),
% 0.84/1.27 'index_68' [394, 0] (w:1, o:343, a:1, s:1, b:0),
% 0.84/1.27 'queue_67' [395, 0] (w:1, o:452, a:1, s:1, b:0),
% 0.84/1.27 'index_69' [396, 0] (w:1, o:344, a:1, s:1, b:0),
% 0.84/1.27 'index_75' [397, 0] (w:1, o:23, a:1, s:1, b:0),
% 0.84/1.27 'index_81' [398, 0] (w:1, o:25, a:1, s:1, b:0),
% 0.84/1.27 'index_87' [399, 0] (w:1, o:26, a:1, s:1, b:0),
% 0.84/1.27 'index_93' [400, 0] (w:1, o:453, a:1, s:1, b:0),
% 0.84/1.27 'index_95' [401, 0] (w:1, o:454, a:1, s:1, b:0),
% 0.84/1.27 'queue_94' [402, 0] (w:1, o:459, a:1, s:1, b:0),
% 0.84/1.27 'index_96' [403, 0] (w:1, o:460, a:1, s:1, b:0),
% 0.84/1.27 'queue_1' [404, 0] (w:1, o:373, a:1, s:1, b:0),
% 0.84/1.27 'queue_101' [405, 0] (w:1, o:352, a:1, s:1, b:0),
% 0.84/1.27 'queue_103' [406, 0] (w:1, o:353, a:1, s:1, b:0),
% 0.84/1.27 'queue_10Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------