; 6-bit carry-select adder, with GA-compiled exec locs
; implied in the order of the variables.
title "6-bit carry-select adder"
arch ac

var A0
var B0
var C0
var A1
var B1
var C1
var A2
var B2
var T0
var T1
var T2
var A3
var B3
var T3
var T4
var T5
var S2
var S3
var T6
var A4
var B4
var T7
var T8
var T9
var A5
var B5
var T10
var T11
var T12
var S4
var S5
var K

1:	CCNOT A0  B0  C0
	CCNOT A1  B1  C1
	CCNOT A2  B2  T0
	CCNOT A3  B3  T3
	CCNOT A4  B4  T7
	CCNOT A5  B5  T10
2:	CNOT  A1  B1
	CNOT  A2  B2
	CNOT  T0  T2
	CNOT  A3  B3
	CNOT  T3  T5
	CNOT  A4  B4
	CNOT  T7  T9
	CNOT  A5  B5
	CNOT  T10  T12
3:	CCNOT C0  B1  C1
	CNOT  B2  T1
	CNOT  B3  T4
	CNOT  B4  T8
	CNOT  B5  T11
4:	CNOT  B2  T0
	CCNOT T2  T4  T5
	CNOT  B4  T7
	CCNOT T9  T11  T12
5:	NOT B2
	CCNOT T0  B3  T3
	NOT B4
	CCNOT T7  B5  T10
6:	CNOT T2  T4
	CNOT T9  T11
	CNOT T0  B3
	CNOT T7  B5
7:	CCNOT C1  T3  T6
8:	NOT C1
9:	CCNOT C1  T5  T6
10:	CCNOT C1  T4  S3
	CCNOT T6  T10  K
11:	CCNOT C1  T1  S2
	NOT T6
12:	NOT C1
	CCNOT T6  T12  K
13:	CCNOT C1  B3  S3
	CCNOT T6  T11  S5
14:	CCNOT C1  B2  S2
	CCNOT T6  T8  S4
15:	NOT T6
16:	CCNOT T6  B5  S5
17:	CCNOT T6  B4  S4
18:	CCNOT C1  T5  T6
19:	NOT C1
20:	CCNOT C1  T3  T6
21:	CCNOT C0  B1  C1
	CNOT T7  B5
	CNOT T0  B3
	CNOT T9  T11
	CNOT T2  T4
22:	CNOT  A1  B1
	CCNOT T7  B5  T10
	NOT B4
	CCNOT T0  B3  T3
	NOT B2
23:	CCNOT A1  B1  C1
	CCNOT T9  T11  T12
	CNOT  B4  T7
	CCNOT T2  T4  T5
	CNOT  B2  T0
24:	CNOT C0  B1
	CNOT  B5  T11
	CNOT  B4  T8
	CNOT  B3  T4
	CNOT  B2  T1
25:	CCNOT A0  B0  C0
	CNOT A1  B1
	CNOT  T10  T12
	CNOT  A5  B5
	CNOT  T7  T9
	CNOT  A4  B4
	CNOT  T3  T5
	CNOT  A3  B3
	CNOT  T0  T2
	CNOT  A2  B2
26:	CNOT A0  B0
	CCNOT A5  B5  T10
	CCNOT A4  B4  T7
	CCNOT A3  B3  T3
	CCNOT A2  B2  T0