# Function: f2
# This file has been taken from RevLib (www.revlib.org).
.ilb x0 x1 x2 x3
.ob f0 f1 f2 f3
.i 4
.o 4
.p 12
-010 1~~~
0-10 1~~~
001- 1~~~
10-0 ~~1~
1-00 ~~1~
100- ~~1~
01-0 ~1~~
-100 ~1~~
010- ~1~~
00-1 ~~~1
-001 ~~~1
0-01 ~~~1
.e