
% firma in input : 54
% bit : 9
% modulo : 461

e(0).
e(1).
e(4).
e(5).
e(9).

t(3).
t(4).
t(5).
t(9).


% risultato : 54

false:- m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- not m_1(4).
false:- not m_1(5).
false:- m_1(6).
false:- m_1(7).
false:- m_1(8).


{f(I)}:- bits1(I).

