TSTP Solution File: SWV557-1.010 by Bliksem---1.12
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Bliksem---1.12
% Problem : SWV557-1.010 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : bliksem %s
% Computer : n017.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:39 EDT 2022
% Result : Unknown 0.94s 1.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWV557-1.010 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : bliksem %s
% 0.13/0.34 % Computer : n017.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % DateTime : Wed Jun 15 15:29:25 EDT 2022
% 0.13/0.34 % CPUTime :
% 0.94/1.32 *** allocated 10000 integers for termspace/termends
% 0.94/1.32 *** allocated 10000 integers for clauses
% 0.94/1.32 *** allocated 10000 integers for justifications
% 0.94/1.32 *** allocated 15000 integers for termspace/termends
% 0.94/1.32 Bliksem 1.12
% 0.94/1.32
% 0.94/1.32
% 0.94/1.32 Automatic Strategy Selection
% 0.94/1.32
% 0.94/1.32 Clauses:
% 0.94/1.32 [
% 0.94/1.32 [ =( select( store( X, Y, Z ), Y ), Z ) ],
% 0.94/1.32 [ =( X, Y ), =( select( store( Z, X, T ), Y ), select( Z, Y ) ) ],
% 0.94/1.32 [ =( store( X, Y, select( X, Y ) ), X ) ],
% 0.94/1.32 [ =( store( store( X, Y, Z ), Y, T ), store( X, Y, T ) ) ],
% 0.94/1.32 [ =( X, Y ), =( store( store( Z, X, T ), Y, U ), store( store( Z, Y, U )
% 0.94/1.32 , X, T ) ) ],
% 0.94/1.32 [ =( store( store( store( store( store( store( store( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1
% 0.94/1.32 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6, select( store( store( store( store( store( a1, i1, select( a2,
% 0.94/1.32 i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select(
% 0.94/1.32 store( store( store( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9, select( store(
% 0.94/1.32 store( store( store( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store(
% 0.94/1.32 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1
% 0.94/1.32 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7, select( store( store( store( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2,
% 0.94/1.32 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5,
% 0.94/1.32 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9 ) ), i10, select( store(
% 0.94/1.32 store( store( store( store( store( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2,
% 0.94/1.32 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5,
% 0.94/1.32 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1
% 0.94/1.32 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store(
% 0.94/1.32 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1
% 0.94/1.32 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7, select( store( store( store( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2,
% 0.94/1.32 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5,
% 0.94/1.32 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9, select( store( store( store(
% 0.94/1.32 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1
% 0.94/1.32 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7, select( store( store( store( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2,
% 0.94/1.32 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5,
% 0.94/1.32 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store( store( store(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6, select( store( store( store( store( store( a1, i1, select( a2,
% 0.94/1.32 i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store(
% 0.94/1.32 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1
% 0.94/1.32 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7 ) ), i8 ) ), i9 ) ), i10 ) ), store( store( store( store( store(
% 0.94/1.32 store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1
% 0.94/1.32 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7, select( store( store( store( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5,
% 0.94/1.32 select( store( store( store( store( a2, i1, select( a1, i1 ) ), i2,
% 0.94/1.32 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store(
% 0.94/1.32 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2,
% 0.94/1.32 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store( store( store(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6, select( store( store( store( store( store( a2, i1, select( a1,
% 0.94/1.32 i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store(
% 0.94/1.32 store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1
% 0.94/1.32 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7 ) ), i8 ) ), i9, select( store( store( store( store( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6, select( store( store( store( store( store( a2, i1, select( a1,
% 0.94/1.32 i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store(
% 0.94/1.32 store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) )
% 0.94/1.32 , i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1
% 0.94/1.32 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7 ) ), i8, select( store( store( store( store( store( store( store( a2
% 0.94/1.32 , i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1 )
% 0.94/1.32 ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6, select( store( store( store( store( store( a2, i1, select( a1,
% 0.94/1.32 i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9 ) )
% 0.94/1.32 , i10, select( store( store( store( store( store( store( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1
% 0.94/1.32 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store(
% 0.94/1.32 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6, select( store( store( store( store( store( a1, i1, select( a2,
% 0.94/1.32 i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select(
% 0.94/1.32 store( store( store( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9, select( store(
% 0.94/1.32 store( store( store( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select(
% 0.94/1.32 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) )
% 0.94/1.32 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store(
% 0.94/1.32 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ),
% 0.94/1.32 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5
% 0.94/1.32 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 )
% 0.94/1.32 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6,
% 0.94/1.32 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select(
% 0.94/1.32 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1
% 0.94/1.32 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select(
% 0.94/1.32 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1,
% 0.94/1.32 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store(
% 0.94/1.32 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1,
% 0.94/1.32 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ),
% 0.94/1.32 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ),
% 0.94/1.32 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select(
% 0.94/1.32 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) )
% 0.94/1.32 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1
% 0.94/1.32 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select(
% 0.94/1.32 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1,
% 0.94/1.32 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2
% 0.94/1.32 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) )
% 0.94/1.32 , i7, select( store( store( store( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store(
% 0.94/1.32 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) )
% 0.94/1.32 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2,
% 0.94/1.32 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5,
% 0.94/1.32 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2,
% 0.94/1.32 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store(
% 0.94/1.32 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2
% 0.94/1.32 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select(
% 0.94/1.32 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3,
% 0.94/1.32 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2,
% 0.94/1.32 i1, se*** Error in `/export/starexec/sandbox2/solver/bin/bliksem': realloc(): invalid next size: 0x00000000018ad010 ***
% 0.94/1.32 ======= Backtrace: =========
% 0.94/1.32 /lib64/libc.so.6(+0x7f5d4)[0x2af6c4a5c5d4]
% 0.94/1.32 /lib64/libc.so.6(+0x83bd8)[0x2af6c4a60bd8]
% 0.94/1.32 /lib64/libc.so.6(realloc+0x1d2)[0x2af6c4a62832]
% 0.94/1.32 /export/starexec/sandbox2/solver/bin/bliksem[0x406f81]
% 0.94/1.32 /export/starexec/sandbox2/solver/bin/bliksem[0x41bb8b]
% 0.94/1.32 /export/starexec/sandbox2/solver/bin/bliksem[0x41cc15]
% 0.94/1.32 /export/starexec/sandbox2/solver/bin/bliksem[0x402f4d]
% 0.94/1.32 /lib64/libc.so.6(__libc_start_main+0xf5)[0x2af6c49ff3d5]
% 0.94/1.32 /export/starexec/sandbox2/solver/bin/bliksem[0x4043f5]
% 0.94/1.32 ======= Memory map: ========
% 0.94/1.32 00400000-0042f000 r-xp 00000000 fd:00 1131214696 /export/starexec/sandbox2/solver/bin/bliksem
% 0.94/1.32 0062f000-00630000 r--p 0002f000 fd:00 1131214696 /export/starexec/sandbox2/solver/bin/bliksem
% 0.94/1.32 00630000-00632000 rw-p 00030000 fd:00 1131214696 /export/starexec/sandbox2/solver/bin/bliksem
% 0.94/1.32 00632000-006df000 rw-p 00000000 00:00 0
% 0.94/1.32 018ad000-01916000 rw-p 00000000 00:00 0 [heap]
% 0.94/1.32 2af6c47b9000-2af6c47db000 r-xp 00000000 fd:00 33374 /usr/lib64/ld-2.17.so
% 0.94/1.32 2af6c47db000-2af6c47df000 rw-p 00000000 00:00 0
% 0.94/1.32 2af6c47e4000-2af6c4808000 rw-p 00000000 00:00 0
% 0.94/1.32 2af6c49da000-2af6c49db000 r--p 00021000 fd:00 33374 /usr/lib64/ld-2.17.so
% 0.94/1.32 2af6c49db000-2af6c49dc000 rw-p 00022000 fd:00 33374 /usr/lib64/ld-2.17.so
% 0.94/1.32 2af6c49dc000-2af6c49dd000 rw-p 00000000 00:00 0
% 0.94/1.32 2af6c49dd000-2af6c4b9f000 r-xp 00000000 fd:00 33380 /usr/lib64/libc-2.17.so
% 0.94/1.32 2af6c4b9f000-2af6c4d9f000 ---p 001c2000 fd:00 33380 /usr/lib64/libc-2.17.so
% 0.94/1.32 2af6c4d9f000-2af6c4da3000 r--p 001c2000 fd:00 33380 /usr/lib64/libc-2.17.so
% 0.94/1.32 2af6c4da3000-2af6c4da5000 rw-p 001c6000 fd:00 33380 /usr/lib64/libc-2.17.so
% 0.94/1.32 2af6c4da5000-2af6c4daa000 rw-p 00000000 00:00 0
% 0.94/1.32 2af6c4daa000-2af6c4dbf000 r-xp 00000000 fd:00 1334 /usr/lib64/libgcc_s-4.8.5-20150702.so.1
% 0.94/1.32 2af6c4dbf000-2af6c4fbe000 ---p 00015000 fd:00 1334 /usr/lib64/libgcc_s-4.8.5-20150702.so.1
% 0.94/1.32 2af6c4fbe000-2af6c4fbf000 r--p 00014000 fd:00 1334 /usr/lib64/libgcc_s-4.8.5-20150702.so.1
% 0.94/1.32 2af6c4fbf000-2af6c4fc0000 rw-p 00015000 fd:00 1334 /usr/lib64/libgcc_s-4.8.5-20150702.so.1
% 0.94/1.32 2af6c8000000-2af6c8021000 rw-p 00000000 00:00 0
% 0.94/1.32 2af6c8021000-2af6cc000000 ---p 00000000 00:00 0
% 0.94/1.32 7ffeb1649000-7ffeb166a000 rw-p 00000000 00:00 0 [stack]
% 0.94/1.32 7ffeb16b3000-7ffeb16b5000 r-xp 00000000 00:00 0 [vdso]
% 0.94/1.32 ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]
% 0.94/1.32 Segmentation fault (core dumped)
% 0.94/1.32 Bliksem ended
%------------------------------------------------------------------------------