%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Copyright: 2010 Integrated Sytems Laboratory, ETH Zurich
%% http://www.iis.ee.ethz.ch/~sha3
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
function d64(x)
% for i=1:length(x),
% fprintf('%08X%08X\n',fprint64(x(i)))
% end
fprintf('%08X%08X %08X%08X %08X%08X %08X%08X %08X%08X\n', fprint64(x(1)), fprint64(x(6)), fprint64(x(11)), fprint64(x(16)), fprint64(x(21)))
fprintf('%08X%08X %08X%08X %08X%08X %08X%08X %08X%08X\n', fprint64(x(2)), fprint64(x(7)), fprint64(x(12)), fprint64(x(17)), fprint64(x(22)))
fprintf('%08X%08X %08X%08X %08X%08X %08X%08X %08X%08X\n', fprint64(x(3)), fprint64(x(8)), fprint64(x(13)), fprint64(x(18)), fprint64(x(23)))
fprintf('%08X%08X %08X%08X %08X%08X %08X%08X %08X%08X\n', fprint64(x(4)), fprint64(x(9)), fprint64(x(14)), fprint64(x(19)), fprint64(x(24)))
fprintf('%08X%08X %08X%08X %08X%08X %08X%08X %08X%08X\n', fprint64(x(5)), fprint64(x(10)), fprint64(x(15)), fprint64(x(20)), fprint64(x(25)))