# Function: 4mod7
# Performs a modulo operation of the binary encoding of the input and the constant 7.
# This file have been taken from RevLib (www.revlib.org).
.i 4
.o 3
.ilb a b c d
.ob e f g
0000 000
0001 001
0010 010
0011 011
0100 100
0101 101
0110 110
0111 000
1000 001
1001 010
1010 011
1011 100
1100 101
1101 110
1110 000
1111 001
.e