
% firma in input : 13
% bit : 4
% modulo : 15

e(0).
e(4).

t(0).
t(4).


% risultato : 7

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).


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


% firma in input : 20
% bit : 4
% modulo : 15

e(0).
e(4).

t(0).
t(4).


% risultato : 5

false:- not m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- m_1(3).


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


% firma in input : 13
% bit : 5
% modulo : 21

e(0).
e(1).
e(3).
e(5).

t(4).
t(5).


% risultato : 13

false:- not m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 20
% bit : 5
% modulo : 21

e(0).
e(1).
e(3).
e(5).

t(4).
t(5).


% risultato : 20

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 13
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 12

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 20
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 1

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 13
% bit : 4
% modulo : 15

e(0).
e(4).

t(0).
t(4).


% risultato : 13

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).


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


% firma in input : 20
% bit : 4
% modulo : 15

e(0).
e(4).

t(0).
t(4).


% risultato : 20

false:- not m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- m_1(3).


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


% firma in input : 13
% bit : 5
% modulo : 21

e(0).
e(1).
e(3).
e(5).

t(4).
t(5).


% risultato : 13

false:- not m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 20
% bit : 5
% modulo : 21

e(0).
e(1).
e(3).
e(5).

t(4).
t(5).


% risultato : 20

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 13
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 13

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 20
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 20

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 1
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 1

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 2
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 2

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 3
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 3

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 4
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 4

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 5
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 5

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 6
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 6

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 7
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 7

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 8
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 8

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 9
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 9

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 10
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 10

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 11
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 11

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 12
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 12

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 13
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 13

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 14
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 14

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 15
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 15

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 16
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 16

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 17
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 17

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 18
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 18

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 19
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 19

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 20
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 20

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 21
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 21

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 22
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 22

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 23
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 23

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 24
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 24

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 25
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 25

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 26
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 26

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 27
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 27

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 28
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 28

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 29
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 29

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 30
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 30

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 31
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 31

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 1
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 1

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 2
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 2

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 3
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 3

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 4
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 4

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 5
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 5

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 6
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 6

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 7
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 7

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 8
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 8

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 9
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 9

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 10
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 10

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 11
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 11

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 12
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 12

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 13
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 13

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 14
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 14

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 15
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 15

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 16
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 16

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 17
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 17

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 18
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 18

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 19
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 19

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 20
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 20

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 21
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 21

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 22
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 22

false:- m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 23
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 23

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 24
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 24

false:- not m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 25
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 25

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 26
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 26

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 27
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 27

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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


% firma in input : 28
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 28

false:- not m_1(0).
false:- not m_1(1).
false:- not m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 29
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 29

false:- m_1(0).
false:- m_1(1).
false:- not m_1(2).
false:- not m_1(3).
false:- m_1(4).


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


% firma in input : 30
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 30

false:- not m_1(0).
false:- m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- m_1(4).


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


% firma in input : 31
% bit : 5
% modulo : 19

e(0).
e(2).
e(3).
e(5).

t(0).
t(2).
t(4).
t(5).


% risultato : 31

false:- m_1(0).
false:- not m_1(1).
false:- m_1(2).
false:- m_1(3).
false:- not m_1(4).


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

