digraph {
	rankdir=LR;
	LED1 [shape=doublecircle]
	OrGate2 [shape=diamond]
	AndGate1 [shape=box]
	OrGate1 [shape=diamond]
	GOMB_A [shape=circle]
	GOMB_B [shape=circle]
	GOMB_A -> OrGate1
	GOMB_B -> OrGate1
	GOMB_C [shape=circle]
	OrGate1 -> AndGate1
	GOMB_C -> AndGate1
	AndGate2 [shape=box]
	GOMB_A [shape=circle]
	JELGENERATOR [shape=Msquare]
	GOMB_A -> AndGate2
	JELGENERATOR -> AndGate2
	AndGate1 -> OrGate2
	AndGate2 -> OrGate2
	OrGate2 -> LED1
	LED2 [shape=doublecircle]
	OrGate4 [shape=diamond]
	OrGate3 [shape=diamond]
	GOMB_A [shape=circle]
	GOMB_C [shape=circle]
	GOMB_A -> OrGate3
	GOMB_C -> OrGate3
	JELGENERATOR [shape=Msquare]
	OrGate3 -> OrGate4
	JELGENERATOR -> OrGate4
	OrGate4 -> LED2
}