%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2006-2009. All Rights Reserved.
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
%% You may obtain a copy of the License at
%%
%% http://www.apache.org/licenses/LICENSE-2.0
%%
%% Unless required by applicable law or agreed to in writing, software
%% distributed under the License is distributed on an "AS IS" BASIS,
%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%% See the License for the specific language governing permissions and
%% limitations under the License.
%%
%% %CopyrightEnd%
%%
-module(bsdes).
-export([?MODULE/0]).
-define(ITERATIONS, 100). %% for benchmarking use a higher number
?MODULE() ->
Res = test(),
{Res,Res =:= <<0,0,0,0,0,0,0,1>>}.
test() ->
Bin = <<1:64>>,
Size= size(Bin),
Key = <<4704650607608769871263876:64>>,
Jumbled = run_encode(?ITERATIONS, Bin, Key),
Unjumbled = run_decode(?ITERATIONS, Jumbled, Key),
<<Bin:Size/binary,_/binary>> = Unjumbled.
run_encode(1, Bin, Key) ->
encode(Bin, Key);
run_encode(N, Bin, Key) ->
encode(Bin, Key),
run_encode(N-1, Bin, Key).
run_decode(1, Bin, Key) ->
decode(Bin, Key);
run_decode(N, Bin, Key) ->
decode(Bin, Key),
run_decode(N-1, Bin, Key).
encode(Data, Key) ->
Keys = schedule(Key),
list_to_binary(encode_data(Data, Keys)).
decode(Data, Key) ->
Keys = lists:reverse(schedule(Key)),
list_to_binary(decode_data(Data, Keys)).
encode_data(<<Data:8/binary, Rest/binary>>, Keys) ->
[ipinv(des_core(ip(Data), Keys))|encode_data(Rest, Keys)];
encode_data(<<Rest/binary>>, Keys) ->
case size(Rest) of
0 -> [];
X ->
Y = 8-X,
Data = <<Rest/binary, 0:Y/integer-unit:8>>,
[ipinv(des_core(ip(Data), Keys))]
end.
decode_data(<<Data:8/binary, Rest/binary>>, Keys) ->
[ipinv(dechiper(ip(Data), Keys))|decode_data(Rest, Keys)];
decode_data(_, _Keys) ->
[].
schedule(Key) ->
NewKey=pc1(Key),
subkeys(NewKey, 1).
subkeys(_Key, 17) ->
[];
subkeys(Key, N) ->
TmpKey =
case rotate(N) of
1 ->
<<X1:1, L:27, X2:1, R:27>> = Key,
<<L:27, X1:1, R:27, X2:1>>;
2 ->
<<X1:2, L:26, X2:2, R:26>> = Key,
<<L:26, X1:2, R:26, X2:2>>;
_ ->
error
end,
[pc2(TmpKey)|subkeys(TmpKey, N+1)].
pc2(<<I1:1, I2:1, I3:1, I4:1, I5:1, I6:1, I7:1, I8:1,
_I9:1, I10:1, I11:1, I12:1, I13:1, I14:1, I15:1, I16:1,
I17:1, _I18:1, I19:1, I20:1, I21:1, _I22:1, I23:1, I24:1,
_I25:1, I26:1, I27:1, I28:1, I29:1, I30:1, I31:1, I32:1,
I33:1, I34:1, _I35:1, I36:1, I37:1, _I38:1, I39:1, I40:1,
I41:1, I42:1, _I43:1, I44:1, I45:1, I46:1, I47:1, I48:1,
I49:1, I50:1, I51:1, I52:1, I53:1, _I54:1, I55:1, I56:1>>) ->
<<I14:1, I17:1, I11:1, I24:1, I1:1, I5:1, I3:1, I28:1,
I15:1, I6:1, I21:1, I10:1, I23:1, I19:1, I12:1, I4:1,
I26:1, I8:1, I16:1, I7:1, I27:1, I20:1, I13:1, I2:1,
I41:1, I52:1, I31:1, I37:1, I47:1, I55:1, I30:1, I40:1,
I51:1, I45:1, I33:1, I48:1, I44:1, I49:1, I39:1, I56:1,
I34:1, I53:1, I46:1, I42:1, I50:1, I36:1, I29:1, I32:1>>.
pc1(<<I1:1, I2:1, I3:1, I4:1, I5:1, I6:1, I7:1, _:1,
I9:1, I10:1, I11:1, I12:1, I13:1, I14:1, I15:1, _:1,
I17:1, I18:1, I19:1, I20:1, I21:1, I22:1, I23:1, _:1,
I25:1, I26:1, I27:1, I28:1, I29:1, I30:1, I31:1, _:1,
I33:1, I34:1, I35:1, I36:1, I37:1, I38:1, I39:1, _:1,
I41:1, I42:1, I43:1, I44:1, I45:1, I46:1, I47:1, _:1,
I49:1, I50:1, I51:1, I52:1, I53:1, I54:1, I55:1, _:1,
I57:1, I58:1, I59:1, I60:1, I61:1, I62:1, I63:1, _:1>>) ->
<<I57:1, I49:1, I41:1, I33:1, I25:1, I17:1, I9:1, I1:1,
I58:1, I50:1, I42:1, I34:1, I26:1, I18:1, I10:1, I2:1,
I59:1, I51:1, I43:1, I35:1, I27:1, I19:1, I11:1, I3:1,
I60:1, I52:1, I44:1, I36:1, I63:1, I55:1, I47:1, I39:1,
I31:1, I23:1, I15:1, I7:1, I62:1, I54:1, I46:1, I38:1,
I30:1, I22:1, I14:1, I6:1, I61:1, I53:1, I45:1, I37:1,
I29:1, I21:1, I13:1, I5:1, I28:1, I20:1, I12:1, I4:1>>.
ip(<<I1:1, I2:1, I3:1, I4:1, I5:1, I6:1, I7:1, I8:1,
I9:1, I10:1, I11:1, I12:1, I13:1, I14:1, I15:1, I16:1,
I17:1, I18:1, I19:1, I20:1, I21:1, I22:1, I23:1, I24:1,
I25:1, I26:1, I27:1, I28:1, I29:1, I30:1, I31:1, I32:1,
I33:1, I34:1, I35:1, I36:1, I37:1, I38:1, I39:1, I40:1,
I41:1, I42:1, I43:1, I44:1, I45:1, I46:1, I47:1, I48:1,
I49:1, I50:1, I51:1, I52:1, I53:1, I54:1, I55:1, I56:1,
I57:1, I58:1, I59:1, I60:1, I61:1, I62:1, I63:1, I64:1>>) ->
<<I58:1, I50:1, I42:1, I34:1, I26:1, I18:1, I10:1, I2:1,
I60:1, I52:1, I44:1, I36:1, I28:1, I20:1, I12:1, I4:1,
I62:1, I54:1, I46:1, I38:1, I30:1, I22:1, I14:1, I6:1,
I64:1, I56:1, I48:1, I40:1, I32:1, I24:1, I16:1, I8:1,
I57:1, I49:1, I41:1, I33:1, I25:1, I17:1, I9:1, I1:1,
I59:1, I51:1, I43:1, I35:1, I27:1, I19:1, I11:1, I3:1,
I61:1, I53:1, I45:1, I37:1, I29:1, I21:1, I13:1, I5:1,
I63:1, I55:1, I47:1, I39:1, I31:1, I23:1, I15:1, I7:1>>.
ipinv(<<I58:1, I50:1, I42:1, I34:1, I26:1, I18:1, I10:1, I2:1,
I60:1, I52:1, I44:1, I36:1, I28:1, I20:1, I12:1, I4:1,
I62:1, I54:1, I46:1, I38:1, I30:1, I22:1, I14:1, I6:1,
I64:1, I56:1, I48:1, I40:1, I32:1, I24:1, I16:1, I8:1,
I57:1, I49:1, I41:1, I33:1, I25:1, I17:1, I9:1, I1:1,
I59:1, I51:1, I43:1, I35:1, I27:1, I19:1, I11:1, I3:1,
I61:1, I53:1, I45:1, I37:1, I29:1, I21:1, I13:1, I5:1,
I63:1, I55:1, I47:1, I39:1, I31:1, I23:1, I15:1, I7:1>>) ->
<<I1:1, I2:1, I3:1, I4:1, I5:1, I6:1, I7:1, I8:1,
I9:1, I10:1, I11:1, I12:1, I13:1, I14:1, I15:1, I16:1,
I17:1, I18:1, I19:1, I20:1, I21:1, I22:1, I23:1, I24:1,
I25:1, I26:1, I27:1, I28:1, I29:1, I30:1, I31:1, I32:1,
I33:1, I34:1, I35:1, I36:1, I37:1, I38:1, I39:1, I40:1,
I41:1, I42:1, I43:1, I44:1, I45:1, I46:1, I47:1, I48:1,
I49:1, I50:1, I51:1, I52:1, I53:1, I54:1, I55:1, I56:1,
I57:1, I58:1, I59:1, I60:1, I61:1, I62:1, I63:1, I64:1>>.
dechiper(<<L:4/binary, R:4/binary>>, Keys) ->
dechiper(L, R, Keys, 16).
dechiper(L, R, [], 0) ->
<<L:4/binary, R:4/binary>>;
dechiper(L, R, [Key|Rest], I) ->
NewL=ebit(L),
XorL=xor48(NewL, Key),
Sboxed=sboxing(XorL),
Ped=p(Sboxed),
EndL = xor32(Ped, R),
dechiper(EndL,L,Rest,I-1).
des_core(<<L:4/binary, R:4/binary>>, Keys) ->
des_core(L, R, Keys, 0).
des_core(L, R, [], 16) ->
<<L:4/binary, R:4/binary>>;
des_core(L, R, [Key|Rest], I) when I<16 ->
NewR=ebit(R),
XorR=xor48(NewR, Key),
Sboxed=sboxing(XorR),
Ped=p(Sboxed),
EndR = xor32(Ped, L),
des_core(R, EndR, Rest, I+1).
ebit(<<I1:1, I2:2, I3:2,I4:2,I5:2,I6:2,
I7:2,I8:2,I9:2,I10:2,I11:2,I12:2,
I13:2,I14:2,I15:2,I16:2,I17:1>>) ->
<<I17:1, I1:1, I2:2, I3:2, I3:2,
I4:2, I5:2, I5:2, I6:2,
I7:2, I7:2, I8:2, I9:2,
I9:2, I10:2, I11:2, I11:2,
I12:2, I13:2, I13:2, I14:2,
I15:2, I15:2, I16:2, I17:1, I1:1>>.
p(<<I1:1, I2:1, I3:1, I4:1, I5:1, I6:1, I7:1, I8:1,
I9:1, I10:1, I11:1, I12:1, I13:1, I14:1, I15:1, I16:1,
I17:1, I18:1, I19:1, I20:1, I21:1, I22:1, I23:1, I24:1,
I25:1, I26:1, I27:1, I28:1, I29:1, I30:1, I31:1, I32:1>>) ->
<<I16:1, I7:1, I20:1, I21:1, I29:1, I12:1, I28:1, I17:1,
I1:1, I15:1, I23:1, I26:1, I5:1, I18:1, I31:1, I10:1,
I2:1, I8:1, I24:1, I14:1, I32:1, I27:1, I3:1, I9:1,
I19:1, I13:1, I30:1, I6:1, I22:1, I11:1, I4:1, I25:1>>.
rotate(1) -> 1;
rotate(2) -> 1;
rotate(9) -> 1;
rotate(16) -> 1;
rotate(N) when N>0, N<17 -> 2.
%xor64(<<I1:16, I2:16, I3:16, I4:16>>,<<J1:16, J2:16, J3:16, J4:16>>) ->
% K1 = I1 bxor J1,
% K2 = I2 bxor J2,
% K3 = I3 bxor J3,
% K4 = I4 bxor J4,
% <<K1:16, K2:16, K3:16, K4:16>>.
xor48(<<I1:16, I2:16, I3:16>>,<<J1:16, J2:16, J3:16>>) ->
K1 = I1 bxor J1,
K2 = I2 bxor J2,
K3 = I3 bxor J3,
<<K1:16, K2:16, K3:16>>.
xor32(<<I1:16, I2:16>>,<<J1:16, J2:16>>) ->
K1 = I1 bxor J1,
K2 = I2 bxor J2,
<<K1:16, K2:16>>.
sboxing(<<A1:6, A2:6, A3:6, A4:6, A5:6, A6:6, A7:6, A8:6>>) ->
S1=sbox(A1, 1),
S2=sbox(A2, 2),
S3=sbox(A3, 3),
S4=sbox(A4, 4),
S5=sbox(A5, 5),
S6=sbox(A6, 6),
S7=sbox(A7, 7),
S8=sbox(A8, 8),
<<S1:4,S2:4,S3:4,S4:4,S5:4,S6:4,S7:4,S8:4>>.
sbox(0,1) -> 14;
sbox(1,1) -> 0;
sbox(2,1) -> 4;
sbox(3,1) -> 15;
sbox(4,1) -> 13;
sbox(5,1) -> 7;
sbox(6,1) -> 1;
sbox(7,1) -> 4;
sbox(8,1) -> 2;
sbox(9,1) -> 14;
sbox(10,1) -> 15;
sbox(11,1) -> 2;
sbox(12,1) -> 11;
sbox(13,1) -> 13;
sbox(14,1) -> 8;
sbox(15,1) -> 1;
sbox(16,1) -> 3;
sbox(17,1) -> 10;
sbox(18,1) -> 10;
sbox(19,1) -> 6;
sbox(20,1) -> 6;
sbox(21,1) -> 12;
sbox(22,1) -> 12;
sbox(23,1) -> 11;
sbox(24,1) -> 5;
sbox(25,1) -> 9;
sbox(26,1) -> 9;
sbox(27,1) -> 5;
sbox(28,1) -> 0;
sbox(29,1) -> 3;
sbox(30,1) -> 7;
sbox(31,1) -> 8;
sbox(32,1) -> 4;
sbox(33,1) -> 15;
sbox(34,1) -> 1;
sbox(35,1) -> 12;
sbox(36,1) -> 14;
sbox(37,1) -> 8;
sbox(38,1) -> 8;
sbox(39,1) -> 2;
sbox(40,1) -> 13;
sbox(41,1) -> 4;
sbox(42,1) -> 6;
sbox(43,1) -> 9;
sbox(44,1) -> 2;
sbox(45,1) -> 1;
sbox(46,1) -> 11;
sbox(47,1) -> 7;
sbox(48,1) -> 15;
sbox(49,1) -> 5;
sbox(50,1) -> 12;
sbox(51,1) -> 11;
sbox(52,1) -> 9;
sbox(53,1) -> 3;
sbox(54,1) -> 7;
sbox(55,1) -> 14;
sbox(56,1) -> 3;
sbox(57,1) -> 10;
sbox(58,1) -> 10;
sbox(59,1) -> 0;
sbox(60,1) -> 5;
sbox(61,1) -> 6;
sbox(62,1) -> 0;
sbox(63,1) -> 13;
sbox(0,2) -> 15;
sbox(1,2) -> 3;
sbox(2,2) -> 1;
sbox(3,2) -> 13;
sbox(4,2) -> 8;
sbox(5,2) -> 4;
sbox(6,2) -> 14;
sbox(7,2) -> 7;
sbox(8,2) -> 6;
sbox(9,2) -> 15;
sbox(10,2) -> 11;
sbox(11,2) -> 2;
sbox(12,2) -> 3;
sbox(13,2) -> 8;
sbox(14,2) -> 4;
sbox(15,2) -> 14;
sbox(16,2) -> 9;
sbox(17,2) -> 12;
sbox(18,2) -> 7;
sbox(19,2) -> 0;
sbox(20,2) -> 2;
sbox(21,2) -> 1;
sbox(22,2) -> 13;
sbox(23,2) -> 10;
sbox(24,2) -> 12;
sbox(25,2) -> 6;
sbox(26,2) -> 0;
sbox(27,2) -> 9;
sbox(28,2) -> 5;
sbox(29,2) -> 11;
sbox(30,2) -> 10;
sbox(31,2) -> 5;
sbox(32,2) -> 0;
sbox(33,2) -> 13;
sbox(34,2) -> 14;
sbox(35,2) -> 8;
sbox(36,2) -> 7;
sbox(37,2) -> 10;
sbox(38,2) -> 11;
sbox(39,2) -> 1;
sbox(40,2) -> 10;
sbox(41,2) -> 3;
sbox(42,2) -> 4;
sbox(43,2) -> 15;
sbox(44,2) -> 13;
sbox(45,2) -> 4;
sbox(46,2) -> 1;
sbox(47,2) -> 2;
sbox(48,2) -> 5;
sbox(49,2) -> 11;
sbox(50,2) -> 8;
sbox(51,2) -> 6;
sbox(52,2) -> 12;
sbox(53,2) -> 7;
sbox(54,2) -> 6;
sbox(55,2) -> 12;
sbox(56,2) -> 9;
sbox(57,2) -> 0;
sbox(58,2) -> 3;
sbox(59,2) -> 5;
sbox(60,2) -> 2;
sbox(61,2) -> 14;
sbox(62,2) -> 15;
sbox(63,2) -> 9;
sbox(0,3) -> 10;
sbox(1,3) -> 13;
sbox(2,3) -> 0;
sbox(3,3) -> 7;
sbox(4,3) -> 9;
sbox(5,3) -> 0;
sbox(6,3) -> 14;
sbox(7,3) -> 9;
sbox(8,3) -> 6;
sbox(9,3) -> 3;
sbox(10,3) -> 3;
sbox(11,3) -> 4;
sbox(12,3) -> 15;
sbox(13,3) -> 6;
sbox(14,3) -> 5;
sbox(15,3) -> 10;
sbox(16,3) -> 1;
sbox(17,3) -> 2;
sbox(18,3) -> 13;
sbox(19,3) -> 8;
sbox(20,3) -> 12;
sbox(21,3) -> 5;
sbox(22,3) -> 7;
sbox(23,3) -> 14;
sbox(24,3) -> 11;
sbox(25,3) -> 12;
sbox(26,3) -> 4;
sbox(27,3) -> 11;
sbox(28,3) -> 2;
sbox(29,3) -> 15;
sbox(30,3) -> 8;
sbox(31,3) -> 1;
sbox(32,3) -> 13;
sbox(33,3) -> 1;
sbox(34,3) -> 6;
sbox(35,3) -> 10;
sbox(36,3) -> 4;
sbox(37,3) -> 13;
sbox(38,3) -> 9;
sbox(39,3) -> 0;
sbox(40,3) -> 8;
sbox(41,3) -> 6;
sbox(42,3) -> 15;
sbox(43,3) -> 9;
sbox(44,3) -> 3;
sbox(45,3) -> 8;
sbox(46,3) -> 0;
sbox(47,3) -> 7;
sbox(48,3) -> 11;
sbox(49,3) -> 4;
sbox(50,3) -> 1;
sbox(51,3) -> 15;
sbox(52,3) -> 2;
sbox(53,3) -> 14;
sbox(54,3) -> 12;
sbox(55,3) -> 3;
sbox(56,3) -> 5;
sbox(57,3) -> 11;
sbox(58,3) -> 10;
sbox(59,3) -> 5;
sbox(60,3) -> 14;
sbox(61,3) -> 2;
sbox(62,3) -> 7;
sbox(63,3) -> 12;
sbox(0,4) -> 7;
sbox(1,4) -> 13;
sbox(2,4) -> 13;
sbox(3,4) -> 8;
sbox(4,4) -> 14;
sbox(5,4) -> 11;
sbox(6,4) -> 3;
sbox(7,4) -> 5;
sbox(8,4) -> 0;
sbox(9,4) -> 6;
sbox(10,4) -> 6;
sbox(11,4) -> 15;
sbox(12,4) -> 9;
sbox(13,4) -> 0;
sbox(14,4) -> 10;
sbox(15,4) -> 3;
sbox(16,4) -> 1;
sbox(17,4) -> 4;
sbox(18,4) -> 2;
sbox(19,4) -> 7;
sbox(20,4) -> 8;
sbox(21,4) -> 2;
sbox(22,4) -> 5;
sbox(23,4) -> 12;
sbox(24,4) -> 11;
sbox(25,4) -> 1;
sbox(26,4) -> 12;
sbox(27,4) -> 10;
sbox(28,4) -> 4;
sbox(29,4) -> 14;
sbox(30,4) -> 15;
sbox(31,4) -> 9;
sbox(32,4) -> 10;
sbox(33,4) -> 3;
sbox(34,4) -> 6;
sbox(35,4) -> 15;
sbox(36,4) -> 9;
sbox(37,4) -> 0;
sbox(38,4) -> 0;
sbox(39,4) -> 6;
sbox(40,4) -> 12;
sbox(41,4) -> 10;
sbox(42,4) -> 11;
sbox(43,4) -> 1;
sbox(44,4) -> 7;
sbox(45,4) -> 13;
sbox(46,4) -> 13;
sbox(47,4) -> 8;
sbox(48,4) -> 15;
sbox(49,4) -> 9;
sbox(50,4) -> 1;
sbox(51,4) -> 4;
sbox(52,4) -> 3;
sbox(53,4) -> 5;
sbox(54,4) -> 14;
sbox(55,4) -> 11;
sbox(56,4) -> 5;
sbox(57,4) -> 12;
sbox(58,4) -> 2;
sbox(59,4) -> 7;
sbox(60,4) -> 8;
sbox(61,4) -> 2;
sbox(62,4) -> 4;
sbox(63,4) -> 14;
sbox(0,5) -> 2;
sbox(1,5) -> 14;
sbox(2,5) -> 12;
sbox(3,5) -> 11;
sbox(4,5) -> 4;
sbox(5,5) -> 2;
sbox(6,5) -> 1;
sbox(7,5) -> 12;
sbox(8,5) -> 7;
sbox(9,5) -> 4;
sbox(10,5) -> 10;
sbox(11,5) -> 7;
sbox(12,5) -> 11;
sbox(13,5) -> 13;
sbox(14,5) -> 6;
sbox(15,5) -> 1;
sbox(16,5) -> 8;
sbox(17,5) -> 5;
sbox(18,5) -> 5;
sbox(19,5) -> 0;
sbox(20,5) -> 3;
sbox(21,5) -> 15;
sbox(22,5) -> 15;
sbox(23,5) -> 10;
sbox(24,5) -> 13;
sbox(25,5) -> 3;
sbox(26,5) -> 0;
sbox(27,5) -> 9;
sbox(28,5) -> 14;
sbox(29,5) -> 8;
sbox(30,5) -> 9;
sbox(31,5) -> 6;
sbox(32,5) -> 4;
sbox(33,5) -> 11;
sbox(34,5) -> 2;
sbox(35,5) -> 8;
sbox(36,5) -> 1;
sbox(37,5) -> 12;
sbox(38,5) -> 11;
sbox(39,5) -> 7;
sbox(40,5) -> 10;
sbox(41,5) -> 1;
sbox(42,5) -> 13;
sbox(43,5) -> 14;
sbox(44,5) -> 7;
sbox(45,5) -> 2;
sbox(46,5) -> 8;
sbox(47,5) -> 13;
sbox(48,5) -> 15;
sbox(49,5) -> 6;
sbox(50,5) -> 9;
sbox(51,5) -> 15;
sbox(52,5) -> 12;
sbox(53,5) -> 0;
sbox(54,5) -> 5;
sbox(55,5) -> 9;
sbox(56,5) -> 6;
sbox(57,5) -> 10;
sbox(58,5) -> 3;
sbox(59,5) -> 4;
sbox(60,5) -> 0;
sbox(61,5) -> 5;
sbox(62,5) -> 14;
sbox(63,5) -> 3;
sbox(0,6) -> 12;
sbox(1,6) -> 10;
sbox(2,6) -> 1;
sbox(3,6) -> 15;
sbox(4,6) -> 10;
sbox(5,6) -> 4;
sbox(6,6) -> 15;
sbox(7,6) -> 2;
sbox(8,6) -> 9;
sbox(9,6) -> 7;
sbox(10,6) -> 2;
sbox(11,6) -> 12;
sbox(12,6) -> 6;
sbox(13,6) -> 9;
sbox(14,6) -> 8;
sbox(15,6) -> 5;
sbox(16,6) -> 0;
sbox(17,6) -> 6;
sbox(18,6) -> 13;
sbox(19,6) -> 1;
sbox(20,6) -> 3;
sbox(21,6) -> 13;
sbox(22,6) -> 4;
sbox(23,6) -> 14;
sbox(24,6) -> 14;
sbox(25,6) -> 0;
sbox(26,6) -> 7;
sbox(27,6) -> 11;
sbox(28,6) -> 5;
sbox(29,6) -> 3;
sbox(30,6) -> 11;
sbox(31,6) -> 8;
sbox(32,6) -> 9;
sbox(33,6) -> 4;
sbox(34,6) -> 14;
sbox(35,6) -> 3;
sbox(36,6) -> 15;
sbox(37,6) -> 2;
sbox(38,6) -> 5;
sbox(39,6) -> 12;
sbox(40,6) -> 2;
sbox(41,6) -> 9;
sbox(42,6) -> 8;
sbox(43,6) -> 5;
sbox(44,6) -> 12;
sbox(45,6) -> 15;
sbox(46,6) -> 3;
sbox(47,6) -> 10;
sbox(48,6) -> 7;
sbox(49,6) -> 11;
sbox(50,6) -> 0;
sbox(51,6) -> 14;
sbox(52,6) -> 4;
sbox(53,6) -> 1;
sbox(54,6) -> 10;
sbox(55,6) -> 7;
sbox(56,6) -> 1;
sbox(57,6) -> 6;
sbox(58,6) -> 13;
sbox(59,6) -> 0;
sbox(60,6) -> 11;
sbox(61,6) -> 8;
sbox(62,6) -> 6;
sbox(63,6) -> 13;
sbox(0,7) -> 4;
sbox(1,7) -> 13;
sbox(2,7) -> 11;
sbox(3,7) -> 0;
sbox(4,7) -> 2;
sbox(5,7) -> 11;
sbox(6,7) -> 14;
sbox(7,7) -> 7;
sbox(8,7) -> 15;
sbox(9,7) -> 4;
sbox(10,7) -> 0;
sbox(11,7) -> 9;
sbox(12,7) -> 8;
sbox(13,7) -> 1;
sbox(14,7) -> 13;
sbox(15,7) -> 10;
sbox(16,7) -> 3;
sbox(17,7) -> 14;
sbox(18,7) -> 12;
sbox(19,7) -> 3;
sbox(20,7) -> 9;
sbox(21,7) -> 5;
sbox(22,7) -> 7;
sbox(23,7) -> 12;
sbox(24,7) -> 5;
sbox(25,7) -> 2;
sbox(26,7) -> 10;
sbox(27,7) -> 15;
sbox(28,7) -> 6;
sbox(29,7) -> 8;
sbox(30,7) -> 1;
sbox(31,7) -> 6;
sbox(32,7) -> 1;
sbox(33,7) -> 6;
sbox(34,7) -> 4;
sbox(35,7) -> 11;
sbox(36,7) -> 11;
sbox(37,7) -> 13;
sbox(38,7) -> 13;
sbox(39,7) -> 8;
sbox(40,7) -> 12;
sbox(41,7) -> 1;
sbox(42,7) -> 3;
sbox(43,7) -> 4;
sbox(44,7) -> 7;
sbox(45,7) -> 10;
sbox(46,7) -> 14;
sbox(47,7) -> 7;
sbox(48,7) -> 10;
sbox(49,7) -> 9;
sbox(50,7) -> 15;
sbox(51,7) -> 5;
sbox(52,7) -> 6;
sbox(53,7) -> 0;
sbox(54,7) -> 8;
sbox(55,7) -> 15;
sbox(56,7) -> 0;
sbox(57,7) -> 14;
sbox(58,7) -> 5;
sbox(59,7) -> 2;
sbox(60,7) -> 9;
sbox(61,7) -> 3;
sbox(62,7) -> 2;
sbox(63,7) -> 12;
sbox(0,8) -> 13;
sbox(1,8) -> 1;
sbox(2,8) -> 2;
sbox(3,8) -> 15;
sbox(4,8) -> 8;
sbox(5,8) -> 13;
sbox(6,8) -> 4;
sbox(7,8) -> 8;
sbox(8,8) -> 6;
sbox(9,8) -> 10;
sbox(10,8) -> 15;
sbox(11,8) -> 3;
sbox(12,8) -> 11;
sbox(13,8) -> 7;
sbox(14,8) -> 1;
sbox(15,8) -> 4;
sbox(16,8) -> 10;
sbox(17,8) -> 12;
sbox(18,8) -> 9;
sbox(19,8) -> 5;
sbox(20,8) -> 3;
sbox(21,8) -> 6;
sbox(22,8) -> 14;
sbox(23,8) -> 11;
sbox(24,8) -> 5;
sbox(25,8) -> 0;
sbox(26,8) -> 0;
sbox(27,8) -> 14;
sbox(28,8) -> 12;
sbox(29,8) -> 9;
sbox(30,8) -> 7;
sbox(31,8) -> 2;
sbox(32,8) -> 7;
sbox(33,8) -> 2;
sbox(34,8) -> 11;
sbox(35,8) -> 1;
sbox(36,8) -> 4;
sbox(37,8) -> 14;
sbox(38,8) -> 1;
sbox(39,8) -> 7;
sbox(40,8) -> 9;
sbox(41,8) -> 4;
sbox(42,8) -> 12;
sbox(43,8) -> 10;
sbox(44,8) -> 14;
sbox(45,8) -> 8;
sbox(46,8) -> 2;
sbox(47,8) -> 13;
sbox(48,8) -> 0;
sbox(49,8) -> 15;
sbox(50,8) -> 6;
sbox(51,8) -> 12;
sbox(52,8) -> 10;
sbox(53,8) -> 9;
sbox(54,8) -> 13;
sbox(55,8) -> 0;
sbox(56,8) -> 15;
sbox(57,8) -> 3;
sbox(58,8) -> 3;
sbox(59,8) -> 5;
sbox(60,8) -> 5;
sbox(61,8) -> 6;
sbox(62,8) -> 8;
sbox(63,8) -> 11.
