A Symbolic Analysis of Relay and Switching Circuits, 作品: Forkarium