A Symbolic Analysis of Relay and Switching Circuits: マップで広げる: Forkarium