// Circuits data file, version: 0.6.7
	InputGate - index: 558, x: 50, y: 10, Value: 0, Label: A, inputs: , outputs: , 576, 580, Hint: A
	InputGate - index: 559, x: 30, y: 144, Value: 0, Label: B, inputs: , outputs: , 570, 581, Hint: B
	InputGate - index: 560, x: 88, y: 314, Value: 0, Label: C, inputs: , outputs: , 575, 584, Hint: C
	OrGate - index: 562, x: 348, y: 79, Value: 1, Label: OR, inputs: , 577, 578, outputs: , 579, Hint: NOT A OR ( NOT B OR C )
	OrGate - index: 563, x: 359, y: 267, Value: 1, Label: OR, inputs: , 583, 584, outputs: , 585, Hint: NOT ( A AND B ) OR C
	AndGate - index: 564, x: 233, y: 224, Value: 0, Label: AND, inputs: , 580, 581, outputs: , 582, Hint: A AND B
	NotGate - index: 565, x: 213, y: 30, Value: 1, Label: N, inputs: , 576, outputs: , 577, Hint: NOT A
	NotGate - index: 566, x: 150, y: 80, Value: 1, Label: N, inputs: , 570, outputs: , 574, Hint: NOT B
	NotGate - index: 567, x: 300, y: 224, Value: 1, Label: N, inputs: , 582, outputs: , 583, Hint: NOT ( A AND B )
	OutputGate - index: 568, x: 438, y: 84, Value: 1, Label: OUT, inputs: , 579, outputs: , Hint: A --> ( B --> C )
	OutputGate - index: 569, x: 443, y: 272, Value: 1, Label: OUT, inputs: , 585, outputs: , Hint: ( A AND B ) --> C
	LinkGate - index: 570, x: 70, y: 95, Value: 0, Label: , inputs: , 559, outputs: , 566, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 59)
[index]: (x, y): [1]: (10, 59)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (80, 0)

	OrGate - index: 573, x: 203, y: 128, Value: 1, Label: OR, inputs: , 574, 575, outputs: , 578, Hint: ( NOT B OR C )
	LinkGate - index: 574, x: 180, y: 95, Value: 1, Label: , inputs: , 566, outputs: , 573, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 43)
[index]: (x, y): [3]: (23, 43)

	LinkGate - index: 575, x: 128, y: 148, Value: 0, Label: null, inputs: , 560, outputs: , 573, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 176)
[index]: (x, y): [1]: (10, 176)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (75, 0)

	LinkGate - index: 576, x: 90, y: 20, Value: 0, Label: , inputs: , 558, outputs: , 565, 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]: (123, 25)

	LinkGate - index: 577, x: 243, y: 45, Value: 1, Label: , inputs: , 565, outputs: , 562, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 44)
[index]: (x, y): [3]: (105, 44)

	LinkGate - index: 578, x: 242, y: 99, Value: 1, Label: null, inputs: , 573, outputs: , 562, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 44)
[index]: (x, y): [1]: (10, 44)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (106, 0)

	LinkGate - index: 579, x: 387, y: 94, Value: 1, Label: null, inputs: , 562, outputs: , 568, 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]: (51, 0)

	LinkGate - index: 580, x: 90, y: 20, Value: 0, Label: , inputs: , 558, outputs: , 564, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 214)
[index]: (x, y): [3]: (143, 214)

	LinkGate - index: 581, x: 70, y: 154, Value: 0, Label: null, inputs: , 559, outputs: , 564, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 90)
[index]: (x, y): [3]: (163, 90)

	LinkGate - index: 582, x: 273, y: 239, Value: 0, Label: null, inputs: , 564, outputs: , 567, 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]: (27, 0)

	LinkGate - index: 583, x: 330, y: 239, Value: 1, Label: , inputs: , 567, outputs: , 563, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 0)
[index]: (x, y): [1]: (10, 0)
[index]: (x, y): [2]: (10, 38)
[index]: (x, y): [3]: (29, 38)

	LinkGate - index: 584, x: 128, y: 287, Value: 0, Label: null, inputs: , 560, outputs: , 563, Mids: 10, 20, 10, Points: 4
[index]: (x, y): [0]: (0, 37)
[index]: (x, y): [1]: (10, 37)
[index]: (x, y): [2]: (10, 0)
[index]: (x, y): [3]: (231, 0)

	LinkGate - index: 585, x: 398, y: 282, Value: 1, Label: , inputs: , 563, outputs: , 569, 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]: (45, 0)

	CommentGate - index: 586, x: 300, y: 10, Value: -1, Label: Another Tautology, inputs: , outputs: , Hint: I27
	CommentGate - index: 587, x: 300, y: 36, Value: -1, Label: A --> ( B --> C ) <--> ( A AND B ) --> C, inputs: , outputs: , Hint: I28
	CommentGate - index: 588, x: 389, y: 145, Value: -1, Label: The upper output is A --> ( B --> C ), inputs: , outputs: , Hint: I29
	CommentGate - index: 589, x: 389, y: 169, Value: -1, Label: The lower output is ( A AND B ) --> C, inputs: , outputs: , Hint: I30
	CommentGate - index: 590, x: 389, y: 193, Value: -1, Label: Use Toggle or Next to explore the various input patterns, inputs: , outputs: , Hint: I31
	CommentGate - index: 591, x: 390, y: 216, Value: -1, Label: Notice that the output are the same in all cases, inputs: , outputs: , Hint: I32
	CommentGate - index: 592, x: 302, y: 318, Value: -1, Label: Use Dots to clarify the connections, inputs: , outputs: , Hint: I33