// Circuits data file, version: 0.6.7
	InputGate - index: 521, x: 32, y: 41, Value: 1, Label: A, inputs: , outputs: , 531, 542, Hint: A
	InputGate - index: 522, x: 31, y: 123, Value: 1, Label: B, inputs: , outputs: , 533, 545, Hint: B
	InputGate - index: 523, x: 38, y: 247, Value: 1, Label: C, inputs: , outputs: , 543, 546, Hint: C
	OrGate - index: 524, x: 204, y: 50, Value: 1, Label: OR, inputs: , 532, 533, outputs: , 538, Hint: NOT A OR B
	OrGate - index: 526, x: 135, y: 142, Value: 1, Label: OR, inputs: , 542, 543, outputs: , 544, Hint: A OR C
	OrGate - index: 527, x: 269, y: 177, Value: 1, Label: OR, inputs: , 547, 548, outputs: , 549, Hint: NOT ( A OR C ) OR ( B OR C )
	OrGate - index: 528, x: 141, y: 217, Value: 1, Label: OR, inputs: , 545, 546, outputs: , 548, Hint: B OR C
	NotGate - index: 529, x: 135, y: 20, Value: 0, Label: N, inputs: , 531, outputs: , 532, Hint: NOT A
	NotGate - index: 530, x: 278, y: 50, Value: 0, Label: N, inputs: , 538, outputs: , 539, Hint: NOT ( NOT A OR B )
	LinkGate - index: 531, x: 72, y: 35, Value: 1, Label: null, inputs: , 521, outputs: , 529, Mids: 26, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 16)
[index]: (x, y): [1]: (26, 16)
[index]: (x, y): [2]: (26, 0)
[index]: (x, y): [3]: (63, 0)

	LinkGate - index: 532, x: 165, y: 35, Value: 0, Label: null, inputs: , 529, outputs: , 524, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 25)
[index]: (x, y): [3]: (39, 25)

	LinkGate - index: 533, x: 71, y: 70, Value: 1, Label: null, inputs: , 522, outputs: , 524, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 63)
[index]: (x, y): [1]: (10, 63)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (133, 0)

	OutputGate - index: 534, x: 436, y: 124, Value: 1, Label: OUT, inputs: , 540, outputs: , Hint: ( A' + B )' + ( ( A + C )' + ( B + C ) )
	OrGate - index: 537, x: 348, y: 119, Value: 1, Label: OR, inputs: , 539, 549, outputs: , 540, Hint: ( A --> B ) --> ( ( A OR C ) --> ( B OR C ) )
	LinkGate - index: 538, x: 243, y: 65, Value: 1, Label: null, inputs: , 524, outputs: , 530, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (35, 0)

	LinkGate - index: 539, x: 308, y: 65, Value: 0, Label: , inputs: , 530, outputs: , 537, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 64)
[index]: (x, y): [3]: (40, 64)

	LinkGate - index: 540, x: 387, y: 134, Value: 1, Label: null, inputs: , 537, outputs: , 534, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (49, 0)

	NotGate - index: 541, x: 205, y: 142, Value: 0, Label: N, inputs: , 544, outputs: , 547, Hint: NOT ( A OR C )
	LinkGate - index: 542, x: 72, y: 51, Value: 1, Label: null, inputs: , 521, outputs: , 526, Mids: 26, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (26, 0)
[index]: (x, y): [2]: (26, 101)
[index]: (x, y): [3]: (63, 101)

	LinkGate - index: 543, x: 78, y: 162, Value: 1, Label: null, inputs: , 523, outputs: , 526, Mids: 20, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 95)
[index]: (x, y): [1]: (20, 95)
[index]: (x, y): [2]: (20, 0)
[index]: (x, y): [3]: (57, 0)

	LinkGate - index: 544, x: 174, y: 157, Value: 1, Label: null, inputs: , 526, outputs: , 541, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (31, 0)

	LinkGate - index: 545, x: 71, y: 133, Value: 1, Label: null, inputs: , 522, outputs: , 528, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 94)
[index]: (x, y): [3]: (70, 94)

	LinkGate - index: 546, x: 78, y: 237, Value: 1, Label: null, inputs: , 523, outputs: , 528, Mids: 20, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 20)
[index]: (x, y): [1]: (20, 20)
[index]: (x, y): [2]: (20, 0)
[index]: (x, y): [3]: (63, 0)

	LinkGate - index: 547, x: 235, y: 157, Value: 0, Label: , inputs: , 541, outputs: , 527, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 30)
[index]: (x, y): [3]: (34, 30)

	LinkGate - index: 548, x: 180, y: 197, Value: 1, Label: , inputs: , 528, outputs: , 527, Mids: 66, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 35)
[index]: (x, y): [1]: (66, 35)
[index]: (x, y): [2]: (66, 0)
[index]: (x, y): [3]: (89, 0)

	LinkGate - index: 549, x: 308, y: 139, Value: 1, Label: , inputs: , 527, outputs: , 537, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 53)
[index]: (x, y): [1]: (10, 53)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (40, 0)

	CommentGate - index: 550, x: 356, y: 16, Value: -1, Label: A tautology, inputs: , outputs: , Hint: I19
	CommentGate - index: 551, x: 356, y: 39, Value: -1, Label: ( A --> B ) --> ( ( A OR C ) --> ( B OR C ) ), inputs: , outputs: , Hint: I20
	CommentGate - index: 552, x: 361, y: 185, Value: -1, Label: Recall - A --> B is the same as A' OR B, inputs: , outputs: , Hint: I21
	CommentGate - index: 553, x: 360, y: 208, Value: -1, Label: Thus, inputs: , outputs: , Hint: I22
	CommentGate - index: 554, x: 360, y: 230, Value: -1, Label: ( A' OR B )' OR ( ( A OR C )' OR ( B OR C ) ), inputs: , outputs: , Hint: I23
	CommentGate - index: 555, x: 359, y: 254, Value: -1, Label: = ( A' + B )' + ( ( A + C )' + ( B + C ) ), inputs: , outputs: , Hint: I24
	CommentGate - index: 556, x: 357, y: 61, Value: -1, Label: Use Next or Toggle to study the effets of various input patterns, inputs: , outputs: , Hint: I25
	CommentGate - index: 557, x: 359, y: 291, Value: -1, Label: Use Dots to clarify the connections, inputs: , outputs: , Hint: I26