{ "width":500, "height":300, "showToolbox":false, "toolbox":[ {"type":"In"}, {"type":"Out"}, {"type":"Joint"}, {"type":"DC"}, {"type":"LED"}, {"type":"PushOff"}, {"type":"PushOn"}, {"type":"Toggle"}, {"type":"BUF"}, {"type":"NOT"}, {"type":"AND"}, {"type":"NAND"}, {"type":"OR"}, {"type":"NOR"}, {"type":"EOR"}, {"type":"ENOR"}, {"type":"OSC"}, {"type":"7seg"}, {"type":"16seg"}, {"type":"4bit7seg"}, {"type":"RotaryEncoder"}, {"type":"BusIn"}, {"type":"BusOut"}, {"type":"RS-FF"}, {"type":"JK-FF"}, {"type":"T-FF"}, {"type":"D-FF"}, {"type":"8bitCounter"}, {"type":"HalfAdder"}, {"type":"FullAdder"}, {"type":"4bitAdder"}, {"type":"2to4BinaryDecoder"}, {"type":"3to8BinaryDecoder"}, {"type":"4to16BinaryDecoder"} ], "devices":[ {"type":"Toggle","id":"dev0","x":96,"y":112,"label":"y","state":{"on":false}}, {"type":"DC","id":"dev1","x":48,"y":32,"label":""}, {"type":"DC","id":"dev2","x":48,"y":112,"label":""}, {"type":"Toggle","id":"dev3","x":96,"y":32,"label":"x","state":{"on":false}}, {"type":"AND","id":"dev4","x":176,"y":40,"label":"AND [&]"}, {"type":"Toggle","id":"dev5","x":96,"y":216,"label":"c in","state":{"on":false}}, {"type":"DC","id":"dev6","x":48,"y":216,"label":""}, {"type":"EOR","id":"dev7","x":176,"y":104,"label":"XOR [=1]"}, {"type":"AND","id":"dev8","x":256,"y":112,"label":"AND [&]"}, {"type":"OR","id":"dev9","x":328,"y":48,"label":"OR [≥1]"}, {"type":"LED","id":"dev10","x":424,"y":48,"label":"c out"}, {"type":"LED","id":"dev11","x":424,"y":208,"label":"s"}, {"type":"EOR","id":"dev12","x":256,"y":208,"label":"XOR [=1]"} ], "connectors":[ {"from":"dev0.in0","to":"dev2.out0"}, {"from":"dev3.in0","to":"dev1.out0"}, {"from":"dev4.in0","to":"dev3.out0"}, {"from":"dev4.in1","to":"dev0.out0"}, {"from":"dev5.in0","to":"dev6.out0"}, {"from":"dev7.in0","to":"dev3.out0"}, {"from":"dev7.in1","to":"dev0.out0"}, {"from":"dev8.in0","to":"dev7.out0"}, {"from":"dev8.in1","to":"dev5.out0"}, {"from":"dev9.in0","to":"dev4.out0"}, {"from":"dev9.in1","to":"dev8.out0"}, {"from":"dev10.in0","to":"dev9.out0"}, {"from":"dev11.in0","to":"dev12.out0"}, {"from":"dev12.in0","to":"dev7.out0"}, {"from":"dev12.in1","to":"dev5.out0"} ] }