A Symbolic Analysis of Relay and Switching Circuits, 작품: Forkarium