# Function: one-two-three
# This file have been taken from RevLib (www.revlib.org).
.i 3
.o 3
.ilb a b c
.ob d e f 
000 000
001 100
010 100
011 010
100 100
101 010
110 010
111 001
.e