%------------------------------------------------------------------------------ % File : Bliksem---1.12 % Problem : SWV549-1.010 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : bliksem %s % Computer : n008.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:34 EDT 2022 % Result : Unknown 0.88s 1.30s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : SWV549-1.010 : TPTP v8.1.0. Released v4.0.0. % 0.06/0.13 % Command : bliksem %s % 0.14/0.34 % Computer : n008.cluster.edu % 0.14/0.34 % Model : x86_64 x86_64 % 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.34 % Memory : 8042.1875MB % 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.34 % CPULimit : 300 % 0.14/0.34 % DateTime : Wed Jun 15 13:10:07 EDT 2022 % 0.14/0.34 % CPUTime : % 0.88/1.29 *** allocated 10000 integers for termspace/termends % 0.88/1.29 *** allocated 10000 integers for clauses % 0.88/1.29 *** allocated 10000 integers for justifications % 0.88/1.29 *** allocated 15000 integers for termspace/termends % 0.88/1.29 Bliksem 1.12 % 0.88/1.29 % 0.88/1.29 % 0.88/1.29 Automatic Strategy Selection % 0.88/1.29 % 0.88/1.29 Clauses: % 0.88/1.29 [ % 0.88/1.29 [ =( select( store( X, Y, Z ), Y ), Z ) ], % 0.88/1.29 [ =( X, Y ), =( select( store( Z, X, T ), Y ), select( Z, Y ) ) ], % 0.88/1.29 [ =( store( store( store( store( store( store( store( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 % 0.88/1.29 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6, select( store( store( store( store( store( a1, i1, select( a2, % 0.88/1.29 i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( % 0.88/1.29 store( store( store( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9, select( store( % 0.88/1.29 store( store( store( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store( % 0.88/1.29 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1 % 0.88/1.29 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7, select( store( store( store( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, % 0.88/1.29 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, % 0.88/1.29 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9 ) ), i10, select( store( % 0.88/1.29 store( store( store( store( store( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, % 0.88/1.29 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, % 0.88/1.29 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 % 0.88/1.29 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store( % 0.88/1.29 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1 % 0.88/1.29 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7, select( store( store( store( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, % 0.88/1.29 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, % 0.88/1.29 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9, select( store( store( store( % 0.88/1.29 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1 % 0.88/1.29 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7, select( store( store( store( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, % 0.88/1.29 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, % 0.88/1.29 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store( store( store( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6, select( store( store( store( store( store( a1, i1, select( a2, % 0.88/1.29 i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( % 0.88/1.29 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1 % 0.88/1.29 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7 ) ), i8 ) ), i9 ) ), i10 ) ), store( store( store( store( store( % 0.88/1.29 store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 % 0.88/1.29 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7, select( store( store( store( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, % 0.88/1.29 select( store( store( store( store( a2, i1, select( a1, i1 ) ), i2, % 0.88/1.29 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( % 0.88/1.29 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, % 0.88/1.29 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store( store( store( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6, select( store( store( store( store( store( a2, i1, select( a1, % 0.88/1.29 i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( % 0.88/1.29 store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 % 0.88/1.29 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7 ) ), i8 ) ), i9, select( store( store( store( store( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6, select( store( store( store( store( store( a2, i1, select( a1, % 0.88/1.29 i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( % 0.88/1.29 store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ) % 0.88/1.29 , i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 % 0.88/1.29 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7 ) ), i8, select( store( store( store( store( store( store( store( a2 % 0.88/1.29 , i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1 ) % 0.88/1.29 ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6, select( store( store( store( store( store( a2, i1, select( a1, % 0.88/1.29 i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9 ) ) % 0.88/1.29 , i10, select( store( store( store( store( store( store( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 % 0.88/1.29 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7, select( store( store( store( % 0.88/1.29 store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6, select( store( store( store( store( store( a1, i1, select( a2, % 0.88/1.29 i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 , select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( % 0.88/1.29 store( store( store( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8 ) ), i9, select( store( % 0.88/1.29 store( store( store( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5, select( store( store( store( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ) % 0.88/1.29 , i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), % 0.88/1.29 i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 % 0.88/1.29 ) ), i6 ) ), i7, select( store( store( store( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4 ) ), i5, select( store( store( store( store( a2, i1, select( a1, i1 ) % 0.88/1.29 ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, % 0.88/1.29 select( store( store( store( store( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 , select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a1, i1, select( % 0.88/1.29 a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( a1 % 0.88/1.29 , i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a2, i1, select( a1, i1 ) ), i2, select( % 0.88/1.29 store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, % 0.88/1.29 i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ), i7 ) ), i8, select( store( store( % 0.88/1.29 store( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, % 0.88/1.29 select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, select( store( store( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), % 0.88/1.29 i4, select( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( store( store( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), % 0.88/1.29 i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( % 0.88/1.29 store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3, select( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ) % 0.88/1.29 , i4 ) ), i5, select( store( store( store( store( a1, i1, select( a2, i1 % 0.88/1.29 ) ), i2, select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( % 0.88/1.29 store( store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, % 0.88/1.29 select( a2, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 % 0.88/1.29 ) ), i3, select( store( store( a1, i1, select( a2, i1 ) ), i2, select( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6 ) ) % 0.88/1.29 , i7, select( store( store( store( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( % 0.88/1.29 a1, i1, select( a2, i1 ) ), i2, select( store( a2, i1, select( a1, i1 ) ) % 0.88/1.29 , i2 ) ), i3, select( store( store( a2, i1, select( a1, i1 ) ), i2, % 0.88/1.29 select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5, % 0.88/1.29 select( store( store( store( store( a1, i1, select( a2, i1 ) ), i2, % 0.88/1.29 select( store( a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( store( % 0.88/1.29 store( a2, i1, select( a1, i1 ) ), i2, select( store( a1, i1, select( a2 % 0.88/1.29 , i1 ) ), i2 ) ), i3 ) ), i4, select( store( store( store( a2, i1, select( % 0.88/1.29 a1, i1 ) ), i2, select( store( a1, i1, select( a2, i1 ) ), i2 ) ), i3, % 0.88/1.29 select( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( a2, % 0.88/1.29 i1, select( a1, i1 ) ), i2 ) ), i3 ) ), i4 ) ), i5 ) ), i6, select( store( % 0.88/1.29 store( store( store( store( a1, i1, select( a2, i1 ) ), i2, select( store( % 0.88/1.29 a2, i1, select( a1, i1 ) ), i2 ) ), i3, select( sto*** Error in `/export/starexec/sandbox/solver/bin/bliksem': realloc(): invalid next size: 0x0000000001876010 *** % 0.88/1.29 ======= Backtrace: ========= % 0.88/1.29 /lib64/libc.so.6(+0x7f5d4)[0x2b80016865d4] % 0.88/1.29 /lib64/libc.so.6(+0x83bd8)[0x2b800168abd8] % 0.88/1.29 /lib64/libc.so.6(realloc+0x1d2)[0x2b800168c832] % 0.88/1.29 /export/starexec/sandbox/solver/bin/bliksem[0x406f81] % 0.88/1.29 /export/starexec/sandbox/solver/bin/bliksem[0x41bb8b] % 0.88/1.29 /export/starexec/sandbox/solver/bin/bliksem[0x41cc15] % 0.88/1.29 /export/starexec/sandbox/solver/bin/bliksem[0x402f4d] % 0.88/1.29 /lib64/libc.so.6(__libc_start_main+0xf5)[0x2b80016293d5] % 0.88/1.29 /export/starexec/sandbox/solver/bin/bliksem[0x4043f5] % 0.88/1.29 ======= Memory map: ======== % 0.88/1.29 00400000-0042f000 r-xp 00000000 fd:00 1668541131 /export/starexec/sandbox/solver/bin/bliksem % 0.88/1.29 0062f000-00630000 r--p 0002f000 fd:00 1668541131 /export/starexec/sandbox/solver/bin/bliksem % 0.88/1.29 00630000-00632000 rw-p 00030000 fd:00 1668541131 /export/starexec/sandbox/solver/bin/bliksem % 0.88/1.29 00632000-006df000 rw-p 00000000 00:00 0 % 0.88/1.29 01876000-018df000 rw-p 00000000 00:00 0 [heap] % 0.88/1.29 2b80013e3000-2b8001405000 r-xp 00000000 fd:00 33481 /usr/lib64/ld-2.17.so % 0.88/1.29 2b8001405000-2b8001409000 rw-p 00000000 00:00 0 % 0.88/1.29 2b800140e000-2b8001432000 rw-p 00000000 00:00 0 % 0.88/1.29 2b8001604000-2b8001605000 r--p 00021000 fd:00 33481 /usr/lib64/ld-2.17.so % 0.88/1.29 2b8001605000-2b8001606000 rw-p 00022000 fd:00 33481 /usr/lib64/ld-2.17.so % 0.88/1.29 2b8001606000-2b8001607000 rw-p 00000000 00:00 0 % 0.88/1.29 2b8001607000-2b80017c9000 r-xp 00000000 fd:00 33487 /usr/lib64/libc-2.17.so % 0.88/1.29 2b80017c9000-2b80019c9000 ---p 001c2000 fd:00 33487 /usr/lib64/libc-2.17.so % 0.88/1.29 2b80019c9000-2b80019cd000 r--p 001c2000 fd:00 33487 /usr/lib64/libc-2.17.so % 0.88/1.29 2b80019cd000-2b80019cf000 rw-p 001c6000 fd:00 33487 /usr/lib64/libc-2.17.so % 0.88/1.29 2b80019cf000-2b80019d4000 rw-p 00000000 00:00 0 % 0.88/1.29 2b80019d4000-2b80019e9000 r-xp 00000000 fd:00 4122 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 % 0.88/1.29 2b80019e9000-2b8001be8000 ---p 00015000 fd:00 4122 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 % 0.88/1.29 2b8001be8000-2b8001be9000 r--p 00014000 fd:00 4122 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 % 0.88/1.29 2b8001be9000-2b8001bea000 rw-p 00015000 fd:00 4122 /usr/lib64/libgcc_s-4.8.5-20150702.so.1 % 0.88/1.29 2b8004000000-2b8004021000 rw-p 00000000 00:00 0 % 0.88/1.29 2b8004021000-2b8008000000 ---p 00000000 00:00 0 % 0.88/1.29 7ffcececd000-7ffceceee000 rw-p 00000000 00:00 0 [stack] % 0.88/1.29 7ffcecfdf000-7ffcecfe1000 r-xp 00000000 00:00 0 [vdso] % 0.88/1.29 ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall] % 0.88/1.29 Segmentation fault (core dumped) % 0.88/1.29 Bliksem ended %------------------------------------------------------------------------------